Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation
This paper is devoted to a model-driven testing approach for embedded systems non-functional requirements. The method is based on UML state and sequence diagrams suitable for synchronization, asynchronous behavior and timing constraints presentation. The article discusses principles of model transformation and shows a practical approach of a testing model generation from a system model. The idea of such transformation is to generate test cases focused on specific behavior verification of embedded systems. In the paper described example presents method approbation within timing behavior verification using the UML sequence diagram. Presented example is based on a sequence diagram XMI representation, which firstly is pre-processed and moved into data base structures and then transformation rules are applied to generate the testing model. In the result of such transformation a set of valid and invalid test cases is generated in a form of the UML Testing profile.
Jurijs Grigorjevs
Riga Technical University, Faculty of Computer Science and Information Technology
国际会议
13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)
北京
英文
1334-1343
2011-06-08（万方平台首次上网日期，不代表论文的发表时间）