数据库管理系统锁机制集成测试方法研究

摘要

数据库管理系统是目前各种大型应用系统中的核心支撑软件，其可靠性和正确性是这些系统的稳定能否稳定运行的重要因素。锁机制是数据库管理系统中并发控制的关键技术，其正确性和可靠性直接影响整个数据库管理系统的稳定性。因此有必要对锁机制功能模块进行集成测试。
　　 数据库管理系统中的锁机制模块与系统其他相关模块结合紧密，模块之间调用关系复杂且不易分离。此外，锁表数据结构复杂、锁机制内部存在并发处理、锁表的状态在系统运行时不断变化，这些都使得对数据库管理系统的锁机制进行集成测试有较大的难度。
　　 提出了一种新的锁机制状态的集成方法。首先对数据库管理系统的源代码进行详细分析，得到锁机制的数据结构、各相关函数以及它们与其它模块的调用关系。
　　 从而从系统中分离出锁机制模块。通过编写桩程序模拟某些函数功能，使得在对锁机制管理功能模块进行测试的过程中不受到系统的其他模块的影响。
　　 在为锁机制管理功能模块生成测试用例的过程中，采用了多种测试用例生成方法，包括随机测试方法、基于前缀的测试序列生成方法和基于有限状态的测试用例生成方法。在运用了随机方法生成测试序列进行测试时，使用基于断言的冒烟测试方法进行测试结果的验证。而在基于相同前缀序列的测试中先通过相同前缀使锁表到达某个特定状态，再根据当前状态下敏感操作生成序列变体，运行序列变体通过观察锁表是否到达预定状态来判断锁机制是否正确实现。此外针对某些特定场景抽象出相应的状态机模型，进而由这些抽象出的状态机产生遍历状态机路径的测试用例。
　　 以上方法在一个测试半自动化框架中得以实现，并进行了实验验证。结果表明上述方法是有效的。

目录

文摘

英文文摘

声明

1 绪论

2 数据库管理系统的锁机制

3 锁机制功能模块的分离与集成

4 测试用例生成

5 测试框架设计与实现

6 总结与展望

致谢

参考文献