基于SysML模块定义图的集成测试序列生成方法

作     者：郑春 舒坚 牛文生 杨丰玉 黄勤涛 ZHENG Chun;SHU Jian;NIU Wen-sheng;YANG Feng-yu;HUANG Qin-tao

作者机构：南昌航空大学软件学院江西南昌330063 中国航空工业集团公司计算技术研究所陕西西安710068 

基　　金：国防基础预研重点基金项目(A0520132029) 国家自然科学基金项目(61262020) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2016年第37卷第8期

页      码：2067-2071页

摘      要：如何通过各应用系统之间的逻辑关系将嵌入式实时系统有序的集成起来,是嵌入式系统测试领域的热点问题。针对这一问题,提出一种以多应用间功能分解为依据、自底向上的集成测试策略。结合嵌入式实时系统功能分解的特点,采用SysML模块定义图对其进行建模。由于测试序列的生成是以覆盖准则为导向的,因此,通过对SysML模块定义图进行形式化定义,分析模块之间的关系对测试顺序的影响,提出相关模块分支覆盖准则。实例分析结果表明,相较于组合覆盖准则,相关模块分支覆盖准则能在一定程度上减少测试序列的数量,提高测试效率。

主 题 词：SysML 模块定义图 集成测试策略 覆盖准则 测试序列 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2016.08.017

馆 藏 号：203187095...