Test Cases Generation for Embedded Real-Time Software Based on Extended UML

Author

Yongfeng, Yin ; Bin, Liu ; Minyan, Lu ; Zhen, Li

Author_Institution

Dept. of Syst. Eng. of Eng. Technol., Beihang Univ., Beijing, China

Volume

1

fYear

2009

fDate

25-26 July 2009

Firstpage

69

Lastpage

74

Abstract

Automated testing of embedded real-time software is a hotpot in nowadays software testing area. In this paper, the relations between unified modeling language (UML) and embedded real-time software testing are introduced firstly. And then, based on the extensions of UML diagrams and the scenario technology, we propose the test cases generation for embedded real-time software based on extended UML. Furthermore, combined with the verification of test cases generation process for avionics embedded system, the research thoughts and methods are brought out. The verification result shows that the method proposed in this paper can be used effectively in automated test cases generation of embedded real-time software testing and improve testing efficiency and maintainability so as to reduce the test cost.

Keywords

Unified Modeling Language; avionics; embedded systems; program testing; program verification; software maintenance; software quality; avionics embedded system; embedded realtime software; extended UML; software maintainability; software quality; software testing; test case generation; test case verification; unified modeling language; Aerospace electronics; Automatic testing; Embedded software; Embedded system; Object oriented modeling; Real time systems; Software testing; System testing; Systems engineering and theory; Unified modeling language; UML; embedded real-time software; scenario technology; software testing; test case;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology and Computer Science, 2009. ITCS 2009. International Conference on

Conference_Location

Kiev

Print_ISBN

978-0-7695-3688-0

Type

conf

DOI

10.1109/ITCS.2009.23

Filename

5190019