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.

使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。

youdao

The discipline imposed by finite state machines adds rigor to the design by replacing tangled logic with straightforward tables, resulting in simpler implementation and easier testing.

有限状态机通过用直观的表格代替复杂的逻辑为设计增加了严密性。

youdao

The force state of perforation tube string for testing of oil is analyzed with the finite clearance element method, and the field applied examples prove its reliability and veracity.

用此方法对试油测试射孔管柱的受力状态进行了分析，并通过现场应用实例证明了此方法的可靠性和准确性。

youdao