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

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