例如，在测试阶段的中期，您可能想要一个评审质量检验关，以在执行任何测试之前自动化测试脚本框架认证过程。
For example, you might want to have a review quality gate in the middle of the testing phase for the automated test script framework authoring before executing any of the tests.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
利用光学接口设备将数码相机通过作者开发的软件接口及应用软件与常规显微镜相连接，从而实现了金相照片及检验报告的自动化、数字化管理。
Optical coupling between traditional optical microscope and digital camera were developed, and application software were compiled for computer processing of metallographic pictures and test reports.
应用推荐