基于SysML模型的需求建模及测试方法

为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状态机图描述性能需求,建立测试场景分析方法,有效覆盖系统的性能测试类型.经验证,采用基于模型驱动的测试方法能够建立明确系统执行逻辑,构建测试最长路径等场景,保证测试的充分性和覆盖性,提升测试效率和自动化程度.

Requirement Modeling and Testing Method Based on SysML Model

To effectively apply model-driven testing to embedded system testing,this paper clarifies the requirements modeling method and cases generation method,explains the abstract syntax,entity symbols and formal semantics of state machine graph in SysML modeling language.In response to the performance test requirements,the performance test modeling method of the state machine model is summarized.The state machine diagram is constructed through examples to describe the performance requirements,and the test scenario analysis method is established to effectively cover the performance test types of the system.It is verified that the model-driven test method can establish clear system execution logic,build the longest path,ensure the test adequacy and coverage,and improve test efficiency and degree of automation.