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

定　價：￥22.00

作　者：	李彤等著
出版社：	科學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

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

內容簡介

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

作者簡介

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

圖書目錄

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