"本书是一本关于软件测试的教材，旨在为读者提供软件测试的理论与方法。本书从测试的可 判定性问题出发，结合概率统计和图论基础等建立软件测试理论。从软件测试多样性原则和故障 假设原理出发，重新审视开发者测试、功能测试、性能测试和安全测试等各类方法。书中还穿插 着简要讲解部分智能化软件测试和智能软件系统测试的**研究成果。全书共8 章，以软件测试 理论为主线，讲解常用软件测试方法背后的内在联系和主要区别，以启发读者思考。软件测试工 具、测试案例和实践内容请参阅线上资源。 本书适合作为高等学校软件工程、计算机科学与技术、信息安全等专业的教材，也可供从事 软件测试工作的工程师、研究人员参考。 "

陈振宇，南京大学教授、博导。慕测平台创始人、全国大学生软件测试大赛和IEEE国际软件测试大赛发起人。任IEEE Transactions on Reliability的Associate Editor。在TOSEM、TSE、ICSE、FSE、ISSTA等发表论文100余篇,申请发明专利50余项，获2012年江苏省科学技术奖一等奖、2015年湖北省科技进步奖一等奖和2018年国家级教学成果奖二等奖。

前 言 本书导读 本书是一本关于软件测试的教材，旨在为读者提供软件测试的理论与方法。本书从 测试的可判定性问题出发，结合概率统计和图论基础建立软件测试理论。从软件测 试多样性原则和故障假设原理出发，重新审视开发者测试、功能测试、性能测试和 安全测试等各类方法。本书穿插简要讲解部分智能化软件测试和智能软件系统测试 的最新研究成果。全书共8 章，以软件测试理论为主线，讲解常用软件测试方法背 后的内在联系和主要区别，以启发读者思考。软件测试工具、测试案例和实践内容 请参阅线上资源。 第1 章是软件测试快速入门，通过一个简单的三角形程序Triangle，快速介绍软件测试 的基本内容。1.1 节介绍多样性测试原则，包括随机测试、等价类测试和组合测试。1.2 节 介绍故障假设测试原理，包括常见的软件故障类型、边界故障假设和变异故障假设。1.3 节 介绍图分析测试方法，包括图生成方法、图结构测试和图元素测试。通过学习本章，读者 可以对软件测试常用方法有一个初步的了解。 第2 章是软件测试基础。2.1 节简要介绍软件测试的基础概念，包括测试用例和测试报 告等基本术语，同时对常用待测软件类型进行分析，为后续章节的测试方法讨论提供基础。 2.2 节介绍软件测试教材中常用的3 个待测程序，这3 个程序贯穿全书，但后续章节也会引 入更加复杂的待测软件作为示例。2.3 节重新审视软件测试的理论问题，包括测试终止、测 试预言和测试生成问题，这三大问题贯穿全书，成为软件测试理论与方法的核心所在。第 2 章为后续章节的深入学习奠定基础。 第3 章是Bug 理论基础，介绍...