软件学报

作者：钱巨，王寅，程浩，韦正现

单位：钱巨，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110611,王寅，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110602,程浩，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110603,韦正现，中国船舶工业系统工程研究院, 北京 10003604

关键词：基于模型的测试;分布式系统;场景;正则表达式

基金：国防基础科研计划(JCKY2016206B001, JCKY2014206C002); 中央高校基本科研业务费专项资金(NS2021066)

以数据分发服务(data-distribution service, DDS)为基础架构的新型一体化舰船任务系统在研发模式、结构和应用方面具有特殊特点, 使得其测试相当具有挑战. 基于模型的测试(model-based testing, MBT)是工业系统测试的一种有效方法. 然而, 对于类舰船任务系统, 由于其自身的高度复杂性和协同开发方式, 传统需要建立完整模型以表达系统内部行为的MBT技术极难应用. 为此, 提出了一种基于场景模型的类舰船任务系统MBT方法. 方法从外部角度构建模型来表达DDS架构系统中的交互场景. 模型使用扩展正则表达式来建模交互序列, 使用基本数据元素限制、约束公式和计算函数来建模交互数据, 能够在保留抽象性的同时便捷并相对完整地表达交互过程. 基于场景模型, 进一步提出算法生成直接可执行的测试用例. 在某真实舰船任务系统上的实验表明, 方法能够测试从一族舰船任务系统历史失效中总结出的21种常见风险场景, 对类舰船任务系统的DDS架构工业系统测试具有潜在应用价值.

来源：2022年第5期

《软件学报》期刊编辑部

查看软件学报杂志2022年第5期