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

摘要

To reduce software testing costs,researches based on the model-driven testing field have been greatly developed.Since model correctness is a prerequisite for test accuracy,it is essential to validate the correctness of model before testing.Based on these,a method was proposed to verify the correctness.The system UML model set was transformed into timed automata network model,and the existing model verification tools were used to verify it.According to the actual needs of the project,validation rules were defined in the process,and ultimately the model validation process was realized.%为降低软件测试成本,基于模型驱动的测试领域研究得到了极大发展.测试的准确性以模型的正确性为前提,在进行测试前必须对模型正确性进行验证.基于此,提出一种方法进行正确性验证.将测试系统UML模型集转换为时间自动机网络模型,利用现有的模型验证工具进行验证,在过程中根据实际项目需求定义验证规则,实现模型验证过程.