第四章 软件工程基础.pptVIP

第四章 软件工程基础 4.4 测试与调试 1.测试 软件测试的目标是在精心控制的环境下执行程序，以发现程序中的错误，给出程序可靠性的鉴定。 (1) 测试的特征 测试具有以下三个重要特征： 第四章 软件工程基础 ① 测试的挑剔性 测试不是为了证明程序是正确的，而是在设想程序有错误的前提下进行的，其目的是设法暴露程序中的错误和缺陷。 ② 完全测试的不可能性 测试只能说明程序有错，而不能证明程序无错，希望通过有限次的测试就能发现程序中的所有错误是不可能的，即完全测试是不可能的。由于册似乎的这一特征，程序也不可能具有百分之百的可靠性。因此，有人将程序的可靠性定义为“在给定的时间和给定的环境下，系统成功地执行所指定功能的概率”。 第四章 软件工程基础 (2) 测试的过程 程序的测试一般按三种方式进行；静态分析，动态测试，自动测试。这三种测试方式通常反映了测试的过程，即先进行静态分析，然后进行动态测试，在某些特殊情况下，有可以借助自动测试工具对程序进行查错。 第四章 软件工程基础 ①程序的静态分析 所谓静态分析，是指不执行程序，而只由人工对程序文本进行检查，通过阅读和讨论，分析和发现程序中的错误。 ②程序的动台分析