基于路徑分析和迭代蛻變測試的Bug檢測

摘要： 該文旨在基于白盒測試準(zhǔn)則,提出能夠在盡量復(fù)用測試資源、降低測試成本的前提下有效發(fā)現(xiàn)程序中錯誤的蛻變測試方法。任務(wù)關(guān)鍵軟件的正確性是信息安全的重要組成部分,對其bug的測試至關(guān)重要,但Oracle問題經(jīng)常制約到此類軟件的測試。蛻變測試(MT)能夠有效解決此類問題,但隨機(jī)性較大。該文針對二元蛻變關(guān)系,提出了2種迭代的蛻變測試算法AESIST和AEMIST,在依據(jù)此2種方法的測試中,上一輪生成的測試用例可以作為下一輪的原始用例而生成新的測試用例,并且所有的測試用例滿足蛻變關(guān)系全路徑覆蓋準(zhǔn)則(APCEM)。實(shí)驗(yàn)結(jié)果表明:2種算法產(chǎn)生的測試用例能夠在盡量少地運(yùn)行程序的情況下有效發(fā)現(xiàn)程序中的錯誤。因此,本文提出的2種迭代蛻變測試算法在程序bug檢測方面是高效的。 （共8頁）