軟件并行開發(fā)過程

定　價(jià)：￥22.00

作　者：	李彤等著
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787030120076	出版時(shí)間：	2003-08-01	包裝：	平裝
開本：		頁數(shù)：	196	字?jǐn)?shù)：

內(nèi)容簡介

　　軟件過程是軟件產(chǎn)品開發(fā)成功與否的關(guān)鍵性因素。軟件過程能力的成熟度如何已成為衡量一個(gè)軟件企業(yè)整體有效性的關(guān)鍵性尺度。本書借鑒了制造業(yè)并行工程的思想，將其引入到計(jì)算機(jī)軟件工程中，以軟件開發(fā)過程中的并行性為研究對象，通過盡量使軟件開發(fā)并行進(jìn)行，來達(dá)到提高軟件生產(chǎn)率的目的；通過優(yōu)化改善軟件開發(fā)過程，來達(dá)到提高軟件質(zhì)量的目的。軟件工程界長期存在軟件生產(chǎn)率低下、軟件質(zhì)量欠佳兩大難題。究其原因，同軟件過程有很大的關(guān)系。本書所討論的軟件并行開發(fā)借鑒了制造業(yè)并行工程的思想，讓軟件開發(fā)過程中具備并行條件的各種粒度不同的成分（包括過程、階段、活動、任務(wù)等）并行進(jìn)行，達(dá)到加快軟件開發(fā)速度的目的。正如硬件運(yùn)算能力的顯著提高是由串行轉(zhuǎn)向并行所引發(fā)的，我們認(rèn)為軟件并行開發(fā)是提高軟件生產(chǎn)率最具有潛力的途徑之一。軟件并行開發(fā)要求在早期階段考慮下游的階段與過程，支持軟件需求分析、設(shè)計(jì)與下游各階段并行交叉進(jìn)行，強(qiáng)調(diào)各并行成分的相對獨(dú)立，支持各并行成分之間的經(jīng)常交互，從而改善了軟件過程。盡早考慮下游因素，有利于減少反復(fù)次數(shù)、提高上游結(jié)果的質(zhì)量，達(dá)到優(yōu)化分析和設(shè)計(jì)的目的。因此，軟件并行開發(fā)對于提高軟件質(zhì)量也是有希望的突破口。本書是國內(nèi)第一部討論并行地開發(fā)軟件的學(xué)術(shù)專著，是作者在多項(xiàng)自然科學(xué)基金支持下長期研究成果的總結(jié)。本書對可并行的軟件過程及其模型、并行成分劃分、并行性挖掘與延拓、并行控制、測試與集成技術(shù)、計(jì)算機(jī)輔助軟件并行開發(fā)、軟件開發(fā)過程的自動化等方面進(jìn)行了研究，系統(tǒng)地討論了相關(guān)的概念、原理、方法、技術(shù)和工具，討論了軟件并行開發(fā)對CMMI的支持。本書可以作為計(jì)算機(jī)專業(yè)研究生和高年級本科生的教材和教學(xué)參考書，也可供從事軟件工程的科技人員使用和參考。

作者簡介

暫缺《軟件并行開發(fā)過程》作者簡介

圖書目錄

第1章  緒論
  1．1  軟件并行開發(fā)的提出
  1．1．1  傳統(tǒng)軟件工程面臨的問題
  1．1．2  來自制造業(yè)的啟示
  1．1．3  來自其他領(lǐng)域的啟示
  1．2  軟件并行開發(fā)研究的現(xiàn)狀
  1．3  軟件并行開發(fā)研究的內(nèi)容及意義
  1．3．1  研究內(nèi)容
  1．3．2  意義
  1．4  軟件并行開發(fā)支持工具
  1．4．1  CASE系統(tǒng)
  1．4．2  第四代語言
  1．5  Petri網(wǎng)簡介
  1．6  軟件并行開發(fā)與CMMI
  參考文獻(xiàn)
第2章  軟件過程
  2．1  軟件并行開發(fā)的軟件生存周期模型
  2．1．1  傳統(tǒng)的軟件生存周期模型
  2．1．2  并發(fā)開發(fā)模型
  2．1．3  軟件并行開發(fā)的軟件生存周期模型
  2．2  軟件過程中的并行性
  2．2．1  軟件過程與軟件過程模型
  2．2．2  軟件生存周期中的并行性分析
  2．2．3  軟件過程模型
  2．2．4  一個(gè)SDDM模型的實(shí)例
  2．2．5  SDDML語言
  2．2．6  基于SODML的過程建模方法
  2．2．7  軟件開發(fā)過程的進(jìn)化
  2．3  軟件并行開發(fā)中的應(yīng)用技術(shù)
  2．4  軟件并行開發(fā)的項(xiàng)目管理
  2．4．1  人員
  2．4．2  問題
  2．4．3  過程
  2．5  軟件并行開發(fā)過程對CMMI過程域的支持
  參考文獻(xiàn)
