構建化軟件動態(tài)更新與驗證技術

第1章 緒論
1．1 相關研究背景
1．1．1 構件化軟件開發(fā)
1．1．2 動態(tài)軟件更新技術
1．1．3 軟件更新形式化研究
1．2 研究動機與目標
1．2．1 問題的提出及研究動機
1．2．2 研究的主要目標
1．3 研究的主要內容
1．4 章節(jié)結構組織
1．5 本章小結
第2章 動態(tài)軟件更新問題及研究現(xiàn)狀
2．1 動態(tài)軟件更新過程需求
2．2 動態(tài)更新屬性需求
2．2．1 系統(tǒng)一致性
2．2．2 時序正確性
2．2．3 安全可靠性
2．3 動態(tài)更新技術研究現(xiàn)狀
2．3．1 安全更新狀態(tài)界定
2．3．2 動態(tài)更新時機選擇
2．3．3 童行時狀態(tài)遷移
2．4 軟件更新形式化推演技術
2．4．1 研究現(xiàn)狀分析
2．4．2 形式化推演機理
2．5 本章小結
第3章 構件化軟件動態(tài)更新關鍵技術
3．1 動態(tài)更新需求分析
3．1．1 功能需求
3．1．2 非功能需求
3．2 動態(tài)更新關鍵技術策略
3．2．1 確定安全更新點
3．2．2 安全交付更新文件
3．2．3 選擇合理更新時機
3．2．4 提取并遷移運行時狀態(tài)
3．2．5 檢測及處理更新失敗
3．3 構件化軟件下的動態(tài)更新技術研究
3．3．1 基于安全通信方案傳輸更新文件
3．3．2 基于依賴性分析確定更新順序
3．3．3 基于靜態(tài)分析確定并遷移運行時狀態(tài)
3．4 本章小結
第4章 高階鷓菟愕畝輪С擲┱辜際?
4．1 高階鷓菟?
4．1．1 基本語法
4．1．2 標記變遷系統(tǒng)
4．2 帶進程位置的HO鷓菟?
4．2．1 進程鈍化
4．2．2 語法和語義
4．3 帶事務特性的HO鷓菟?
4．3．1 事務處理語法
4．3．2 操作語義
4．4 帶狀態(tài)屬性的HO鷓菟?
4．4．1 基本語法
4．4．2 操作語義
4．5 本章小結
第5章 構件化軟件動態(tài)更新形式化技術
5．1 設計依據(jù)
5．1．1 更新粒度選擇
5．1．2 更新時機選擇
5．1．3 狀態(tài)獲取與遷移
5．1．4 更新事務及失敗恢復
5．2 update鷓菟愕撓鋟¨
5．2．1 基本約定
5．2．2 語法定義
5．3 update鷓菟悴僮饔鏌?
5．3．1 結構同余
5．3．2 歸約關系
5．3．3 標記變遷系統(tǒng)
5．4 動態(tài)構件更新及其屬性
5．4．1 動態(tài)更新實例
5．4．2 屬性分析
5．5 本章小結
第6章 動態(tài)軟件更新支持技術實現(xiàn)及案例應用
6．1 動態(tài)更新支持系統(tǒng)功能建模
6．1．1 基本更新處理過程
6．1．2 更新時機選擇模塊
6．1．3 依賴性分析模塊
6．1．4 更新順序確定模塊
6．1．5 運行時狀態(tài)遷移模塊
6．2 普適計算環(huán)境下的動態(tài)軟件更新
6．2．1 遠程診療系統(tǒng)動態(tài)更新應用場景
6．2．2 基于R-OSGi平臺技術的軟件動態(tài)更新實現(xiàn)
6．2．3 原型實現(xiàn)及實驗分析
6．3 本章小結
第7章 總結與展望
7．1 主要內容總結
7．2 未來研究方向
附錄 主要符號和簡寫對照表
參考文獻