In this chapter, you'll learn about the history of software bugs and software testing.
在这一章你将学到软件测试臭虫与软件的历史。
A plain fact in any software project is that programmers introduce bugs in their software.
在任何软件项目中存在的一个普遍事实是，程序员在他们的软件中引入了错误。
That's why we test software: to find bugs.
这就是为什么我们要测试软件的原因：找到缺陷。
Bugs in formal verification software can miss design errors and thus give false confirmation.
形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。
When the scale of software is bigger and bigger, there are more and more bugs.
随着软件规模的扩大，缺陷会越来越多，质量保证也成为一项艰苦的工作。
When the scale of software is bigger and bigger, there are more and more bugs.
随着软件规模的扩大，缺陷会越来越多，质量保证也成为一项艰苦的工作。
应用推荐