出版時間:2003-11 出版社:機(jī)械工業(yè)出版社 作者:斯蒂夫里 頁數(shù):203 譯者:夏昕
Tag標(biāo)簽:無
內(nèi)容概要
本書描述了編寫無(或幾乎無)bug代碼的最新方法。這些方法同時還提高了生產(chǎn)力,縮短了開發(fā)時間。本書主要要三個領(lǐng)域內(nèi)加以描述,分別是:規(guī)定、驗證和測試。作者的寫作目的是使開發(fā)人員更易理解規(guī)定和驗證,寫出結(jié)構(gòu)完好的程序。
本書適于高等院校學(xué)生和軟件開發(fā)人員閱讀。
作者簡介
Allan M.Stavely,二十幾年來,一直任教于新墨西哥科技大學(xué)計算機(jī)科學(xué)系。他曾作為訪問學(xué)者訪問過IBM加州圣何塞研究中心、惠普英國布里斯托爾研究所,以及IBM英國溫徹斯特研究中心。他的教學(xué)與研究領(lǐng)域主要包括軟件工程、形式化方法和對編程的總體改進(jìn)方法。
書籍目錄
出版者的話專家指導(dǎo)委員會譯者序前言第一章 概述 1.1 問題 1.2 凈室方法 1.3 關(guān)于本書 備注第二章 運(yùn)算函數(shù) 2.1 運(yùn)算 2.2 函數(shù)表示法并行處理 2.3 條件并行處理 2.4 局部變量 2.5 基于預(yù)期函數(shù)的規(guī)定 2.6 其他標(biāo)記法簡介 2.7 預(yù)期函數(shù)的編寫 練習(xí) 備注第三章 驗證 3.1 結(jié)構(gòu)化控制語句 3.2 預(yù)期函數(shù)的定位 3.3 替換原則 3.4 代碼序列 3.5 跟蹤表 3.6 語句 3.7 條件分支跟蹤表 練習(xí) 備注第四章 迭代的驗證 4.1 語句 4.2 循環(huán)中止的驗證 4.3 已初始化循環(huán) 4.4 為獨(dú)立的循環(huán)編寫預(yù)期函數(shù) 4.5 其他形式的不定迭式 練習(xí) 備注第五章 基于預(yù)期函數(shù)的程序設(shè)計 5.1 Pascal程序:最長一行的長度 5.2 C程序:統(tǒng)計字符及數(shù)字的出現(xiàn)次數(shù) 5.3 Icon程序:字符串解壓縮 5.4 抽象化的探討:登記注冊系統(tǒng) 5.5 讓事情簡單 練習(xí) 備注第6章 驗證過程的回顧 6.1 為什么驗證必須回顧 6.2 凈定過程中的驗證回顧 6.3 驗證回顧是如何完成的 6.4 示例:注冊登記系統(tǒng)的另一個例程 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è)計中的集合與序列 練習(xí) 備注第8章 數(shù)據(jù)抽象與面向?qū)ο缶幊?8.1 數(shù)據(jù)抽象與封裝 8.2 抽象函數(shù) 8.3 數(shù)據(jù)不變性 8.4 面向?qū)ο缶幊?練習(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 計劃與實(shí)現(xiàn)的過程 11.3 示例:排演計劃 練習(xí) 備注第12章 我們將走向何方 12.1 凈室過程的其他部分 12.2 其他的形式方法 12.3 我們學(xué)會了什么 12.4 展望未來 備注部分習(xí)題的提示參考文獻(xiàn)
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載