» c Èq©kÀ
本章概述软件测试的有关概念、方法和过程等方面的基础知识。使读者对软件测试有一个比
较全面的了解，并为进一步讨论软件测试技术奠定基础。
1.1 软件故障与软件测试
在计算机故障中，有相当一部分是软件故障。下面让我们看两个例子。
例1：英特尔奔腾浮点除法软件故障
在计算机的“计算器”程序中输入以下算式：
(4195835/3145727)*3145727-4195835
如果答案是 0，则说明计算机没有问题； 如果得出的结果不是 0，则说明计算机的工作不正常。
看起来这不应该是个问题，可实际上就出现了问题。
1994年12月30日，美国Lynchburg大学的Thomas R.Nicely博士在一台奔腾 PC上做除法运
算时发现，上面的算式不等于 0。后来，他把这一个惊人的发现在 Internet上发布出去，引起了一
场风暴，成千上万的人都发现了同样的问题。那么是什么原因造成这样的算式计算错误呢？这由
固化在奔腾 CPU上的运算器芯片中的软件故障所致。
例2：千年虫( Y2K)问题
首先介绍一个传说： 20世纪70年代一个名叫 Dave的程序员，负责其公司的工资系统。他使
用的计算机存储空间很小，迫使其尽量节省每一个字节。 Dave自豪地将自己的程序压缩得比其他
人的更小。他使用的其中一个方法是把 4位数日期缩减为 2位，例如将 1973年缩为73。因为工
资系统极度依赖数据处理， Dave节省了可观的存储空间。 Dave并没有想到这是个很大的问题，
他认为只有在 2000年时程序计算 00或01这样的年份时才会出现错误。他知道那时会出问题，但
是在25年之内程序肯定会更改或升级， 而且眼前的任务比未来更加重要。 这一天毕竟是要来到的。
1995年，Dave的程序仍然在使用，而 Dave退休了，谁也不会想到进入程序检查 2000年的兼容
性问题，更不用说去修改了。
关于Y2K问题的说法不一，但根本的问题是用 2位表示年份的问题。这是一个十分典型的软
件设计缺陷。 Y2K问题涉及 4个方面：硬件、操作系统、应用软件及数据。
有关千年的例子很多，给计算机产业带来一次震惊和恐慌。许多国家和大型计算机公司都动
用了大量的人力和物力，解决千年虫问题，尤其是解决关系到国家安全、国家支柱产业正常运转
和与百姓生活息息相关领域的计算机系统的千年虫问题。
微软作为全球最大的软件供应商，其产品涵盖了操作系统、应用软件及数据等领域，而在 PC
平台上形成最为广泛的应用。关于这一问题，微软对其产品进行了全面的兼容性测试。
微软自1996年起开始涉及有关 Y2K问题的研究
《软件测试程序设计技术》.pdf