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

定　價：￥36.00

作　者：	尹浩等編著
出版社：	電子工業(yè)出版社
叢編項：
標　簽：	程序設(shè)計

購買這本書可以去

ISBN：	9787121129698	出版時間：	2011-03-01	包裝：	平裝
開本：	16開	頁數(shù)：	264	字數(shù)：

內(nèi)容簡介

　　代碼缺陷源自程序設(shè)計，《程序設(shè)計缺陷分析與實踐》結(jié)合作者多年軟件測試經(jīng)驗，重點歸納總結(jié)了cc++和java語言在程序設(shè)計方面存在的鮮為人知的各種缺陷，以期為軟件設(shè)計人員和測試人員提供有益借鑒?！冻绦蛟O(shè)計缺陷分析與實踐》共5章2個附錄，分別介紹了程序設(shè)計缺陷靜態(tài)分析方法、cc++語言程序設(shè)計缺陷分析、java語言程序設(shè)計缺陷分析、軟件質(zhì)量靜態(tài)度量以及靜態(tài)測試工具使用實踐。重點介紹了cc++語言程序在編碼風格、內(nèi)存管理、緩沖區(qū)使用、指針以及安全等方面存在的典型缺陷，并結(jié)合實例對每種缺陷進行了分析，同時給出了缺陷修改方法?！冻绦蛟O(shè)計缺陷分析與實踐》既是一本程序設(shè)計方面的高級教程，同時也是一本軟件靜態(tài)測試方面的教程，可作為高等院校計算機相關(guān)專業(yè)高級程序設(shè)計及軟件測試課程教材，也可供軟件開發(fā)工程師、測試工程師、測試經(jīng)理等人員參閱。

作者簡介

　　尹浩 1959年生，工學(xué)博士，總參某研究所研究員，博士生導(dǎo)師。國防科技大學(xué)、解放軍理工大學(xué)、中國科技大學(xué)兼職教授，中國通信學(xué)會國防通信技術(shù)委員會副主任委員，國家科技重大專項三“新一代寬帶無線移動通信網(wǎng)”總體組專家，國家軍口“973”項目技術(shù)首席專家。長期從事軍事通信網(wǎng)絡(luò)與信息系統(tǒng)理論、方法和技術(shù)研究，承擔了多項國家和軍隊重大科研和工程項目，獲國家科技進步一等獎1項、二等獎2項，軍隊科技進步一等獎6項、二等獎5項，國家？世紀百千萬人才工程國家級人選，享受政府特殊津貼．獲全軍杰出科技人才獎。

圖書目錄

第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 編碼風格
    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 編碼風格
　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——運行時錯誤靜態(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 用戶手冊審查單
參考文獻