本书系统介绍软件缺陷检测的理论、方法与实践, 全面覆盖软件质量保障的核心技术。本书不仅涵盖传统静态与动态检测技术, 还结合人工智能、自动化等前沿趋势, 探讨智能化缺陷预测与自动化检测的实现路径。通过理论解析、技术对比与实践案例, 帮助读者构建多维度、全流程的缺陷防控体系, 特别适用于军事、金融、医疗、工业软件等高可靠性领域的质量保障需求。全书共15章, 从软件全生命周期质量保障体系出发, 深入剖析缺陷产生的本质, 并详细讲解11类主流缺陷检测方法, 包括软件评审、程序分析、软件度量、软件仿真、软件测试、形式化验证、软件缺陷预测、软件监控、知识驱动软件缺陷检测、智能化软件缺陷检测及标准和规范依从性检查。