Research of embedded software testing method based on AADL modes

In recent years, AADL (Architecture Analysis and Design Language) is used widely in the design of embedded software. There is a growing concern about quality and reliability of AADL design model and codes made from model. In this paper, we propose a testing method that test cases can be generated based on AADL system component modes to support embedded software testing. The information of AADL system component modes and mode transitions can be captured to build a component test model. Based on the test model, a mode test tree can be constructed. Test cases can be generated from this tree by traveling paths. An illustration was given at the end to demonstrate the method.