Automobile software source code simulation test method based on UPPAAL model

A simulation test and software source technology, applied in the field of software engineering, can solve problems such as increasing software development costs, failing to guarantee software development quality, and reducing software development speed, so as to speed up software development, ensure safety, and improve quality.

Active Publication Date: 2013-01-09
SHANDONG ACAD OF SCI INST OF AUTOMATION
View PDF3 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This testing method will definitely increase the cost of software development, reduce the speed o

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Automobile software source code simulation test method based on UPPAAL model
  • Automobile software source code simulation test method based on UPPAAL model
  • Automobile software source code simulation test method based on UPPAAL model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0031] The present invention will be further described below in conjunction with accompanying drawings and examples.

[0032] The working principle of the automotive software source code simulation test system based on the UPPAAL model is as follows: figure 1 shown. Requirements specification document can be formalized as UPPAAL model, and UPPAAL model can be used to verify requirements and generate software source code. In order to realize the automation and real-time performance of the source code simulation test system, it is necessary to convert the UPPAAL model into C++ code. The input of the source code simulation test system is a queue of triples (d, e, t), where d is a collection of data variables, e is a collection of event variables, and t is a collection of clock constraints. An input tuple (d, e, t) indicates that when the data input is d and the clock constraint is t, the event request message e is sent. When the software source code and the converted UPPAAL mo...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention belongs to the field of software engineering and designs an automobile software source code simulation test system aiming to solve the problems existing in a source code test related to a controllable physical working process in an automobile software system, according to features of a UPPAAL model. The input of the system is a triple queue composed of a data variable set, an event variable set and a clock constrained set, and the output of the system is the data variable set. In order to achieve automaticity and real-time property of the source code simulation test system, the UPPAAL model is converted into a C++code. All input data are processed by a software source code and the UPPAAL model after code conversion, and if output results are consistent, a source code can be judged to be correct, otherwise, mistakes are judged to exist. By the aid of an automobile software source code simulation test method based on the UPPAAL model, the source code related to the controllable physical working process in an automobile software can be tested, and accordingly safety of the system is guaranteed, software development cost can be lowered, software development speed is accelerated, and quality of softwares is improved.

Description

technical field [0001] The invention relates to the field of software engineering, in particular to a method for simulating and testing automobile software source codes based on the UPPAAL model. Background technique [0002] With the continuous improvement of automobile intelligence, more control functions tend to be realized by software, resulting in the continuous growth of the scale and complexity of automobile software. Manfred Broy predicted in the literature [M.Broy, I.H.Kruger, A.Pretschner, C.Salzmann.Engineering Automotive Software.Proceedings of the IEEE,95(2):356-373,2007.], "the In the next generation of high-end cars, the total amount of software will reach 1GB, software will become the main contributor to the value of the car, and the proportion and cost of software development will continue to increase.” With the continuous increase of the proportion of software in automobiles, automotive software development is facing more and more challenges. These challen...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/36
Inventor 闫旭琴刘晓建王知学成巍
Owner SHANDONG ACAD OF SCI INST OF AUTOMATION
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap