Test Generation and Coverage for Database Applications

提案编号：0541087PI: Phyllis Gail FranklPolytechnic University of New york标题：数据库应用程序的测试生成和覆盖数据库应用程序在我们的信息化社会中起着核心作用。考虑到这些系统无处不在，而且在许多情况下具有关键的性质，测试它们的行为是否正确非常重要。直到最近，很少有研究关注如何有效地做到这一点。这个研究项目的目的是增强和评估一套数据库应用程序的测试技术。测试这类系统的挑战包括必须考虑的大量数据库状态，以及需要检查应用程序是否正确地修改了数据库状态。这项研究建立在以前的工作的基础上，在以前的工作中，开发了工具来生成适合测试的数据库状态，生成应用程序的输入，并检查在这些输入上执行应用程序的结果。研究的第一阶段着重于改进输入生成技术，进一步自动化应用程序代码的分析，以及开发测试数据充分性的新方法。第二阶段着重于对这些技术如何有效地检测数据库应用程序中的故障进行经验评估。

Proposal number: 0541087PI: Phyllis Gail FranklPolytechnic University of New YorkTITLE: Test Generation and Coverage for Database ApplicationsDatabase application programs play a central role in our information based society. Given the ubiquitous and, in many cases, critical nature of these systems, testing whether they behave correctly is of great importance. Until recently, there has been little research focused on how to do this effectively. This research project aims to enhance and evaluate a set of testing techniques for database applications.Challenges in testing such systems include the large number of database states that must be considered and the need to check whether applications modify the database state correctly. This research builds on previous work, in which tools were developed to generate database states suitable for testing, generate inputs to the application, and check the results of executing the application on those inputs. The first phase of the research focuses on improving the input generation technique, further automating analysis of the application code, and developing new measures of test data adequacy. The second phase focuses on empirical evaluation of how effectively these techniques detect faults in database applications.