Research of embedded software testing method based on AADL modes

Author

Lu, Xiao-li ; Dong, Yun-wei ; Sun, Bo ; Zhao, Hong-bin

Author_Institution

Northwest Univ., Xi´´an, China

fYear

2011

fDate

27-29 May 2011

Firstpage

89

Lastpage

92

Abstract

In recent years, AADL (Architecture Analysis and Design Language) is used widely in the design of embedded software. There is a growing concern about quality and reliability of AADL design model and codes made from model. In this paper, we propose a testing method that test cases can be generated based on AADL system component modes to support embedded software testing. The information of AADL system component modes and mode transitions can be captured to build a component test model. Based on the test model, a mode test tree can be constructed. Test cases can be generated from this tree by traveling paths. An illustration was given at the end to demonstrate the method.

Keywords

embedded systems; program testing; software architecture; trees (mathematics); AADL system component mode; architecture analysis and design language; embedded software testing method; mode test tree; traveling path; Educational institutions; Generators; Reliability engineering; Software; Software reliability; AADL; AADL Mode; Test Case;

fLanguage

English

Publisher

ieee

Conference_Titel

Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on

Conference_Location

Xi´an

Print_ISBN

978-1-61284-485-5

Type

conf

DOI

10.1109/ICCSN.2011.6014225

Filename

6014225