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

定　價(jià)：￥25.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

出版者的話
專家指導(dǎo)委員會
譯者序
前言
第1章  概述
1.1  問題：bug
1.2  凈室方法
1.3  關(guān)于本書
備注
第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)記法簡介
2.7  預(yù)期函數(shù)的編寫
練習(xí)
備注
第3章  驗(yàn)證
3.1  結(jié)構(gòu)化控制語句
3.2  預(yù)期函數(shù)的定位
3.3  替換原則
3.4  代碼序列
3.5  跟蹤表
3.6  if語句
3.7  條件分支跟蹤表
練習(xí)
備注
第4章  迭代的驗(yàn)證
4.1  while語句
4.2  循環(huán)中止的驗(yàn)證
4.3  已初始化循環(huán)
4.4  為獨(dú)立的循環(huán)編寫預(yù)期函數(shù)
4.5  其他形式的不定迭代
練習(xí)
備注
第5章  基于預(yù)期函數(shù)的程序設(shè)計(jì)
5.1  Pascal程序：最長一行的長度
5.2  C程序：統(tǒng)計(jì)字符及數(shù)字的出現(xiàn)次數(shù)
5.3  Icon程序：字符串解壓縮
5.4  抽象化的探討：登記注冊系統(tǒng)
5.5  讓事情簡單
練習(xí)
備注
第6章  驗(yàn)證過程的回顧
6.1  為什么驗(yàn)證必須回顧
6.2  凈室過程中的驗(yàn)證回顧
6.3  驗(yàn)證回顧是如何完成的
6.4  示例：注冊登記系統(tǒng)的另一個(gè)例程
6.5  示例：測試數(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ù)化語言
9.1  遞歸例程
9.2  終止
9.3  相互遞歸
9.4  函數(shù)化語言
練習(xí)
備注
第10章  測試
10.1  測試的角色
10.2  基于使用的測試
10.3  測試數(shù)據(jù)生成器
10.4  測試的其他方式
練習(xí)
備注
第11章  增量開發(fā)
11.1  用增量的方式開發(fā)程序
11.2  計(jì)劃與實(shí)現(xiàn)的過程
11.3  示例：排演計(jì)劃
練習(xí)
備注
第12章  我們將走向何方
12.1  凈室過程的其他部分
12.2  其他的形式方法
12.3  我們學(xué)會了什么
12.4  展望未來
備注
部分習(xí)題的提示
參考文獻(xiàn)