The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
Based on the investigation of development state of the cable sheath fault location devices home and abroad, a new cable sheath fault testing device is designed in this thesis.
本文在对国内外电力电缆护层测距仪的现状进行分析的基础上，设计了一种新型的电力电缆护层故障测试仪。
应用推荐