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

摘 要 数据库管理系统是目前各种大型应用系统中的核心支撑软件，其可靠性和正确 性是这些系统的稳定能否稳定运行的重要因素。锁机制是数据库管理系统中并发控 制的关键技术，其正确性和可靠性直接影响整个数据库管理系统的稳定性。因此有 必要对锁机制功能模块进行集成测试。 数据库管理系统中的锁机制模块与系统其他相关模块结合紧密，模块之间调用 关系复杂且不易分离。此外，锁表数据结构复杂、锁机制内部存在并发处理、锁表 的状态在系统运行时不断变化，这些都使得对数据库管理系统的锁机制进行集成测 试有较大的难度。 提出了一种新的锁机制状态的集成方法。首先对数据库管理系统的源代码进行 详细分析，得到锁机制的数据结构、各相关函数以及它们与其它模块的调用关系。 从而从系统中分离出锁机制模块。通过编写桩程序模拟某些函数功能，使得在对锁 机制管理功能模块进行测试的过程中不受到系统的其他模块的影响。 在为锁机制管理功能模块生成测试用例的过程中，采用了多种测试用例生成方 法，包括随机测试方法、基于前缀的测试序列生成方法和基于有限状态的测试用例 生成方法。在运用了随机方法生成测试序列进行测试时，使用基于断言的冒烟测试 方法进行测试结果的验证。而在基于相同前缀序列的测试中先通过相同前缀使锁表 到达某个特定状态，再根据当前状态下敏感操作生成序列变体，运行序列变体通过 观察锁表是否到达预定状态来判断锁机制是否正确实现。此外针对某些特定场景抽 象出相应的状态机模型，进而由这些抽象出的状态机产生遍历状态机路径的测试用 例。 以上方法在一个测试半自动化框架中得以实现，并进行了实验验证。结果表明 上述方法是有效的。 关键词：数据库管理系统，锁机制，集成测试，自动化测试 I Abstract Database manage system (DBMS) plays key role in most huge application systems. The correctness and reliability of DBMS is the most important factor for those application systems running stably. Locking mechanism is an important part of DBMS, which supports the DBMS to process transactions concurrently ， whose correctness and reliability would affect DBMS deeply. Thus, it is necessary to study integrated testing method of locking mechanism. The modules of locking mechanism couple other modules tightly. There are so many function-callings between them that it is hard to depart them. More ever, locking table, the key data structure of locking mechanism is very complex, there is concurrently processing in locking mechanism and the state of locking table is keeping changing when whole system is running. All of those things make it a hard work to hold a integrated testing on locking mechanism. A new integrated testing of locking mechanism is presented in this paper, whi