結(jié)構(gòu)化與面向?qū)ο筌浖椒?/h1>

第一章  緒論
1.1  形成與發(fā)展
1.1.1  程序設(shè)計方法學(xué)
1.1.2  軟件工程
1.1.3  軟件方法學(xué)
1.1.4  結(jié)構(gòu)化方法
1.1.5  面向?qū)ο蠓椒?br />1.2  軟件生存周期
1.2.1  五個軟件時期的劃分
1.2.2  軟件定義與計劃
1.2.3  軟件分析
1.2.4  軟件設(shè)計
1.2.5  軟件實現(xiàn)
1.2.6  軟件運(yùn)行與維護(hù)
1.3  軟件開發(fā)過程模型
1.3.1  瀑布模型
1.3.2  原型模型
1.3.3  其它模型
第二章  結(jié)構(gòu)化程序及構(gòu)造方法
2.1  結(jié)構(gòu)化程序
2.1.1  結(jié)構(gòu)化程序設(shè)計
2.1.2  關(guān)于GOTO
2.1.3  控制結(jié)構(gòu)
2.1.4  正規(guī)程序
2.1.5  基本程序
2.1.6  結(jié)構(gòu)化程序
2.2  結(jié)構(gòu)化定理
2.2.1  程序函數(shù)
2.2.2  結(jié)構(gòu)化定理
2.2.3  非結(jié)構(gòu)化程序到結(jié)構(gòu)化程序轉(zhuǎn)換
2.3  逐步求精方法
2.3.1  什么是逐步求精
2.3.2  逐步求精技術(shù)
2.4  程序形式推導(dǎo)技術(shù)
2.4.1  語句的HOARE表示
2.4.2  謂詞變換器
2.4.3  程序的形式語義
2.4.4  面向目標(biāo)的推導(dǎo)
2.4.5  不變式推導(dǎo)
2.5  程序變換技術(shù)
2.5.1  程序變換的基本思想
2.5.2  程序變換的基本規(guī)則
2.5.3  程序的生成方法
2.5.4  遞歸消去法
第三章  結(jié)構(gòu)化分析與設(shè)計
3.1  結(jié)構(gòu)化分析與設(shè)計的一般步驟
3.2  數(shù)據(jù)流分析技術(shù)
3.2.1  數(shù)據(jù)流分析
3.2.2  數(shù)據(jù)流圖
3.2.3  數(shù)據(jù)字典
3.3  邏輯分析工具
3.3.1  結(jié)構(gòu)化語言
3.3.2  判定樹
3.3.3  判定表
3.4  結(jié)構(gòu)化設(shè)計的圖表工具
3.4.1  IPO圖
3.4.2  結(jié)構(gòu)圖
3.4.3  程序流程圖
3.4.4  盒圖
3.4.5  PAD圖
3.4.6  過程設(shè)計語言PDL
3.5  面向數(shù)據(jù)流的設(shè)計
3.5.1  變換流與事務(wù)流
3.5.2  設(shè)計步驟
3.5.3  變換設(shè)計
3.5.4  事務(wù)設(shè)計
3.6  面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計
3.6.1  Jackson圖
3.6.2  Jackson方法
3.6.3  設(shè)計實例
3.7  模塊化技術(shù)
3.7.1  模塊與模塊化
3.7.2  模塊的特征與獨立性
3.7.3  模塊的藕合
3.7.4  模塊的內(nèi)聚
3.7.5  模塊設(shè)計一般準(zhǔn)則
3.7.6  模塊的作用域與控制域
3.8  應(yīng)用實踐
第四章  程序測試與正確性證明
4.1  程序正確性定義
4.2  HOARE公理化方法
4.2.1  HOARE基本法則
4.2.2  簡單語句證明法則
4.2.3  循環(huán)語句證明法則
4.3  FLOYD方法
4.3.1  不變式斷言法
4.3.2  良序集法
4.4  遞歸程序正確性證明
4.4.1  遞歸與迭代
4.4.2  遞歸的程序模式
4.4.3  遞歸計算規(guī)則
4.4.4  結(jié)構(gòu)歸納法
4.4.5  良好歸納法
4.5  測試的基本功概念
4.5.1  軟件測試
4.5.2  黑盒測試與白盒測試
4.6  測試過程與步驟
4.6.1  測試過程
4.6.2  單元測試
4.6.3  集成測試
4.6.4  驗收測試
4.7  測試方案設(shè)計
4.7.1  測試方案設(shè)計的基本原則
4.7.2  邏輯覆蓋
4.7.3  等價類劃分
4.7.4  邊界值分析
4.8  調(diào)試
4.8.1  靜態(tài)查找
4.8.2  消去法
4.8.3  回溯法
第五章  面向?qū)ο蟮母拍?br />5.1  對象與類
5.1.1  對象
5.1.2  消息與方法
5.1.3  類
5.2  基本特征
5.2.1  協(xié)議與封裝
5.2.2  繼承性
5.2.3  多態(tài)性與動態(tài)聯(lián)編
5.3  軟件生存周期與開發(fā)模型
5.3.1  面向?qū)ο蟮能浖嬷芷?br />5.3.2  面向?qū)ο蠓椒ㄅc快速原型技術(shù)
第六章  面向?qū)ο蠓治雠c設(shè)計
6.1  前言
6.1.1  OOA形成
6.1.2  多層次多組成模型
6.1.3  OOA步驟
6.2  標(biāo)識類/對象
6.2.1  為什么要標(biāo)識類型/對象
6.2.2  如何確定對象
6.2.3  實例
6.3  標(biāo)識結(jié)構(gòu)
6.3.1  什么是結(jié)構(gòu)
6.3.2  為什么要定義結(jié)構(gòu)
6.3.3  如何定義結(jié)構(gòu)
6.4  標(biāo)識主題
6.4.1  什么是主題
6.4.2   為什么要引入主題
6.4.3  如何定義主題
6.5  定義屬性
6.5.1  為什么要定義屬性
6.5.2  如何定義屬性
6.6  定義服務(wù)
6.6.1  什么是服務(wù)
6.6.2  如何定義服務(wù)
6.6.3  表示所需要的服務(wù)
6.6.4  標(biāo)識消息連接
6.6.5  說明服務(wù)
6.7  面向?qū)ο笤O(shè)計
6.7.1  轉(zhuǎn)向面對象的設(shè)計
6.7.2  OOD準(zhǔn)則與步驟
6.7.3  匯集OOA文檔資料
第七章  面向?qū)ο蟪绦蛟O(shè)計
7.1  前言
7.1.1  OOD與實現(xiàn)語言
7.1.2  面向?qū)ο蟪绦蛟O(shè)計語言
7.1.3  面向?qū)ο蟪绦虻奶攸c
7.2  Smalltalk面向?qū)ο缶幊?br />7.2.1  對象、類、實例及繼承性
7.2.2  變量名與文字句法
7.2.3  消息表達(dá)式
7.2.4  塊表達(dá)式
7.2.5  基本控制結(jié)構(gòu)
7.2.6  方法
7.3  C++面向?qū)ο缶幊?br />7.3.1  C++面向?qū)ο蟾拍?br />7.3.2  C++類
7.3.3  成員函數(shù)
7.3.4  對象
7.3.5  構(gòu)造函數(shù)與析構(gòu)函數(shù)
7.3.6  繼承性與派生類
7.3.7  多態(tài)性與虛擬函數(shù)
7.3.8  友元
7.3.9  一個例子
第八章  軟件質(zhì)量與維護(hù)
8.1  軟件質(zhì)量
8.1.1  軟件質(zhì)量標(biāo)準(zhǔn)
8.1.2  軟件質(zhì)量保證
8.2  軟件質(zhì)量度量模型
8.2.1  Boehm模型
8.2.2  McCall模型
8.2.3  ISO建議模型
8.2.4  軟件質(zhì)量模型
8.3  軟件質(zhì)量評價方法
8.3.1  McCabe軟件復(fù)雜性度量
8.3.2  Halstad軟件復(fù)雜性度量方法
8.3.3  軟件可靠性度量方法
8.4  軟件維護(hù)的概念
8.4.1  軟件維護(hù)的類型
8.4.2  軟件的可維護(hù)性
8.4.3  軟件維護(hù)工作量模型
8.4.4  軟件維護(hù)的典型問題
8.4.5  維護(hù)的代價與副作用
8.5  維護(hù)過程與方法
8.5.1  維護(hù)組織
8.5.2  維護(hù)模型
8.5.3  維護(hù)報告
8.5.4  維護(hù)的記錄與評價
8.6  面向?qū)ο筌浖|(zhì)量與維護(hù)
8.6.1  軟件質(zhì)量保證和可維護(hù)性
8.6.2  面向?qū)ο筌浖|(zhì)量與維護(hù)的新課題
參考文獻(xiàn)