構(gòu)建化軟件動態(tài)更新與驗(yàn)證技術(shù)

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