Source code testing for automotive software based on UPPAAL model

Author

Xuqin Yan ; Lei Wang ; Xiaobo Che ; Yanqiang Li

Author_Institution

Shandong Provincial Key Lab. of Automotive Electron. Tech., Inst. of Autom., Jinan, China

fYear

2014

fDate

27-29 June 2014

Firstpage

95

Lastpage

98

Abstract

Software plays a dominant role in modern automotive systems. The rapid increase of automotive software brings various challenges for automotive system development. To ensure the safety and reliability of automotive software systems, new methods, models and tools are used in the software development. In this paper, we propose an approach of source code testing for automotive software by use of the UPPAAL model. UPPAAL, as a model checker, has been applied successfully in real-time controllers. We extend the application fields of the UPPAAL model to code testing. If the inputs of software source code and its corresponding UPPAAL model are same, the correctness of the source code can be determined by comparing their output results.

Keywords

automotive engineering; program testing; software reliability; source code (software); UPPAAL model; automotive software; modern automotive systems; software reliability; software safety; source code testing; Automata; Automotive engineering; Clocks; Real-time systems; Software; Switches; Testing; UPPAAL; automotive software; timed automata;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Service Science (ICSESS), 2014 5th IEEE International Conference on

Conference_Location

Beijing

ISSN

2327-0586

Print_ISBN

978-1-4799-3278-8

Type

conf

DOI

10.1109/ICSESS.2014.6933521

Filename

6933521