零缺陷程序設(shè)計(jì)

定　價(jià)：￥25.00

作　者：	（美）Allan M.Stavely著；夏昕，王堯譯；夏昕譯
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	計(jì)算機(jī)科學(xué)叢書(shū)
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787111129417	出版時(shí)間：	2003-11-01	包裝：	平裝
開(kāi)本：	26cm	頁(yè)數(shù)：	203	字?jǐn)?shù)：

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

　　本書(shū)描述了編寫(xiě)無(wú)（或幾乎無(wú)）bug代碼的最新方法。這些方法同時(shí)還提高了生產(chǎn)力，縮短了開(kāi)發(fā)時(shí)間。本書(shū)主要在三個(gè)領(lǐng)域內(nèi)加以描述，分別是：規(guī)定、驗(yàn)證和測(cè)試。作者的寫(xiě)作目的是使開(kāi)發(fā)人員更易理解規(guī)定和驗(yàn)證，寫(xiě)出結(jié)構(gòu)完好的程序。本書(shū)適于高等院校學(xué)生和軟件開(kāi)發(fā)人員閱讀。本書(shū)描述了編寫(xiě)無(wú)錯(cuò)代碼的最新方法、這些方法來(lái)源于IBM等機(jī)構(gòu)凈室軟件工程方面的實(shí)際經(jīng)驗(yàn)、在過(guò)去的十五年間，這些方法在商業(yè)開(kāi)發(fā)項(xiàng)目上應(yīng)用得非常成功。出錯(cuò)概率要比行業(yè)平均水平低一個(gè)數(shù)量級(jí)。要特別指出的是，錯(cuò)誤率的降低并非緣于成本的增長(zhǎng)，相反。與它相伴而生的是生產(chǎn)力的提高和開(kāi)發(fā)時(shí)間的全面縮減。Stavely在本書(shū)中簡(jiǎn)明扼要地說(shuō)明了上述方法如何在軟件開(kāi)發(fā)的三個(gè)關(guān)鍵領(lǐng)域得以應(yīng)用。這三個(gè)領(lǐng)域是：1．規(guī)定2．驗(yàn)證3，測(cè)試軟件工程師必須將程序編制得更加簡(jiǎn)單明了，才能達(dá)到形式化規(guī)定的要求．才能通過(guò)數(shù)學(xué)方式證明代碼與規(guī)定相匹配．才能消除邏輯上的bug：組內(nèi)驗(yàn)證可以發(fā)現(xiàn)新的缺陷，可以激勵(lì)小組成員對(duì)程序進(jìn)行更加細(xì)致的檢查：而測(cè)試則是為了鞏固以前的工作。（基本上）查出所有剩余的錯(cuò)誤。本書(shū)主要特色有：闡述了如何使用凈室方法開(kāi)發(fā)高質(zhì)量的軟件鼓勵(lì)以小組為單位進(jìn)行程序驗(yàn)證闡釋了增量開(kāi)發(fā)的重要性本書(shū)并未囊括IBM凈室方法的所有內(nèi)容。作者的目的是使讀者容易理解規(guī)定和驗(yàn)證，寫(xiě)出結(jié)構(gòu)完好的程序來(lái)；在闡述不同的觀點(diǎn)時(shí)．本書(shū)的例子中用到了好幾種語(yǔ)言，用的最多的是C，所以預(yù)先掌握C是必要的。

作者簡(jiǎn)介

　　Allan M.Stavely，二十幾年來(lái)，一直任教于新墨西哥科技大學(xué)計(jì)算機(jī)科學(xué)系。他曾作為訪問(wèn)學(xué)者訪問(wèn)過(guò)IBM加州圣何塞研究中心、惠普英國(guó)布里斯托爾研究所，以及IBM英國(guó)溫徹斯特研究中心。他的教學(xué)與研究領(lǐng)域主要包括軟件工程、形式化方法和對(duì)編程的總體改進(jìn)方法。

