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

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

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

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