International Journal of Future Computer and Communication (IJFCC)
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.