模型自动转换与一致性验证方法

摘要：

为降低软件测试成本,基于模型驱动的测试领域研究得到了极大发展.测试的准确性以模型的正确性为前提,在进行测试前必须对模型正确性进行验证.基于此,提出一种方法进行正确性验证.将测试系统UML模型集转换为时间自动机网络模型,利用现有的模型验证工具进行验证,在过程中根据实际项目需求定义验证规则,实现模型验证过程.

关键词：软件测试、模型驱动、测试模型集、时间自动机网络模型、验证规则

所属期刊栏目：38

分类号：TP301(计算技术、计算机技术)

资助基金：武器装备预研基金项目9140A15040214DZ04221;国防基础科研计划基金项目JCKY2013415C001;国防技术基础科研计划基金项目JSZL2014415B002

在线出版日期：2017-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2407-2413