基于EFSM的測試用例自動生成方法的研究.pdf

1、信息技術的快速發(fā)展，軟件產(chǎn)品越來越被應用到社會中的各個方面，但是，隨之而出現(xiàn)的軟件質量及安全問題阻礙著它的蓬勃發(fā)展。因此，保證軟件質量已成為當今廣大專家學者和工程人員的重點研究方向。軟件測試一直以來都是確保軟件質量和安全的重要措施。然而隨著軟件復雜性的加劇和軟件規(guī)模的增加，軟件測試已成為一種復雜、耗時的工作，為了降低軟件測試在整個軟件開發(fā)過程中的人力及物力開銷，提高軟件整體的質量和可靠性，軟件測試的自動化技術已成為現(xiàn)如今亟須解決的問題。

2、
　　軟件測試自動化技術其中的一個關鍵點就在于測試用例的自動生成?；谀Ｐ偷臏y試是一種有效的軟件測試方法，它可以有效地描述復雜軟件系統(tǒng)的狀態(tài)和行為。其中擴展有限狀態(tài)機(Extend Finite State Machine，EFSM)是有限狀態(tài)機(Finite State Machine，F(xiàn)SM)在原有的基礎上，擴展上下文變量以及作用在上下文變量上的謂詞條件和操作而來，因此，EFSM可以更加精確地描述軟件系統(tǒng)的狀態(tài)行為，被廣泛應用

3、于實際工程之中。但由于EFSM的復雜性，使得對EFSM模型進行測試用例自動生成這一過程更加復雜，因而仍然是一項攻堅難題。本文在已有的研究基礎上對EFSM模型的測試用例自動生成方法進行了深入研究，主要包括以下幾個方面：
　　(1)由于EFSM模型本身是靜態(tài)的，但是在測試過程中，必須使得EFSM模型能夠根據(jù)輸入變量得到執(zhí)行，進而得到測試用例。本文采用UML建模的方法，利用SMC工具將EFSM模型轉換為Java代碼，結合圖論的廣度優(yōu)先搜

4、索算法使得靜態(tài)EFSM模型具有動態(tài)執(zhí)行能力，從而建立了EFSM的可執(zhí)行模型。
　　(2)本文在深入分析和研究了前人對于測試序列自動生成方法的基礎上，將EFSM模型狀態(tài)圖轉換為遷移圖，進而采用改進廣度優(yōu)先搜索方法自動生成從初始遷移到達其他各個目標遷移的可行測試序列。在生成測試序列的過程中采用基于數(shù)據(jù)流和控制流的沖突檢測方法來識別測試序列的沖突問題，然后，綜合考慮測試序列長度和以及操作變量的類型，設計測試序列可行性度量方法定量分析測試

5、序列的可行性與有效性。
　　(3)根據(jù)前面獲得的測試序列，本文深入分析和探討了智能優(yōu)化算法對于測試數(shù)據(jù)自動生成方面的有效性和高效性，重點介紹了遺傳算法和分散搜索算法。進而針對前面已經(jīng)獲得的從初始遷移到達其他各個遷移的測試序列，采用分散搜索算法進行測試數(shù)據(jù)的自動生成。
　　本文設計并實施了一系列實驗驗證本文測試序列生成方法的有效性，然后將本文使用的分散搜索算法與遺傳算法在測試數(shù)據(jù)自動生成方面進行比較，從而驗證分散搜索算法的有效