4.1 软件测试的定义