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

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

• 批准号: 1434590
• 负责人: Tao Xie
• 金额: $ 15.86万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-07-01 至 2015-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1434590&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）更换质量的范围内（2）应用程序，（2）范围（2）杂货（2）在多个交互查询中的约束之类的情况。该研究促进了对与测试数据库应用程序有关的基本问题的理解以及实用技术的设计和实施，以进行此类测试。该项目的更广泛影响包括将研究整合到教育计划中以及增强教学和研究基础设施。