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

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