"本书系统介绍软件缺陷检测的理论、方法与实践，全面覆盖软件质量保障的核心技术。不仅涵盖传统静态与动态检测技术，还结合人工智能、自动化等前沿趋势，探讨智能化缺陷预测与自动化检测的实现路径。本书通过理论解析、技术对比与实践案例，帮助读者构建多维度、全流程的缺陷防控体系，特别适用于军事、金融、医疗、工业软件等高可靠性领域的质量保障工作。

全书共15章，从软件全生命周期质量保障体系出发，深入剖析缺陷产生的本质，并详细讲解11类主流缺陷检测技术，包括软件评审、程序分析、软件度量、软件测试、软件仿真、软件缺陷预测、形式化验证、软件监控、知识驱动软件缺陷检测、智能化软件缺陷检测及标准和规范依从性检查。

本书适合作为高等院校计算机、软件工程专业高年级本科生、研究生的教材，同时可供软件工程研究人员、质量保障工程师及软件开发人员阅读，助力读者掌握缺陷检测关键技术，提升软件质量与可靠性。

"