Page 80 - 计算机应用软件开发技术研究

计算机应用软件开发技术研究
Research on Computer Application Software Development Technology

现程序的错误。
静态分析：对代码的机械性、程式化的特性分析方法，包括控制流分析、数
据流分析、接口分析、表达式分析。

2.动态测试
静态测试不实际运行软件，主要通过人工进行。动态测试是基于计算机的测
试，是为了发现错误而执行程序的过程。或者说，是根据软件开发各阶段的规格
说明和程序的内部结构而精心设计一批测试用例（即输入数据及其预期的输出结

果），并利用这些测试用例去运行程序，以发现程序错误的过程。
设计高效、合理的测试用例是动态测试的关键。测试用例（Test Case）是为
测试设计的数据。测试用例由测试输入数据和与之对应的预期输出结果两部分组
成。测试用例的格式为：[（输入值集），（输出值集）]。下面重点讨论动态的

白盒测试方法和黑盒测试方法。
（二）白盒测试方法
白盒测试方法也称结构测试或逻辑驱动测试。它是根据软件产品的内部工作
过程，检查内部成分，以确认每种内部操作符合设计规格要求。白盒测试把测试

对象看成一个打开的盒子，允许测试人员利用程序内部的逻辑结构及有关信息来
设计或选择测试用例，对程序所有的逻辑路径进行测试。通过在不同点检查程序
的状态来了解实际的运行状态是否与预期的一致。所以，白盒测试是在程序内部
进行，主要用于完成软件内部操作的验证。

白盒测试的基本原则是：保证所测模块中每一独立路径至少执行一次；保证
所测模块所有判断的每一分支至少执行一次；保证所测模块每一循环都在边界条
件和一般条件下至少各执行一次；验证所有内部数据结构的有效性。
按照白盒测试的基本原则，“白盒法”是穷举路径测试。在使用这一方案

时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。
贯穿程序的独立路径数是天文数字，但即使每条路径都测试了仍然可能有错误。
第一，穷举路径测试决不能查出程序是否违反了设计规范，即程序本身是个错误
的程序；第二，穷举路径测试不可能查出程序中因遗漏路径而出错；第三，穷举

路径测试可能发现不了一些与数据相关的错误。
白盒测试的主要方法有逻辑覆盖、基本路径测试等。

·68·