存儲程序的變異測試研究.pdf

1、存儲程序是一種編譯后存儲在數(shù)據庫中，并在服務器端執(zhí)行的程序，被廣泛地應用于大型數(shù)據庫系統(tǒng)中。存儲程序中未發(fā)現(xiàn)的錯誤可能導致數(shù)據不正確的修改或者關鍵數(shù)據的意外刪除。這些錯誤可能具有傳染性和傳播性，從而導致更多的數(shù)據被污染，最終會使得數(shù)據庫出現(xiàn)大量的數(shù)據訪問不一致性。因此必須對存儲程序進行充分的測試以保證其正確性和可靠性。
　　變異測試是一種重要的軟件測試技術，主要用于評價測試用例集的充分性和增強測試用例集合。其主要的思想是通過變更原

2、程序的代碼來產生變異體，以模擬編程中各種各樣的錯誤。變異技術的一個關鍵問題是變異體的自動化生成。然而至今沒有一個可以直接作用于存儲程序的變異體生成工具。本文把變異技術引入到存儲程序的測試，并實現(xiàn)了一個自動化生成變異體的變異工具SPMutation。
　　論文主要完成了兩個任務：首先針對存儲程序語言的特點設計了三種變異策略，總共24個變異算子。該算子集能夠對存儲程序進行元素級、表達式級和語句級三種不同層次的變異操作，能夠覆蓋存儲程序

3、多數(shù)語法規(guī)則。其次設計和實現(xiàn)了變異測試工具SPMutation，SPMutation可以通過配置變異算子集文件以實現(xiàn)對新的存儲過程語法規(guī)則的錯誤模擬，從而具有良好的可擴展性。
　　實驗結果表明：可行性方面，SPMutation能自動化生成變異體集合，所產生的等價變異體數(shù)占總變體數(shù)量的比值低于10％。有效性方面，可以通過變異測試的實驗過程完善測試用例集，使測試用例集變異分數(shù)超過0.9，趨近于1。執(zhí)行效率方面，存儲程序的變異測試過程可