基于面向?qū)ο筌浖鄳B(tài)特性的MM路徑自動生成.pdf

1、面向?qū)ο筌浖_發(fā)范型中封裝、繼承、多態(tài)等新的高級特性，給面向?qū)ο蟮能浖_發(fā)帶來了重用性、靈活性、可擴展性等優(yōu)點，但也給面向?qū)ο蟮能浖y試尤其是面向?qū)ο筌浖募蓽y試，帶來了新的挑戰(zhàn)。MM路徑，即方法/消息路徑，是由消息驅(qū)動的方法調(diào)用序列的表示，它記錄了系統(tǒng)內(nèi)部不同實例之間的通信過程，是進行面向?qū)ο筌浖蓽y試的前題基礎(chǔ)。
　　 針對面向?qū)ο筌浖鄳B(tài)特性，識別程序中的多態(tài)調(diào)用點，構(gòu)建含有多態(tài)信息的程序調(diào)用圖，并在此基礎(chǔ)上生成含有多

2、態(tài)信息的MM路徑集，是進行面向?qū)ο筌浖蓽y試的難點之一。但目前基于面向?qū)ο蟪绦蚨鄳B(tài)特性的MM路徑自動生成研究還比較少，因此，探討如何針對面向?qū)ο筌浖亩鄳B(tài)特征，實現(xiàn)MM路徑的自動生成，有著十分重要的應用價值。
　　 本文在綜述面向?qū)ο蟪绦蚨鄳B(tài)特性及MM路徑生成研究的基礎(chǔ)上，分析了多態(tài)性對MM路徑長度、數(shù)目、準確性的影響，以及面向?qū)ο筌浖鄳B(tài)特性對程序靜態(tài)分析中變量指向分析和調(diào)用圖構(gòu)建的影響，進而根據(jù)變量在程序中的定義/使用對信