多線程程序中數據競爭故障的動態檢測技術研究(PDF 82頁)

第1章：緒論。介紹了論文的研究背景和研究意義以及國內外研究現狀，給出
第2章：研究基礎。介紹了麵向方麵編程技術以及目前已有的實現技術，以及
第3章：多線程程序中數據競爭故障動態檢測係統框架。總體介紹了本文用於
第4章：多線程程序中程序執行路徑跟蹤技術研究。將麵向方麵編程應用於跟
第5章：基於變量狀態圖與鎖集的數據競爭故障動態檢測方法。定義了變量集
第6章：實驗驗證與結果分析。運用多個實驗進行對比驗證，給出程序結果，
第7章：結束語。對本文的研究工作中的創新與貢獻進行了總結，指出了本文
第一章緒論
第七章結束語
第三章多線程程序中數據競爭故障動態檢測係統框架
第中唯j『髭火蓐
第二章中的loekset算法，詳細的定義了多線程程序產生數據競爭故障的必備條
第二章中詳細的介紹了lockset算法，接下來本文使用一個示例來展示傳統的
第二章研究基礎
第二章討論了麵向方麵編程技術可以被用於權限管理、錯誤處理、程序調試和
第五章基於變量狀態圖與鎖集的數據競爭故障動態檢測方法
第六章實驗驗證與結果分析
第四章多線程程序中程序執行路徑跟蹤技術研究
表1．1國外研究情況總結
表2．1麵向方麵編程中的5種通知及其描述
表2．2麵向方麵編程技術主要應用領域及其描述
表2．3 AOP主要實現技術及其簡介
表4．1示例程序簽名集合描述
表5．1四種類型訪問及其描述
表5．2所示。
表5．2示例中各訪問及其類型
表5．3變量的4種狀態及其描述
表5．4變量的4種事件類型及其描述
表5．5變量v的訪問、事件及其狀態遷移
表5．6示例中類Var中的4種方法及其描述
表5．7示例中loekset算法的執行步驟以及變量信息
表6．1類Value的4個方法及其描述
表6．2實驗一檢測結果對比
表6．3實驗=檢測結果對比
表6．4實驗三檢測結果對比
表6．5實驗四檢測結果對比
..............................