第四章总结了常用的软件测试技术：黑盒测试技术和白盒测试技术。
Chapter four summarizes the common technologies of software testing: black box testing and white box testing.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
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.
第二章是关于特定技术的白盒测试，黑盒测试和能在不同的层次使用的数个其它方法。
The second chapter is about the specific techniques of white-box testing, black-box testing, and several other methods that can be applied at different levels.
应用推荐