The process modeling is described for the model-based verification method. The performance of the method is demonstrated by experiment.
还描述了这种基于模型的验证方法的过程建模，实例说明这种方法的性能。
This verification step can be done and automated with model-based testing.
这一确认步骤可以通过基于模型的测试完成。
Reusing model-based tests for software verification
再使用基于模型的测试以便软件确认
应用推荐