Modeling Embedded Software Test Requirement Based on MARTE

Based on software requirement and interface control information, Model and Analysis of Real-Time Embedded System (MARTE) was selected to model embedded HW/SW and their interactions. A traversal algorithm was presented to search test scenarios in objects interaction model. We'll also analyze constraints between each scenario then generate test constraints. We'll combine test configuration, test scenarios and corresponding test constraints to create a well-formed embedded software test requirements model.