A Model-Based Testing for AADL Model of Embedded Software

As Architecture Analyze and Design Language (AADL) becomes a popular software development methodology for Avionic embedded system, it is one of hot issues to ensure the quality of software which is based on models. This article studies on model-based testing (MBT) focusing on software architecture under testing which constructed with AADL, and an algorithm is proposed to carry out model-based testing on AADL model with Markov chain. An example is given at the end of the article to demonstrate the algorithm.