基于序列模式挖掘的并發(fā)程序缺陷檢測技術(shù)研究.pdf

1、針對并發(fā)程序中存在的主要缺陷類型，目前的研究包括單一類型的缺陷檢測的技術(shù)和通用的多種類缺陷檢測技術(shù)，而這些技術(shù)均存在各自的不足之處，例如會產(chǎn)生組合爆炸問題，虛假警報率較高，還不能很好地達到并發(fā)程序中缺陷檢測的要求。并且現(xiàn)在對并發(fā)程序缺陷檢測的研究大多停留在單一類型的缺陷檢測，對于通用的缺陷檢測技術(shù)研究仍然不足。把序列模式挖掘方法應(yīng)用于并發(fā)程序的缺陷檢測中，使得能夠?qū)Χ喾N程序缺陷進行檢測，并有效解決算法效率不高的問題，提高缺陷檢測的效率。

2、
　　為了提高并發(fā)程序的安全性和可靠性，方便程序調(diào)試，本文提出一種基于序列模式挖掘的并發(fā)程序缺陷檢測技術(shù)的整體框架，主要工作如下:
　　首先，本文介紹了使用基于序列模式挖掘的并發(fā)程序缺陷檢測的總體框架，分析了并發(fā)程序執(zhí)行序列獲取和基于序列模式挖掘的缺陷檢測，實驗設(shè)計等部分的關(guān)系，概括了各部分的主要目的與設(shè)計思路。
　　其次，本文研究了獲取并解析程序執(zhí)行序列集的具體方法。使用動態(tài)標記遷移算法探索線程所有的交錯執(zhí)行情況，并

3、使用AspectJ在執(zhí)行時記錄線程、事件的信息反映程序執(zhí)行軌跡，獲取程序執(zhí)行結(jié)果，最后根據(jù)執(zhí)行結(jié)果劃分為成功執(zhí)行序列集和失效執(zhí)行序列集。
　　再次，本文研究了如何利用序列模式挖掘得到程序缺陷的模式。在獲取程序執(zhí)行序列集之后，研究如何對程序執(zhí)行序列集進行數(shù)據(jù)挖掘得到缺陷模式，并對序列模式挖掘的算法做了改進，提出了改進ISPAM算法(Improved SequentialPAttern Mining，ISPAM)解決了算法效率不高和缺