Title :
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
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;
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2014 5th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4799-3278-8
DOI :
10.1109/ICSESS.2014.6933521
