软件测试与软件测试工具FORTE

1 引言软件测试是软件开发过程中一个非常重要的阶段,在开发复杂的软件系统的过程中,面对着极其错综复杂的问题模式,人的分析、处理能力毕竟还达不到绝对周密的程度。在开发过程中,各类人员之间的通信和配合也不可能完美无缺,因此,在软件生存周期的每个阶段都不可避免地会产生差错。虽然在每个阶段都要求有严格的技术审查,以图尽可能早地发现并纠正错误;但是经验表明审查并不能发现所有差错,此外在编码过程中还不可避免地会引入新的错误,统计表明即使是优秀的程序设计也会在百分之一语句中发现有问题。测试的目的就是要尽可能地发现软件中的错误。目前软件测试仍然是保证软件质量的关键步骤,它是对软件需求、设计和编码的最后复审。本文介绍作为当前发现软件错误主要手段的测试技术的基本原理,并详细叙述了我们研制的 FORTRAN 程序测试工具的原理、构成和用法。