圖書(shū)目錄

出版者的話
專家指導(dǎo)委員會(huì)
譯者序
前言
第1章  概述
1.1  問(wèn)題：bug
1.2  凈室方法
1.3  關(guān)于本書(shū)
備注
第2章  運(yùn)算函數(shù)
2.1  運(yùn)算：狀態(tài)與函數(shù)
2.2  函數(shù)表示法：并行處理
2.3  條件并行處理
2.4  局部變量
2.5  基于預(yù)期函數(shù)的規(guī)定
2.6  其他標(biāo)記法簡(jiǎn)介
2.7  預(yù)期函數(shù)的編寫(xiě)
練習(xí)
備注
第3章  驗(yàn)證
3.1  結(jié)構(gòu)化控制語(yǔ)句
3.2  預(yù)期函數(shù)的定位
3.3  替換原則
3.4  代碼序列
3.5  跟蹤表
3.6  if語(yǔ)句
3.7  條件分支跟蹤表
練習(xí)
備注
第4章  迭代的驗(yàn)證
4.1  while語(yǔ)句
4.2  循環(huán)中止的驗(yàn)證
4.3  已初始化循環(huán)
4.4  為獨(dú)立的循環(huán)編寫(xiě)預(yù)期函數(shù)
4.5  其他形式的不定迭代
練習(xí)
備注
第5章  基于預(yù)期函數(shù)的程序設(shè)計(jì)
5.1  Pascal程序：最長(zhǎng)一行的長(zhǎng)度
5.2  C程序：統(tǒng)計(jì)字符及數(shù)字的出現(xiàn)次數(shù)
5.3  Icon程序：字符串解壓縮
5.4  抽象化的探討：登記注冊(cè)系統(tǒng)
5.5  讓事情簡(jiǎn)單
練習(xí)
備注
第6章  驗(yàn)證過(guò)程的回顧
6.1  為什么驗(yàn)證必須回顧
6.2  凈室過(guò)程中的驗(yàn)證回顧
6.3  驗(yàn)證回顧是如何完成的
6.4  示例：注冊(cè)登記系統(tǒng)的另一個(gè)例程
6.5  示例：測(cè)試數(shù)據(jù)生成器例程
6.6  示例討論
練習(xí)
備注
第7章  定迭代
7.1  序列上的定迭代
7.2  序列變量
7.3  其他序列表達(dá)式
7.4  整型值的范圍
7.5  其他數(shù)據(jù)結(jié)構(gòu)
7.6  迭代機(jī)制
7.7  程序設(shè)計(jì)中的集合與序列
練習(xí)
備注
第8章  數(shù)據(jù)抽象與面向?qū)ο缶幊?br />8.1  數(shù)據(jù)抽象與封裝
8.2  抽象函數(shù)
8.3  數(shù)據(jù)不變性
8.4  面向?qū)ο缶幊?br />練習(xí)
備注
第9章  遞歸與函數(shù)化語(yǔ)言
9.1  遞歸例程
9.2  終止
9.3  相互遞歸
9.4  函數(shù)化語(yǔ)言
練習(xí)
備注
第10章  測(cè)試
10.1  測(cè)試的角色
10.2  基于使用的測(cè)試
10.3  測(cè)試數(shù)據(jù)生成器
10.4  測(cè)試的其他方式
練習(xí)
備注
第11章  增量開(kāi)發(fā)
11.1  用增量的方式開(kāi)發(fā)程序
11.2  計(jì)劃與實(shí)現(xiàn)的過(guò)程
11.3  示例：排演計(jì)劃
練習(xí)
備注
第12章  我們將走向何方
12.1  凈室過(guò)程的其他部分
12.2  其他的形式方法
12.3  我們學(xué)會(huì)了什么
12.4  展望未來(lái)
備注
部分習(xí)題的提示
參考文獻(xiàn)