A model-driven testing framework based on requirement for embedded software

Abstract

Based on hardware and software integration testing and model driven testing binding requirements, we propose a model based on the needs of embedded software driver initial framework to analyze and identify the needs of embedded systems hardware and software object creation object interaction model, then the model analysis and testing constraints and on the basis of test scenarios, and then establish MARTE model test requirements, test cases accordingly converted into XML model, obtain the initial set of test cases through model transformation algorithm and model checking, and finally the use of intelligent algorithms to obtain objective test set. Expectations for increasing demand for embedded software in line with the degree of automation of the verification process, the verification and running on the target machine's software to achieve high-level functions and needs consistency.