[Summary] [People] [Publications] [Presentations] [Software] [Subjects] [Sponsors]
PROJECT SUMMARY
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 various novel techniques. 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.
PEOPLE
Faculty
Tao Xie (Principal
Investigator)
Students
Sihan Li (PhD Student)
David (Wei) Yang (PhD Student)
Kunal Taneja (NCSU PhD Student)
Collaborators
Xintao Wu (Collaborating PI at UNCC) and Kai Pan (PhD Student at UNCC)
Yi Zhang (FDA)
PUBLICATIONS
- Kai Pan, Xintao Wu, and Tao Xie. Program-Input Generation for Testing Database Applications Using Existing Database States. Automated Software Engineering Journal, pages 1-35, July 2014. [PDF][BibTeX]
- Kai Pan, Xintao Wu, and Tao Xie. Guided Test Generation for Database Applications via Synthesized Database Interactions. ACM Transactions on Software Engineering and Methodology, 23(2), Article 12, March 2014. [PDF][BibTeX]
- Kai Pan, Xintao Wu and Tao Xie. Automatic Test Generation for Mutation Testing on Database Applications. In Proceedings of the 8th International Workshop on Automation of Software Test (AST 2013),San Francisco, CA, May 2013. [PDF][BibTeX]
- Kai Pan, Xintao Wu, and Tao Xie. Generating Program Inputs for Database Application Testing. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, pages 73-82, November 2011. [PDF][BibTeX]
- Kunal Taneja, Mark Grechanik, Rayid Ghani, and Tao Xie. Testing Software In Age Of Data Privacy: A Balancing Act. In Proceedings of the 8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2011), Szeged, Hungary, pages 201-211, September 2011. [PDF][BibTeX]
- Kai Pan, Xintao Wu, and Tao Xie. Database State Generation via Dynamic Symbolic Execution for Coverage Criteria. In Proceedings of the 4th International Workshop on Testing Database Systems (DBTest 2011), Athens, Greece, pages 4-9, June 2011. [PDF][BibTeX]
- Kunal Taneja, Yi Zhang, and Tao Xie. MODA: Automated Test Generation for Database Applications via Mock Objects. In Proceedings
of the 25th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2010), Short Paper, Antwerp, Belgium, September 2010. [PDF][BibTeX]
PRESENTATIONS
- Automated Developer Testing: Achievements and Challenges. Invited talk, Microsoft Research Asia, Beijing, China, August 2010.
- Automated Software Testing: Achievements and Challenges. Invited talk, Huawei Technologies Co., Ltd., Shenzhen, China, July 2010.
- Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Wuhan University, Wuhan, China, July 2010.
- Automated Developer Testing: Achievements
and Challenges. Invited talk, Department of Computer Science, Columbia University, NY, March 2010.
- Automated Developer Testing: Achievements and Challenges. Keynote talk, the 2nd CREST Open Workshop Software Testing (COW), CREST Centre, King's College London , December 2009.
- Automated Developer Testing: Achievements
and Challenges.
Invited talk, Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA, October 2009.
- Automated Developer Testing: Achievements
and Challenges.
Invited talk, Department
of Computer and Information Science, Indiana University/Purdue
University at Indianapolis, Indianapolis, IN, October 2009.
SUBJECTS
SPONSORS
 National Science Foundation Awards CCF-1434590 (07/01/2013-08/31/2015), CCF-0915400 (09/01/2009-03/31/2014)
|
