構建化軟體動態更新與驗證技術

內容簡介

　　《構件化軟體動態更新與驗證技術》對應研究中，從構件化軟體在運行時過程中動態更新的功能和非功能需求著手，首先分析研究在構件化軟體中提供動態更新支持需要解決的關鍵技術問題及其解決方案；其次是結合動態模組化、事務處理、狀態遷移等動態更新支持需求，擴展高階π演算（HOπ演算），以分別刻畫動態模組化、事務處理和狀態保持等動態更新支持機制，開發一種刻畫構件化軟體動態更新的形式化演算（稱為updateπ演算），以期為動態更新安全性、一致性等的保證提供形式化推演機理；後構建動態更新服務框架和支持平台，試圖對所提議的關鍵技術問題及其解決方案加以技術實現，通過原型案例和實驗分析來推導和驗證構件化軟體動態更新所採用的技術和方法。

圖書目錄

第1章緒論

1．1 相關研究背景

1．1．1 構件化軟體開發

1．1．2 動態軟體更新技術

1．1．3 軟體更新形式化研究

1．2 研究動機與目標

1．2．1 問題的提出及研究動機

1．2．2 研究的主要目標

1．3 研究的主要內容

1．4 章節結構組織

1．5 本章小結

第2章動態軟體更新問題及研究現狀

2．1 動態軟體更新過程需求

2．2 動態更新屬性需求

2．2．1 系統一致性

2．2．2 時序正確性

2．2．3 安全可靠性

2．3 動態更新技術研究現狀

2．3．1 安全更新狀態界定

2．3．2 動態更新時機選擇

2．3．3 童行時狀態遷移

2．4 軟體更新形式化推演技術

2．4．1 研究現狀分析

2．4．2 形式化推演機理

2．5 本章小結

第3章構件化軟體動態更新關鍵技術

3．1 動態更新需求分析

3．1．1 功能需求

3．1．2 非功能需求

3．2 動態更新關鍵技術策略

3．2．1 確定安全更新點

3．2．2 安全交付更新檔案

3．2．3 選擇合理更新時機

3．2．4 提取並遷移運行時狀態

3．2．5 檢測及處理更新失敗

3．3 構件化軟體下的動態更新技術研究

3．3．1 基於安全通信方案傳輸更新檔案

3．3．2 基於依賴性分析確定更新順序

3．3．3 基於靜態分析確定並遷移運行時狀態

3．4 本章小結

第4章高階鷓菟愕畝輪С擲┱辜際?

4．1 高階鷓菟?

4．1．1 基本語法

4．1．2 標記變遷系統

4．2 帶進程位置的HO鷓菟?

構建化軟體動態更新與驗證技術

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條