An effective method for obtaining architecture of test model of AADL (architecture analysis and design language)

AADL is used to design embedded software in ever-increasing mission critical applications. Section1 of the full paper gives the formal definition of the test model. Section 2 proposes the automatic construction algorithms for the test model from AADL design model. Section 3 and 4 use an aircraft flight control system to illustrate our method; their core is that they explain how, according to the test model in Fig. 1, test cases are generated and explain how three types of model tests are performed. The above-mentioned three types of model tests are (1) input/output port sequence correction, (2) input/output completeness, (3) connection correction. The analysis of the application example shows preliminarily that our method is effective.