|
|
知识路径： > 电子商务系统程序设计基础 > 电子商务系统的测试 > 软件测试的基本方法 >
|
|
相关知识点：13个
|
|
|
|
|
静态测试实际上是确认在给定的外部环境中软件的逻辑正确性，它应该包括规格说明和程序等的确认。静态测试一般不在计算机上实际执行程序，它针对的是软件规格说明等文档及源程序代码文件。软件正确性的确认主要通过以下手段：人工测试、计算机辅助静态分析及程序正确性证明。
|
|
|
|
|
|
人工测试是通过人工阅读分析以及评审软件的文档、程序资料等，以发现程序中的错误。人工评审能找出那些设计中在机器上不易发现的逻辑错误。据统计，好的人工评审可以发现30%～70%的逻辑设计和编码错误。
|
|
|
|
人工评审具有许多优点。它可以成批地发现错误并成批纠正，具有较高的测试效率，而且能在早期发现错误及早纠正，降低了测试的成本，也减少软件错误可能造成的损失。另外，人工评审有利于软件开发人员在一个开发组内取长补短，互相学习。
|
|
|
|
静态分析中进行人工测试的主要方法有桌面检查、代码评审和走查。
|
|
|
|
桌面检查是一种传统的检查方法，主要由程序员检查自己编写的程序。程序员在程序通过编译之后，进行单元测试设计之前，对源程序代码进行分析、检验，并补充相关的文档，以发现程序中的错误。由于程序作者熟悉自己编写的程序，可以节省检查时间，但也要避免主观片面性。
|
|
|
|
代码评审是由若干程序员和测试人员组成一个评审小组，通过阅读、讨论和争议，对程序进行静态分析的过程。首先让评审人员阅读软件的各种文档和源程序资料，然后召开程序审查会，对各种问题进行讨论，审查问题是否存在。
|
|
|
|
走查与代码评审基本相同。但它不是简单地阅读程序和对照错误检查表进行检查，而是让与会者“充当”计算机，集体扮演计算机的各种角色，让事先准备的有代表性的测试用例沿程序的逻辑运行一遍，随时记录程序的踪迹，供分析和讨论用。
|
|
|
|
通过对规格说明文档及源程序资料的检查，对程序的逻辑和功能提出各种问题，并开展热烈的讨论和争议，能够发现软件更多的错误。
|
|
|
|
|
|
使用静态分析工具对被测试的程序进行静态分析，从中提取一些有用的信息，可以显著提高测试的效率。例如，可以用静态分析工具检查程序中的局部变量和全局变量、参数的匹配、判断与循环的嵌套匹配、潜在的死循环、无法执行到的代码段、过程调用层次等。
|
|
|
|
|
|
程序正确性证明就是试图利用某种特定的方法，去证明所开发出来的程序是正确的，不存在任何错误。所谓证明，就是确信一个断言真实性的论证。这种证明可以是形式化的或非形式化的。断言是一种逻辑表达式，它规定必须存在的一个程序状态，或者规定在程序执行过程中某一个特定点上程序变量必须满足的条件集合。
|
|
|
