10.3969/j.issn.1671-7449.2021.02.001
基于SysML模型的需求建模及测试方法
为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状态机图描述性能需求,建立测试场景分析方法,有效覆盖系统的性能测试类型.经验证,采用基于模型驱动的测试方法能够建立明确系统执行逻辑,构建测试最长路径等场景,保证测试的充分性和覆盖性,提升测试效率和自动化程度.
系统建模语言、状态机、需求建模、用例生成
35
TP311.5(计算技术、计算机技术)
2021-05-20(万方平台首次上网日期,不代表论文的发表时间)
共7页
93-99