一種基于程序結(jié)構(gòu)的程序主變元分析與確定方法研究.pdf

1、軟件測試是保證軟件質(zhì)量最為有效的技術(shù)手段，測試數(shù)據(jù)的優(yōu)劣決定了軟件測試的有效性。在不影響測試效果的前提下，減小測試用例集的規(guī)模將有效地減少測試成本，提高測試效率。 測試數(shù)據(jù)是軟件測試的核心。如果能分析出被測程序的主變元，即關(guān)鍵輸入變量，并以其為基礎(chǔ)設(shè)計測試數(shù)據(jù)則可以有效地提高測試數(shù)據(jù)的質(zhì)量和生成效率。因此，研究程序主變元分析方法具有十分重要的理論意義和廣泛的應(yīng)用前景。 本文將常用于故障診斷與模式識別等領(lǐng)域的主元分析思想引

2、入軟件測試，以期達到減少測試生成代價提高測試效率的目的，由此提出了一種利用蟻群算法實現(xiàn)基于程序結(jié)構(gòu)的程序主變元分析方法，使用了基于信息熵的屬性約簡模型，并在使用蟻群算法進行程序主變元分析時，根據(jù)程序代碼定義了輸入/輸出變量間的兩種關(guān)聯(lián)關(guān)系：四則運算關(guān)聯(lián)與條件判斷關(guān)聯(lián)，由這兩種關(guān)聯(lián)關(guān)系計算蟻群優(yōu)化算法的重要參數(shù)——啟發(fā)式信息。并以冗余捆綁式慣性測量單元-RSDIMU(Redundant Strapped-Down Inertial Mea