數據庫管理系統(tǒng)鎖機制集成測試方法研究.pdf

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

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

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