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.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
2
Study Design. Three-dimensional C3-C5 and C3-C4 finite element (FE) models were used to analyze biomechanical responses under compression and extension moments.