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

作     者：黄晨 于倩 左万娟 陈华南 王小丽 HUANG Chen;YU Qian;ZUO Wanjuan;CHEN Huanan;WANG Xiaoli

作者机构：北京控制工程研究所北京100190 北京轩宇信息技术有限公司北京100190 

出 版 物：《测试技术学报》 (Journal of Test and Measurement Technology)

年 卷 期：2021年第35卷第2期

页      面：93-99页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：系统建模语言 状态机 需求建模 用例生成 

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