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

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

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