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.