软件测试

亦称“软件动态检查”。有控制地执行程序，并从各种角度观察程序运行时的行为，从而发现软件中错误的过程。其关键在于如何设计测试用例。设计测试用例的方法主要有白盒法和界盒法两类，但不论用哪类方法设计出的测试用例总是有限的，故软件测试只能证明程序中存在错误，而不能证明程序中不存在错误。