SHF: Small: Collaborative Research: Constraint-Based Generation of Database States for Testing Database Applications

SHF：小型：协作研究：基于约束的数据库状态生成，用于测试数据库应用程序

• 批准号: 0915059
• 负责人: Xintao Wu
• 金额: $ 20.37万
• 依托单位: University of North Carolina at Charlotte
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0915059&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Constraint

Testing is essential for database applications to function correctly and with acceptable performance when deployed. In practice, it is often necessary for vendors of database application software to test their software adequately before selling or integrating their software to the database owner. However, testing database applications is very costly. In particular, it is time-consuming and challenging to generate desirable database states, an important portion of test inputs for testing database applications. However, little research has been conducted to provide scalable, effective tool support for generating database states to achieve various testing objectives.This research aims to adequately generate database states for database applications by developing novel techniques for (1) generating desirable database states to satisfy the given constraints on result sets from the given query, (2) applying this preceding technique on a variety of testing tasks, and (3) exploring more complicated situations such as constraints in multiple interacting queries. The research advances understanding of fundamental issues related to testing database applications and the design and implementation of practical techniques to carry out such testing. Among the broader impacts of the project includes integration of the research into education programs and enhancement of teaching and research infrastructure.

测试对于数据库应用程序在部署时正确运行并具有可接受的性能是必不可少的。实际上，数据库应用软件的供应商在向数据库所有者出售或集成其软件之前，经常需要对其软件进行充分的测试。然而，测试数据库应用程序的成本非常高。特别是，它是耗时和具有挑战性的，以产生所需的数据库状态，测试数据库应用程序的测试输入的重要组成部分。然而，很少有研究已经进行，以提供可扩展的，有效的工具支持生成数据库状态，以实现各种测试目标。本研究旨在充分产生数据库应用程序的数据库状态，通过开发新的技术，（1）产生所需的数据库状态，以满足给定的约束条件的结果集从给定的查询，（2）应用这种前面的技术在各种测试任务，以及（3）探索更复杂的情况，例如多个交互查询中的约束。该研究促进了对与测试数据库应用程序相关的基本问题的理解，并设计和实施了进行此类测试的实用技术。该项目的更广泛影响包括将研究纳入教育计划，并加强教学和研究基础设施。