黄，J.C。 通过测试和分析检测软件错误。 （英语） Zbl 1177.68050号 新泽西州霍博肯：John Wiley&Sons（ISBN 978-0-470-40444-7/hbk；978-0-4.70-46407-6/电子书）。x、 第259页。(2009). 出版商描述：深入回顾软件错误检测的关键技术软件错误检测是软件工程中最具挑战性的问题之一。现在，您可以学习如何通过选择测试用例来最大限度地利用软件测试来发现潜在错误的可能性。本书首先对测试用例的选择进行了深入的讨论，并回顾了本书中使用的概念、符号和原则。接下来，它涵盖了：基于代码的测试用例选择方法；基于规范的测试用例选择方法；测试中的其他高级主题；符号痕迹分析；静态分析；程序检测。每一章都以清晰的引言开始，以练习结束，供读者测试他们对材料的理解。此外，附录提供了逻辑数学背景、词汇表和自我评估问题。假设有软件质量保证的基本背景和编写非平凡程序的能力，本书不含用于构建测试程序的编程语言和范例。本书适合作为软件测试专家、软件工程师、软件开发人员和软件程序员的专业参考。它也适合作为高级本科生和研究生水平的软件工程、软件测试和软件质量保证课程的教科书。 MSC公司： 68N99型 软件理论 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：基于代码的测试用例选择方法;基于规范的测试用例选择方法;符号轨迹;程序插装 软件：科拉特;ADTEST（自动测试） PDF格式BibTeX公司 XML格式引用 \textit{J.C.Huang}，通过测试和分析检测软件错误。新泽西州霍博肯：John Wiley&Sons（2009；Zbl 1177.68050） 全文： 内政部