[1]黄 晨,于 倩,虞砺琨,等.基于活动图模型的测试数据生成研究[J].计算机技术与发展,2022,32(S2):104-109.[doi:10. 3969 / j. issn. 1673-629X. 2022. S2. 018]
　HUANG Chen,YU Qian,YU Li-kun,et al.Research on Test Data Generation Based on Activity Graph Model[J].,2022,32(S2):104-109.[doi:10. 3969 / j. issn. 1673-629X. 2022. S2. 018]
点击复制

基于活动图模型的测试数据生成研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
32
期数:
2022年S2期
页码:
104-109
栏目:
系统工程
出版日期:
2022-12-11

文章信息/Info

Title:
Research on Test Data Generation Based on Activity Graph Model
文章编号:
1673-629X(2022)S2-0104-06
作者:
黄 晨1; 2 ; 于 倩1; 2 ; 虞砺琨1; 2 ; 左万娟1; 2 ; 陈华南2
1. 北京控制工程研究所,北京 100190;
2. 北京轩宇信息技术有限公司,北京 100190
Author(s):
HUANG Chen1; 2 ; YU Qian1; 2 ; YU Li-kun1; 2 ; ZUO Wan-juan1; 2 ; CHEN Hua-nan2
1. Beijing Institute of Control Engineering,Beijing 100190,China;
2. Beijing Sunwise Information Technology Co. ,Ltd. , Beijing 100190,China
关键词:
活动图; 需求结构覆盖; 数据表达式覆盖; 控制流; 数据流
Keywords:
activity diagram; requirement structure coverage; data expression coverage; control flow; data flow
分类号:
TP311. 5
DOI:
10. 3969 / j. issn. 1673-629X. 2022. S2. 018
摘要:
星载嵌入式软件功能逻辑复杂,多个功能模块的数据存在强关联性和强耦合性,人工设计用例对测试需求的覆盖情况难以准确衡量和评估。 该文采用半形式化的 SysML 活动图模型对星载嵌入式软件中的典型功能进行建模研究,为了满足测试中的有效等价类、无效等价类、边界值、MC / DC 等用例设计及数据覆盖要求,提出了需求结构覆盖准则和数据表达式覆盖准则,将测试场景与数据进行结合,经验证,针对复杂的转换型功能采用控制流、数据流的活动图建模方式,能够满足测试中的用例设计充分性以及数据覆盖性要求。
Abstract:
The functional logic of space-borne embedded software is complex,and the data of multiple functional modules have strongcorrelation and coupling. It is difficult to accurately measure and evaluate the coverage of test requirements by manually designed usecases. In this paper,the semi formal SysML activity diagram model is used to model the typical functions in space - borne embeddedsoftware. In order to meet the requirements of use case design and data coverage such as effective equivalence class,invalid equivalenceclass,boundary value and MC / DC in testing, the requirements structure coverage criteria and data expression coverage criteria areproposed. The test scenario is combined with the data, which is verified, for complex transformation functions, the activity diagrammodeling method of control flow and data flow is adopted, which can meet the requirements of use case design adequacy and datacoverage in testing.

相似文献/References:

[1]胡良文,马金晶,孙博. 基于Spin的SysML时序图与活动图一致性检测[J].计算机技术与发展,2015,25(09):31.
　HU Liang-wen,MA Jin-jing,SUN Bo. Consistency Check Between SysML Sequence and Activity Diagram Based on Spin[J].,2015,25(S2):31.
[2]朱国冉,李怀忠. UML活动图到有色Petri网映射方法的研究[J].计算机技术与发展,2015,25(11):71.
　ZHU Guo-ran,LI Huai-zhong. Research on Mapping Method from UML Activity Diagram to Petri Nets[J].,2015,25(S2):71.

更新日期/Last Update: 2022-10-10