123,123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

第1章程序設(shè)計(jì)缺陷靜態(tài)分析
　1.1 軟件測(cè)試分類(lèi)
　1.2　靜態(tài)分析方法
    1.2.1 文檔審查
    1.2.2 代碼審查
    1.2.3 技術(shù)評(píng)審
    1.2.4　代碼走查
    1.2.5 評(píng)審類(lèi)型比較
    1.2.6 靜態(tài)分析的優(yōu)點(diǎn)
第2章 C／C++語(yǔ)言程序設(shè)計(jì)缺陷分析
　2.1 編碼風(fēng)格
    2.1.1 符號(hào)誤用問(wèn)題
    2.1.2 變量初始化問(wèn)題
    2.1.3 函數(shù)返回值問(wèn)題
    2.1.4 其他
　2.2 內(nèi)存管理
　2.3 內(nèi)存泄漏
　2.4　緩沖區(qū)溢出
　2.5 指針問(wèn)題
    2.5.1 空指針解引用
    2.5.2 其他
　2.6 安全缺陷
　2.7 C++中和類(lèi)有關(guān)的編程錯(cuò)誤
　2.8 其他
第3章 Java語(yǔ)言程序設(shè)計(jì)缺陷分析
　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)度量簡(jiǎn)介
    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)分析工具與使用實(shí)踐
　5.1 PolySpace——運(yùn)行時(shí)錯(cuò)誤靜態(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)和動(dòng)態(tài)測(cè)試工具
    5.3.1 單個(gè)文件分析
    5.3.2 分析結(jié)果查看
    5.3.3 多個(gè)文件批量分析
　5.4 McCabe IQ2——軟件質(zhì)量保證工具
    5.4 1 McCabe EQ
    5.4.2 MeCabe Test
    5.4.3 McCabe Reengineer
附錄A 軟件需求規(guī)格說(shuō)明審查單
附錄B 用戶手冊(cè)審查單
參考文獻(xiàn)