数据库事务的一致性测试.pdfVIP

数据库事务的一致性测试 郑波 (东华大学计算机学院计算机软件与理论系，上海200051) E-mail：fengku黜@ma／I．dhu．edn．en 摘要一致性置数据库事务控制的关键概念。一致性的测试技术对多用户数据库有巨大的惠jL。。更章耙AGENDA这 一洲试关系教据库的工鼻应用到数据库事务一壁挂的剥试上。姨文旨在挥竞数据库事务处理过翟中的一致性的辨i试 问题。 关键词关系数据库事务一致性测试 Transaction Database Consistency Testing Bo Zheng Softwareand 200051) (Computer Theory，DonghUaUniversity，Shanghai isthe ofdatabasetransaction．The of is a key technique playingvery Abstract：Consistencyconcept testing eonsistoncy roleonthemulti-118er isatoolmfor relational this important database，AGENDA testing database印plicBtions．In weextendit totesttransaction leitmotivofthisarticleis to delvethe database paper consistency．The testing transaction inthe consistencyprocess． Keyworda：relationaldatabase，transaction，consistency，teat DB的表结构更具有有效性。 1引言 Applicafion Generator)。输入产生器为数据库 数据库与事务处理在当今的信息社会中扮演越来越重要 (3)输^产生器(Input 的角色。其中很重要的因素是需要确保其能执行正确的操作， 应用程序产生输^数据。利用AGENDA解析器和状态产生器 得到的一些有用的信息，加上通过SQL命令解析所产生的一 同时又体现良好的性能。在当前数据库管理系统(DBMS)中几 乎都提供了许多潜在的算法及数据结掏来保护数据的完整 些属性和表信息，输入产生器产生很具有代表性的数据库应 性。然而，并役有一种系统的技术来确保数据库应用程序的正 用输人数据。 确性。出于这种需要，AGENDA关系数据库测试系统诞生了。 (4)状态验证器(StateVallantor)。状态验证器验证在测试 执行期同的ApplicationDB的变化情况。它会自动采用log文 DB的变化．半自动的检查