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
After a quick check I verified the only extension on my machine was my very own VsVim project.
快速检查后，我证实了我的机器上只有我自己Vs Vim项目的唯一一个扩展。
3
The KGDB program is an extension of the kernel that allows you to connect to a machine running the kgdb-extended kernel when you are running GDB on a remote host machine.