基于方法消息路徑的面向?qū)ο筌浖詣?dòng)化集成測(cè)試方法研究.pdf

1、軟件控制論旨在探討軟件工程與控制科學(xué)的交叉應(yīng)用。以軟件控制論為指導(dǎo)，將控制理論應(yīng)用于軟件工程領(lǐng)域，以軟件過程作為被控對(duì)象，通過分析和優(yōu)化軟件過程中的反饋機(jī)理，達(dá)到改進(jìn)軟件過程、提高軟件質(zhì)量的目的。
　　集成測(cè)試是指將多個(gè)軟件模塊按照需求規(guī)格說明的要求組裝為一個(gè)完整系統(tǒng)時(shí)進(jìn)行的測(cè)試，重點(diǎn)檢查各模塊間的交互是否正確。面向?qū)ο筌浖_發(fā)技術(shù)的發(fā)展提高了軟件的可重用性和可維護(hù)性，但也給軟件的集成測(cè)試帶來了新的挑戰(zhàn)。方法消息路徑是由消息連接起

2、來的方法執(zhí)行序列，可以很好地體現(xiàn)面向?qū)ο筌浖K之間通過消息傳遞機(jī)制實(shí)現(xiàn)方法調(diào)用的交互過程。因此，深入研究基于方法消息路徑的面向?qū)ο筌浖蓽y(cè)試方法對(duì)于提高面向?qū)ο筌浖馁|(zhì)量具有重要的理論意義和應(yīng)用價(jià)值。
　　本文從軟件控制論角度著手，將面向?qū)ο筌浖募蓽y(cè)試過程視為被控對(duì)象，探討如何針對(duì)方法消息路徑利用優(yōu)化技術(shù)實(shí)現(xiàn)面向?qū)ο筌浖淖詣?dòng)化集成測(cè)試。研究重點(diǎn)圍繞方法消息路徑的自動(dòng)生成、方法消息路徑生成中搜索空間的約簡(jiǎn)、基于方法消息路徑

3、的集成測(cè)試用例自動(dòng)生成以及集成測(cè)試用例自動(dòng)再生成等關(guān)鍵技術(shù)展開，以提高面向?qū)ο筌浖蓽y(cè)試的有效性。主要研究?jī)?nèi)容及成果歸納如下:
　　1、結(jié)合現(xiàn)有程序分析技術(shù)探討了一種基于調(diào)用圖的方法消息路徑自動(dòng)生成方法，并針對(duì)類層次分析和安德森指向分析這兩種典型調(diào)用圖構(gòu)建算法就方法消息路徑的生成效率進(jìn)行了比較，結(jié)果表明采用安德森指向分析較類層次分析算法可以更有效地實(shí)現(xiàn)方法消息路徑的自動(dòng)生成，為后續(xù)基于方法消息路徑的集成測(cè)試用例自動(dòng)生成研究奠定了

4、技術(shù)基礎(chǔ)。
　　2、對(duì)于復(fù)雜的面向?qū)ο筌浖贸绦蚍治黾夹g(shù)生成方法消息路徑時(shí)，搜索空間會(huì)急劇膨脹，導(dǎo)致方法消息路徑生成效率下降。為此，本文設(shè)計(jì)并實(shí)現(xiàn)了兩種搜索空間約簡(jiǎn)策略，通過約簡(jiǎn)面向?qū)ο筌浖獠款悗齑a對(duì)應(yīng)的調(diào)用圖節(jié)點(diǎn)以及約簡(jiǎn)異常處理代碼對(duì)應(yīng)的控制流圖節(jié)點(diǎn)，以減小方法消息路徑生成的搜索空間。實(shí)驗(yàn)結(jié)果表明這兩種搜索空間約簡(jiǎn)策略是確實(shí)可行的。
　　3、考慮到面向?qū)ο筌浖亩嗬^承類系和非公有方法給集成測(cè)試用例自動(dòng)生成帶來的挑戰(zhàn)

5、，本文提出了一種將演化算法與強(qiáng)化學(xué)習(xí)機(jī)制相結(jié)合的測(cè)試用例自動(dòng)生成方法。通過強(qiáng)化學(xué)習(xí)機(jī)制執(zhí)行同構(gòu)替換操作并計(jì)算相應(yīng)操作的累計(jì)效益，指導(dǎo)演化算法搜索滿足測(cè)試覆蓋目標(biāo)的集成測(cè)試用例。實(shí)驗(yàn)結(jié)果表明采用該方法能夠有效地為面向?qū)ο筌浖杉蓽y(cè)試用例。
　　4、對(duì)已有測(cè)試用例庫的面向?qū)ο筌浖?，為利用現(xiàn)有測(cè)試用例提供的大量方法調(diào)用信息，指導(dǎo)測(cè)試用例的自動(dòng)生成，以提高測(cè)試用例的有效性和可讀性，本文提出了一種基于序列模式挖掘技術(shù)的測(cè)試用例自動(dòng)再生成

6、策略。該策略通過挖掘測(cè)試用例庫獲取常用的方法調(diào)用子序列——序列模式，并以所得序列模式為基礎(chǔ)構(gòu)建新的集成測(cè)試用例。實(shí)驗(yàn)結(jié)果表明采用該策略能夠生成有效且可讀性良好的集成測(cè)試用例。
　　5、監(jiān)控與數(shù)據(jù)采集系統(tǒng)廣泛應(yīng)用于航空航天、化工冶煉、核能發(fā)電、武器裝備等關(guān)鍵領(lǐng)域。將本文提出的基于方法消息路徑的面向?qū)ο筌浖詣?dòng)化集成測(cè)試方法應(yīng)用于openSCADA監(jiān)控與數(shù)據(jù)采集軟件的集成測(cè)試中，結(jié)果表明采用該方法能夠有效地生成其方法消息路徑;以方法消