Automatic Generation of Systematic Test Cases Using AADL for Embedded Software
Chunyan Ma, Yue Li, Yunwei Dong, Yaqi Liu · International Journal of Future Computer and Communication · 2012
AADL is used to design embedded software in ever-increasing mission-critical applications.With the complexity of embedded software increasing, integration testing and system testing based on codes are becoming more difficult.This paper describes a systematic test cases generation approach using AADL for embedded software.The approach uses hierarchical testing model to generate test cases which is fully automatic model-driven.This paper designs one set of mapping rules from AADL to hierarchical testing model for constructing it automatically.The case study shows experimental process of the test model construction and test case generation.Automatic generation of systematic test cases using AADL for Embedded Software is feasible.