Research on test cases automatic generation technique based on AADL model

The Architecture Analysis & Design Language (AADL) is a modeling language to describe the architecture of real-time embedded systems. This paper presents a model-driving test case generation method based on AADL model, defines a group of rules mapping AADL elements to abstract test cases, and takes an actual example to illustrate this method. The method can not only improve the automation level of test cases generation, but also increase the productivity of system development.