第3章  軟件并行開發(fā)成分劃分
  3．1  劃分準(zhǔn)則和約束
  3．2  基于Petri網(wǎng)的系統(tǒng)劃分
  3．2．1  系統(tǒng)模型和增強(qiáng)型關(guān)系
  3．2；2  系統(tǒng)劃分方法
  3．3  基于腳本的系統(tǒng)劃分
  3．3．1  基于腳本的需求模型
  3．3．2  基于腳本的系統(tǒng)劃分
  3．4  并行性挖掘
  3．4．1  活動間相關(guān)性分析
  3．4．2  軟件過程模型的構(gòu)造
  3．5  并行性延拓
  3．5．1  活動內(nèi)并行性挖掘
  3．5．2  劃分塊之間的相關(guān)關(guān)系判別
  3．5．3  并行性延拓
  3．6  并行性挖掘與延拓示例
  3．7  并行成分劃分技術(shù)在CMMI過程域中的作用
  參考文獻(xiàn)
第4章  軟件過程并行控制
  4．1  并行控制的必要性
  4．2  并行控制模型
  4．2．1  基于Petri網(wǎng)的并行控制模型CCM
  4．2．2  基元塊
  4．2．3  CCM模型的建立
  4．2．4  一個(gè)CCM的例子
  4．3  計(jì)算機(jī)輔助并行控制
  4．3．1  CCML語言
  4．3．2  基于CCM模型的計(jì)算機(jī)輔助并行控制
  4．4  基于C-P／T網(wǎng)的軟件并行開發(fā)控制模型
  4．4．1  C-P／T控制網(wǎng)
  4．4．2  超類和并行控制
  4．4．3  消息傳遞與對象合作
  4．4．4  C-P／T并行控制網(wǎng)的產(chǎn)生
  4．5  基于開發(fā)管程的并行控制
  4．6  并行控制模型對CMMI過程域的支持
  參考文獻(xiàn)
第5章  軟件測試過程
  5．1  軟件測試的原則和策略
  5．2  軟件測試過程模型
  5．3  并行進(jìn)行的單元測試
  5．3．1  基本單元測試方法
  5．3．2  FREE方法
  5．3．3  基于Petri網(wǎng)的單元測試
  5．4  集成測試
  5．4．1  基本集成測試方法
  5．4．2  FREE方法
  5．4．3  基于Petri網(wǎng)的集成測試
  5．5  軟件測試過程對CMMI過程域的支持
  參考文獻(xiàn)
第6章  計(jì)算機(jī)輔助軟件并行開發(fā)
  6．1  CASCD系統(tǒng)結(jié)構(gòu)
  6．1．1  軟件并行開發(fā)對CASCD的要求
  6．1．2  系統(tǒng)功能
  6．1．3  系統(tǒng)總體結(jié)構(gòu)
  6．2  過程管理子系統(tǒng)
  6．3  CCML語言與SDDML語言
  6．3．1  系統(tǒng)結(jié)構(gòu)與功能
  6．3．2  模型的存儲結(jié)構(gòu)
  6．3．3  模型的可視化
  6．3．4  編譯程序
  6．3．5  模型驗(yàn)證
  6．3．6  模型修改
  6．4  配置管理
  6．4．1  配置數(shù)據(jù)庫
  6．4．2  版本控制
  參考文獻(xiàn)
第7章  軟件開發(fā)過程的自動化
  7．1  組合語義功能規(guī)約方法
  7．1．1  集成的必要性
  7．1．2  規(guī)約的結(jié)構(gòu)
  7．1．3  例子
  7．2  需求規(guī)約語言O(shè)ORSL
  7．2．1  設(shè)計(jì)思想
  7．2．2  主要語法成分
  7．2．3  一個(gè)實(shí)例
  7．3  OORSL向Java程序框架的轉(zhuǎn)換
  7．3．1  Java并行程序框架
  7．3．2  轉(zhuǎn)換機(jī)制
  7．3．3  翻譯器
  7．3．4  語義處理
  7．4  形式化軟件功能分解的交互式規(guī)則
  7．4．1  功能分解的結(jié)構(gòu)
  7．4．2  交互式分解規(guī)則
  7．5  基于知識的形式化軟件設(shè)計(jì)技術(shù)
  7．5．1  知識庫結(jié)構(gòu)
  7．5．2  系統(tǒng)結(jié)構(gòu)
  7．5．3  設(shè)計(jì)過程
  參考文獻(xiàn)