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
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);
Conference_Titel :
Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-6539-2
DOI :
10.1109/ICACTE.2010.5579524
