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.
通过引入模型检验技术可以改进变异分析方法中等价变异体的判断和测试用例自动生成的不足。
This thesis sets out to make brief introduction of the full-scale model test and test result of the anchorage zone of the pylon.
本文简要介绍了索塔锚固区节段足尺模型试验及试验结果。
应用推荐