Research on Test Cases Automatic Generation Technique based on AADL Model
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 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.
the Architecture Analysis & Design Language (AADL) mapping rules test cases
Cao Xizhen Qian Hongbing
School of Computer Science & EngineeringBeihang UniversityBeijing, China School of Computer Science & Engineering Beihang University Beijing, China
国际会议
成都
英文
1-5
2010-08-20(万方平台首次上网日期,不代表论文的发表时间)