In this article, I analyze the technologies of the automatic generation of test cases and design a method of an automatic generation of test cases.
本文对自动生成测试用例的相关技术进行了分析，并设计了一种自动生成测试用例的方法。
The drawbacks of the determination of equivalent mutants and the automatic generation of the test-cases in mutation analysis can be improved through the introduction of model-checking technology.
通过引入模型检验技术可以改进变异分析方法中等价变异体的判断和测试用例自动生成的不足。
应用推荐