Test generation from StateChart and B method for flight control software of unmanned aerial vehicle

Author

Jiufu Liu ; Zhenxing Yang

Author_Institution

Inst. of Autom. Eng., Nanjing Univ. of Areonautics & Astronaut., Nanjing, China

fYear

2009

fDate

25-28 July 2009

Firstpage

851

Lastpage

856

Abstract

The growing complexity of flight control software of unmanned aerial vehicle led up to more and more difficulty in testing such systems.B is a formal method which enables the automatic generation of an executable code through s succession of refinements from an abstract specification.UML specifications can be formally verified by analyzing the corresponding B specification.Integration of UML specifications and B method can overcomes the drawback of UML. We adopt the tool statemate which support the virtual prototype technology.The detailed description of flight control software behaviors is presented based on statecharts. Then we adopt the B method to translate the statecharts into B specification of flight control software. According to software testing criteria MC/DC, we are easy to obtain the test cases based on statechart and B method.

Keywords

Unified Modeling Language; aerospace computing; aerospace control; aircraft testing; formal specification; formal verification; program testing; remotely operated vehicles; virtual prototyping; B method; UML specification; automatic test generation; executable code; flight control software; formal method; formal verification; software testing criteria; statechart; unmanned aerial vehicle; virtual prototype technology; Aerospace control; Aerospace engineering; Automatic testing; Automation; Automotive engineering; Object oriented modeling; Software testing; System testing; Unified modeling language; Unmanned aerial vehicles; B method; Flight control software; Statechart; Test generation; Virtual prototype;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science & Education, 2009. ICCSE '09. 4th International Conference on

Conference_Location

Nanning

Print_ISBN

978-1-4244-3520-3

Electronic_ISBN

978-1-4244-3521-0

Type

conf

DOI

10.1109/ICCSE.2009.5228205

Filename

5228205