基于场景模型的DDS架构一体化舰船任务系统测试

摘要

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