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

Automatic model transformation and verification method of consistency

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

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 au-tomata network model, and the existing model verification tools were used to verify it. According to the actual needs of the pro-ject, validation rules were defined in the process, and ultimately the model validation process was realized.