一種基于程序結(jié)構(gòu)的程序主變?cè)治雠c確定方法研究.pdf

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

2、入軟件測(cè)試，以期達(dá)到減少測(cè)試生成代價(jià)提高測(cè)試效率的目的，由此提出了一種利用蟻群算法實(shí)現(xiàn)基于程序結(jié)構(gòu)的程序主變?cè)治龇椒ǎ褂昧嘶谛畔㈧氐膶傩约s簡(jiǎn)模型，并在使用蟻群算法進(jìn)行程序主變?cè)治鰰r(shí)，根據(jù)程序代碼定義了輸入/輸出變量間的兩種關(guān)聯(lián)關(guān)系：四則運(yùn)算關(guān)聯(lián)與條件判斷關(guān)聯(lián)，由這兩種關(guān)聯(lián)關(guān)系計(jì)算蟻群優(yōu)化算法的重要參數(shù)——啟發(fā)式信息。并以冗余捆綁式慣性測(cè)量單元-RSDIMU(Redundant Strapped-Down Inertial Mea