IMA架构下的基于SysML活动图的测试序列自动生成方法

摘要

随着当代航空电子系统对系统综合化、集成化要求的提高,IMA综合模块化航电系统应运而生.如何对IMA架构建模,如何分析所建立模型为软件测试生成测试序列成为当下人们最为关心的问题.本文采用基于SysML的活动图对IMA系统进行建模,为了分析模型,对SysML活动图进行形式化定义.根据Rephsody的规约文件中提取活动图的信息,首先对并发活动进行压缩,利用算法生成测试序列,再对对生成的序列中的并发活动进行实例化,得到完整的执行路径.