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

fYear

2009

fDate

24-25 Aug. 2009

Firstpage

185

Lastpage

190

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software, 2009. QSIC '09. 9th International Conference on

Conference_Location

Jeju

ISSN

1550-6002

Print_ISBN

978-1-4244-5912-4

Type

conf

DOI

10.1109/QSIC.2009.33

Filename

5381472