软件测试理论如何发现首个缺陷？缺陷为何被称为 bug 或 defect？

这三幅图像初看之下似乎毫无关联。

然而，当它们被并置在一起时，却完整地呈现了Bug的产生过程。

位于右上角的那位女士形象精致且富有韵味

葛丽丝·霍普

葛丽丝·穆雷·霍普（英文：Grace Murray Hopper，1906年12月9日－1992年1月1日），女性，原姓为穆雷（Murray），霍普（Hopper）为其夫姓。

她是美国海军中将及计算机科学领域的专家，属于全球首批程序设计人员之一。她研发了当代首个编译器A-0系统，并参与创建了商用计算机编程语言“COBOL”，因此被尊称为COBOL之母。

她是一位在国际上享有盛誉的女性工程师，曾获得耶鲁大学颁发的硕士学位，并曾在国外的瓦萨学院担任副教授职位。在任职期间，她决定辞去副教授职务，前往美国海军参与马克一号计算机的工作，如上图左上角所示。马克一号计算机是一种体积庞大、早期出现的计算设备。

该设备被安置在一个仓库内，其内部由大量继电器及其他电气元件构成。

某一天，这台计算机突然停止运作。技术人员逐一检查各个继电器以寻找问题所在，最终在其中一个继电器中发现了一只因电流