通過數(shù)據(jù)流敏感的指針分析識(shí)別類間二元關(guān)系.pdf

1、UML類圖是軟件建模中最常用的圖形化表示之一。類間二元關(guān)系是UML類圖中的重要組成部分，它包括關(guān)聯(lián)、聚合、組合關(guān)系等。鑒于UML在軟件建模中的廣泛應(yīng)用，在軟件的開發(fā)維護(hù)過程中，從代碼中識(shí)別哪些類之間存在關(guān)聯(lián)、聚合、組合關(guān)系有助于程序的理解和維護(hù)。
　　 UML中關(guān)聯(lián)關(guān)系、聚合關(guān)系和組合關(guān)系有著不同的定義以及設(shè)計(jì)語義，但是缺乏和實(shí)現(xiàn)層面對(duì)應(yīng)的概念模型。人們通過構(gòu)建實(shí)現(xiàn)層面的二元關(guān)系的模型來識(shí)別二元關(guān)系。論文首先對(duì)當(dāng)前二元關(guān)系提取的

2、研究工作進(jìn)行簡(jiǎn)單的回顧和總結(jié)，并指出現(xiàn)有研究方法中的一些缺陷和不足。第一，現(xiàn)存的實(shí)現(xiàn)層面的模型不夠成熟，這使得二元關(guān)系識(shí)別的準(zhǔn)確性方面有所欠缺。第二，部分研究無法檢查待分析程序是否嚴(yán)格遵循他們所提出的模型，這會(huì)造成錯(cuò)誤識(shí)別。本文從提高識(shí)別精度的角度出發(fā)，提出了利用流敏感、上下文敏感的指針分析結(jié)果識(shí)別二元關(guān)系的方法。
　　 論文的工作主要包括：
　　 (1)設(shè)計(jì)實(shí)現(xiàn)一種上下文敏感、流敏感、屬性域敏感的指針分析，并且在指針分