基于数据流需求模型的测试用例生成方法  

Test case generation method based on data flow requirement model

作　　者：黄晨 于倩[1,2] 虞砺琨 陈华南[1] 王小丽 HUANG Chen;YU Qian;YU Likun;CHEN Huanan;WANG Xiaoli(Beijing Sunwise Information Technology Ltd.,Beijing 100190,China;Beijing Institute of Control Engineering,Beijing 100190,China)

机构地区：[1]北京轩宇信息技术有限公司,北京100190 [2]北京控制工程研究所,北京100190

出　　处：《电子设计工程》2023年第22期101-106,共6页Electronic Design Engineering

摘　　要：星载嵌入式软件功能逻辑复杂,数据之间存在关联性和约束性,人工设计测试用例难以保证覆盖所有输入、所有组合的情况。通过对比活动图控制流和数据流对象的语义模型,说明这两种模型在适用功能场景、用例数据上的差异性,针对数据流对象模型建立可执行路径上表达式组集合,根据变量类型、有效范围等基本属性,进行变量约束求解生成数据再形成测试用例,并选取典型功能场景开展验证,结果表明,该方法能够满足等价类等数据覆盖的要求,快速提升测试效率。The function logic of on-board embedded software is complex,and there are correlations and constraints between data.It is difficult to ensure that all inputs and combinations are covered by manually designed test cases.By comparing the activity diagram semantic models of control flow and data flow objects,the differences between the two models in applicable function scenarios and use case data are explained.For the data flow object model,an expression group set on the executable path is established.Based on the basic attributes such as variable type,effective range,variable constraints are solved to generate data,and then test cases are formed.A typical functional scenario is selected for verification,and the results show that this method can meet the requirements of data coverage such as equivalence classes,and quickly improve the testing efficiency.

关 键 词：需求模型 数据流 表达式求解 数据覆盖 

分 类 号：TN06[电子电信—物理电子学]