Formal verification software bugs.
形式验证软件的缺陷。
Availability is reduced with any kind of downtime, including downtime for software bugs.
任何一次停机，包括由于软件错误造成的停机，都会降低可用性。
Computer scientist Andrey Rybalchenko has developed a new method for finding software bugs.
计算机科学家安德雷·日巴尔琴科开发出了一种寻找软件缺陷(bug，又称臭虫)的新方法。
Prices for such software bugs range from a couple of hundred dollars to tens of thousands.
收购这些程序漏洞的报价从几百美元到上万美元不等。
Even with rigorous testing, software bugs account for a substantial fraction of unplanned downtime (estimated at 25-35%).
即使在严格的测试后，软件的bug(错误、漏洞)仍然带来一部分非预期宕机时间（约占总宕机时间25%-35%）。
Updating the system with new functionality, or fixing software bugs. Hence, reprogramming of WSNs is a designed feature.
因此，在无线传感网络节点操作系统设计时，低功耗是一个具有挑战的新问题。
If debugging is the process of removing software bugs, then programming must be the process of putting them in. - Edsger Dijkstra.
如果调试程序是移除臭虫(软件缺陷)的过程，那编写程序就是把臭虫放进来的过程。——迪杰斯·特拉。
Aside from the design problems, the Newton had other issues, most notably software bugs that needed to be fixed before it could be shipped.
除了设计问题，Newton也遇到了其它麻烦：大多数软件BUG都必须在上市前解决。
Recovery-Oriented Computing (ROC) takes the perspective that hardware faults, software bugs, and operator errors are facts to avoid coped with, not problems to avoid.
面向修复计算把硬件故障、软件错误和操作员失误当作不可避免的事实，研究的是面对事实的处理技术。
Recovery -oriented Calculation (ROC) takes the perspective that hardware faults, software bugs, and operator errors are facts to be coped with, not problems to be solved.
面向恢复的计算(ROC)认为：硬件故障、软件故障以及操作员错误仍需要人们面对，但不必作为一定要彻底解决的问题。
The examples used throughout this book of various applications, software bugs, and software test tools are in no way intended as an endorsement or a disparagement of the software.
本书中用到的所有实例，包括各种应用程序、软件缺陷、软件测试工具都不代表认同或排斥该软件。
Authentication problems are probably the most pervasive class of security problems if we ignore software bugs, meaning that choosing a reasonable authentication technology is important.
如果我们忽略软件错误，认证问题可能是最普遍类型的安全性问题，这意味着选择一个合理的认证技术很重要。
This research will provide good reference in the monitoring and management of the software bugs information market and the information security regarding to vulnerability more effectively.
此项研究为实现更有效地监控软件漏洞市场和更好地管理软件漏洞带来的安全问题提供一些参考。
Anyway, you want to find bugs while the software is still in the development and testing phases.
无论如何，您应该在软件仍然处于开发和测试阶段时发现漏洞。
I could make any mistake when preparing this material for publication, there can be some not discovered bugs in both my hardware and software.
当准备材料发表这篇文章时，我可能犯下任何错误，硬件和软件上都有可能有未被发现的漏洞。
Downtime of an application due to bugs in the software is called the unreliability factor.
由于软件中的错误而造成应用程序停机称为不可靠性因素。
All the research, planning, reviewing, test automation development, and maintenance are done for one purpose: to enable us to find bugs in the software.
所有的研究、计划、审阅、测试自动化开发，和维护都为了一个目的：使我们找到软件中的缺陷。
This saves time, provides incentives for early testing, and increases the quality of testing by minimizing the number of bugs in the test software.
这节省了时间，为早期测试提供了动力，并通过最小化测试软件中的缺陷提高了测试的质量。
Therefore, we can't always prepare our own software meals to avoid the equivalent of added chemicals and preservatives; i.e., bugs.
因此，我们不可能总是准备我们自己的软件伙食来避免化学添加剂和防腐剂的等价物，也就是，缺陷。
Zoe, a software developer, refreshes the "My Bugs" page in her web browser and sees a new bug report has been assigned to her by Rick, her team lead.
软件开发人员zoe在Web浏览器中刷新“MyBugs”页面，并看见团队负责人Rick已分配给她一个新的错误报告。
Web software is buggy, attackers find and exploit these bugs.
Web软件是错漏不断的，为攻击者发现和利用。
When software releases often, and there are no real bugs that are "hidden," then you've got an ever-evolving code base.
如果软件发布频繁且其中没有隐藏任何真正的bug，那么就有了一个不断进化的基础代码。
If you're already releasing once a month, or even more, what's to keep software from adding features, not just fixing bugs?
如果您已经是一个月发布一次或更频繁，那么有什么可以阻止软件添加更多的特性，而不只是修复bug呢？
All in all, large software implementation projects tend to devote more effort to producing paper documents and fixing bugs than they spend on producing software deliverables.
总而言之，大的软件实施项目倾向于在文档工作和修复bug方面比生成可交付的软件投入更多的工作。
This is done to ensure the compiler is tested against real-world, complex software in order to detect any bugs existing in it.
这样做保证了编译器经受了真实世界、复杂软件的检验，以检查出任何存在其中的Bug。
This is done to ensure the compiler is tested against real-world, complex software in order to detect any bugs existing in it.
这样做保证了编译器经受了真实世界、复杂软件的检验，以检查出任何存在其中的Bug。
应用推荐