程序設(shè)計缺陷分析與實踐

第1章  程序設(shè)計缺陷靜態(tài)分析
　1.1  軟件測試分類
　1.2　靜態(tài)分析方法
    1.2.1  文檔審查
    1.2.2  代碼審查
    1.2.3  技術(shù)評審
    1.2.4　代碼走查
    1.2.5  評審類型比較
    1.2.6  靜態(tài)分析的優(yōu)點
第2章  C／C++語言程序設(shè)計缺陷分析
　2.1  編碼風(fēng)格
    2.1.1  符號誤用問題
    2.1.2  變量初始化問題
    2.1.3  函數(shù)返回值問題
    2.1.4  其他
　2.2  內(nèi)存管理
　2.3  內(nèi)存泄漏
　2.4　緩沖區(qū)溢出
　2.5  指針問題
    2.5.1  空指針解引用
    2.5.2  其他
　2.6  安全缺陷
　2.7  C++中和類有關(guān)的編程錯誤
　2.8  其他
第3章  Java語言程序設(shè)計缺陷分析
　3.1  編碼風(fēng)格
　3.2  安全缺陷
第4章  軟件質(zhì)量靜態(tài)度量
　4.1  有關(guān)概念
　4.2  軟件質(zhì)量模型
    4.2.1  McCall模型
    4.2.2  Boehm模型
    4.2.3  IS09126模型
    4.2.4  ISO／IEC 25010質(zhì)量模型
    4.2.5  關(guān)系模型
　4.3  軟件質(zhì)量靜態(tài)度量方法
    4.3.1  軟件質(zhì)量靜態(tài)度量簡介
    4.3.2  源代碼行(LOC)度量
    4.3.3  Halstead軟件科學(xué)度量
    4.3.4 McCabe度量
    4.3.5  Henry&Kafura方法
    4.3.6  LCSAJ密度
    4.3.7  C&K度量
    4.3.8 MOOD度量
    4.3.9  其他軟件質(zhì)量度量
第5章  常用靜態(tài)分析工具與使用實踐
　5.1  PolySpace——運(yùn)行時錯誤靜態(tài)檢查工具
    5.1.1  PolySpace Verifier
    5.1.2  PolySpace Viewer
　5.2  Klocwork一代碼靜態(tài)檢查工具
    5.2.1  工程創(chuàng)建與分析
    5.2.2  分析結(jié)果查看
　5.3  nstbed——靜態(tài)和動態(tài)測試工具
    5.3.1  單個文件分析
    5.3.2  分析結(jié)果查看
    5.3.3  多個文件批量分析
　5.4  McCabe IQ2——軟件質(zhì)量保證工具
    5.4 1  McCabe EQ
    5.4.2  MeCabe Test
    5.4.3  McCabe Reengineer
附錄A  軟件需求規(guī)格說明審查單
附錄B  用戶手冊審查單
參考文獻(xiàn)