Improvement on Solving the Constraint System in Automated Test Data Generation for Database Stored Procedure Testing

Stored procedure has occurred independently in database application systems. How to test the stored procedure effectively becomes an urgent problem in automated testing. Test data generation is a vital part in automated test of stored procedure. However, the current approaches of test data generation for stored procedure needs manual intervention and the solution of the constraint system which limits test data can not effectively cover all the situations. Existing approaches can not solve constraint system with character string and strict inequality. This paper improved the approach to generate test data, perfected existing approach to solve constraint system and reduced the limitation on solving the constraint system.

[1]  Jian Zhang,et al.  A Test Data Generation Tool for Unit Testing of C Programs , 2006, 2006 Sixth International Conference on Quality Software (QSIC'06).

[2]  Heng Wang,et al.  An Approach of Automated Test Cases Generation in Database Stored Procedure Testing , 2010, 2010 Second International Workshop on Education Technology and Computer Science.

[3]  Carsten Binnig,et al.  Multi-RQP: generating test databases for the functional testing of OLTP applications , 2008, DBTest '08.

[4]  Jian Zhang,et al.  A Constraint Solver and Its Application to Path Feasibility Analysis , 2001, Int. J. Softw. Eng. Knowl. Eng..

[5]  Han Cong-ying.  Automatic Generation of Basis Path Set in Path Test , 2007 .

[6]  Koushik Sen,et al.  CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools , 2006, CAV.

[7]  Jian Zhang,et al.  Path-oriented test data generation using symbolic execution and constraint solving techniques , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[8]  Koushik Sen,et al.  CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.

[9]  Carsten Binnig,et al.  Reverse Query Processing , 2007, 2007 IEEE 23rd International Conference on Data Engineering.

[10]  Nikolai Tillmann,et al.  Pex-White Box Test Generation for .NET , 2008, TAP.