Title :
A Model-Based Testing for AADL Model of Embedded Software
Author :
Dong, Yun-wei ; Wang, Geng ; Zhao, Hong Bing
Author_Institution :
Sch. of Comput. Sci., Northwestern Polytech. Univ., Xi´´an, China
Abstract :
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.
Keywords :
Markov processes; embedded systems; formal specification; formal verification; program testing; software architecture; AADL model; Architecture Analyze and Design Language; Markov chain; avionic embedded system; embedded software; model-based testing; software architecture under testing; software development; software quality; Automatic testing; Computer architecture; Embedded software; Power system modeling; Programming; Software architecture; Software quality; Software testing; System testing; Unified modeling language; Architecture Analyze and Design Language (AADL); Error Model; Markov Chain; Model-based Testing;
Conference_Titel :
Quality Software, 2009. QSIC '09. 9th International Conference on
Conference_Location :
Jeju
Print_ISBN :
978-1-4244-5912-4
DOI :
10.1109/QSIC.2009.33
