"本书是一本关于软件测试的教材，旨在为读者提供软件测试的理论与方法。本书从测试的可

判定性问题出发，结合概率统计和图论基础等建立软件测试理论。从软件测试多样性原则和故障

假设原理出发，重新审视开发者测试、功能测试、性能测试和安全测试等各类方法。书中还穿插

着简要讲解部分智能化软件测试和智能软件系统测试的**研究成果。全书共8 章，以软件测试

理论为主线，讲解常用软件测试方法背后的内在联系和主要区别，以启发读者思考。软件测试工

具、测试案例和实践内容请参阅线上资源。

本书适合作为高等学校软件工程、计算机科学与技术、信息安全等专业的教材，也可供从事

软件测试工作的工程师、研究人员参考。

"