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

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

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