數(shù)據(jù)庫(kù)管理系統(tǒng)鎖機(jī)制集成測(cè)試方法研究.pdf

1、數(shù)據(jù)庫(kù)管理系統(tǒng)是目前各種大型應(yīng)用系統(tǒng)中的核心支撐軟件，其可靠性和正確性是這些系統(tǒng)的穩(wěn)定能否穩(wěn)定運(yùn)行的重要因素。鎖機(jī)制是數(shù)據(jù)庫(kù)管理系統(tǒng)中并發(fā)控制的關(guān)鍵技術(shù)，其正確性和可靠性直接影響整個(gè)數(shù)據(jù)庫(kù)管理系統(tǒng)的穩(wěn)定性。因此有必要對(duì)鎖機(jī)制功能模塊進(jìn)行集成測(cè)試。
　　 數(shù)據(jù)庫(kù)管理系統(tǒng)中的鎖機(jī)制模塊與系統(tǒng)其他相關(guān)模塊結(jié)合緊密，模塊之間調(diào)用關(guān)系復(fù)雜且不易分離。此外，鎖表數(shù)據(jù)結(jié)構(gòu)復(fù)雜、鎖機(jī)制內(nèi)部存在并發(fā)處理、鎖表的狀態(tài)在系統(tǒng)運(yùn)行時(shí)不斷變化，這些都使得

2、對(duì)數(shù)據(jù)庫(kù)管理系統(tǒng)的鎖機(jī)制進(jìn)行集成測(cè)試有較大的難度。
　　 提出了一種新的鎖機(jī)制狀態(tài)的集成方法。首先對(duì)數(shù)據(jù)庫(kù)管理系統(tǒng)的源代碼進(jìn)行詳細(xì)分析，得到鎖機(jī)制的數(shù)據(jù)結(jié)構(gòu)、各相關(guān)函數(shù)以及它們與其它模塊的調(diào)用關(guān)系。
　　 從而從系統(tǒng)中分離出鎖機(jī)制模塊。通過(guò)編寫樁程序模擬某些函數(shù)功能，使得在對(duì)鎖機(jī)制管理功能模塊進(jìn)行測(cè)試的過(guò)程中不受到系統(tǒng)的其他模塊的影響。
　　 在為鎖機(jī)制管理功能模塊生成測(cè)試用例的過(guò)程中，采用了多種測(cè)試用例生成方法

3、，包括隨機(jī)測(cè)試方法、基于前綴的測(cè)試序列生成方法和基于有限狀態(tài)的測(cè)試用例生成方法。在運(yùn)用了隨機(jī)方法生成測(cè)試序列進(jìn)行測(cè)試時(shí)，使用基于斷言的冒煙測(cè)試方法進(jìn)行測(cè)試結(jié)果的驗(yàn)證。而在基于相同前綴序列的測(cè)試中先通過(guò)相同前綴使鎖表到達(dá)某個(gè)特定狀態(tài)，再根據(jù)當(dāng)前狀態(tài)下敏感操作生成序列變體，運(yùn)行序列變體通過(guò)觀察鎖表是否到達(dá)預(yù)定狀態(tài)來(lái)判斷鎖機(jī)制是否正確實(shí)現(xiàn)。此外針對(duì)某些特定場(chǎng)景抽象出相應(yīng)的狀態(tài)機(jī)模型，進(jìn)而由這些抽象出的狀態(tài)機(jī)產(chǎn)生遍歷狀態(tài)機(jī)路徑的測(cè)試用例。