基于活动图模型的测试数据生成研究

来源：计算机技术与发展杂志2022年第S2期北京时间：

作者：黄晨;于倩;虞砺琨;左万娟;陈华南

单位：1. 北京控制工程研究所,北京 100190;2. 北京轩宇信息技术有限公司,北京 100190

摘要：星载嵌入式软件功能逻辑复杂,多个功能模块的数据存在强关联性和强耦合性,人工设计用例对测试需求的覆盖情况难以准确衡量和评估。 该文采用半形式化的 SysML 活动图模型对星载嵌入式软件中的典型功能进行建模研究,为了满足测试中的有效等价类、无效等价类、边界值、MC / DC 等用例设计及数据覆盖要求,提出了需求结构覆盖准则和数据表达式覆盖准则,将测试场景与数据进行结合,经验证,针对复杂的转换型功能采用控制流、数据流的活动图建模方式,能够满足测试中的用例设计充分性以及数据覆盖性要求。

关键词：活动图;需求结构覆盖;数据表达式覆盖;控制流;数据流