存儲(chǔ)程序的變異測(cè)試研究.pdf

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

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

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