DocumentCode
2227977
Title
Research on test cases automatic generation technique based on AADL model
Author
Xizhen, Cao ; Hongbing, Qian
Author_Institution
Sch. of Comput. Sci. & Eng., Beihang Univ., Beijing, China
Volume
5
fYear
2010
fDate
20-22 Aug. 2010
Abstract
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.
Keywords
embedded systems; simulation languages; software architecture; AADL model; architecture analysis and design language; automation level; modeling language; real-time embedded systems; rules mapping; system development; test cases automatic generation technique; Analytical models; Real time systems; Semantics; mapping rules; test cases; the Architecture Analysis & Design Language (AADL);
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on
Conference_Location
Chengdu
ISSN
2154-7491
Print_ISBN
978-1-4244-6539-2
Type
conf
DOI
10.1109/ICACTE.2010.5579524
Filename
5579524
Link To Document