A number of current control systems for aircraft have been specified with statecharts. The risk of failures requires the use of a formal testing approach to ensure that all possible faults are considered. However, testing the compliance of an implementation of a system to its specification is dependent on the specification method and little work has been reported relating to the use of statechart-specific methods. This paper describes a modification of a formal testing method for extended finite-state machines to handle the above problem. The method allows one to demonstrate correct behaviour of an implementation of some system, with respect to its specification, provided certain specific requirements for both of them are satisfied. The case study illustrates these and shows the applicability of the method. By considering the process used to develop the system it is possible to reduce the size of the test set dramatically; the method to be described is easy to automate.
Statechart testing method for aircraft control systems
Software Testing, Verification and Reliability ; 11 , 1 ; 39-54
2001
16 Seiten, 16 Quellen
Article (Journal)
English
Automated statechart model checking
NTRS | 2002
|Statechart-based representation of hybrid controllers for vehicle automation
IET Digital Library Archive | 2006
|Formal models of UML statechart diagrams based on Petri nets
British Library Online Contents | 2007
|