An AGENDA for testing relational database applications

Software Testing Verification and Reliability

Volumn 14, Issue 1, 2004, Pages 17-44

  Chays, David ^a   Deng, Yuetang ^b   Frankl, Phyllis G ^b   Dan, Saikat ^b   Vokolos, Filippos I ^c   Weyuker, Elaine J ^d  

^a ADELPHI UNIVERSITY   (United States)

^b POLYTECHNIC UNIVERSITY   (United States)

^c Drexel University   (United States)

^d AT AND T LABS RESEARCH   (United States)

Author keywords

Database; Software testing; Test data

Indexed keywords

CONSTRAINT THEORY; RELATIONAL DATABASE SYSTEMS; SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

SOFTWARE TESTING; TEST DATA;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 1842453058     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.286     Document Type: Article

References (32)

1. Elmasri R, Navathe SB. Fundamentals of Database Systems (3rd edn). Addison-Wesley: Boston, MA, 2000.
2. Chays D, Dan S, Frankl PG, Weyuker EJ. A framework for testing database applications. Proceedings of the 2000 International Symposium on Software Testing and Analysis, August 2000. ACM Press: Boston, MA, 2000; 147-157.
3. Date CJ, Darwen H. A Guide to the SQL Standard. Addison-Wesley: New York, 1997.
4. Garcia-Molina H, Ullman JD, Widom J. Database System Implementation. Prentice-Hall: Englewood Cliffs, NJ, 2000.
5. Ostrand TJ, Balcer M.J. The category-partition method for specifying and generating functional tests. Communications of the ACM 1988; 31(6):676-686.
6. Stonebraker MR, Rowe LA. The design of postgres. Proceedings of the ACM-SIGMOD International Conference on the Management of Data, June 1986. ACM Press: New York, 1986; 340-355.
7. PostgreSQL Global Development Group. PostgreSQL. http://www.postgresql.org [1999].
8. White LJ, Cohen EI. A domain strategy for computer program testing. IEEE Transactions on Software Engineering 1980; 6(3):247-257.
9. Chays D, Deng Y, Frankl PG, Dan S, Vokolos FI, Weyuker EJ. AGENDA: A test generator for database applications. Technical Report TR-CIS-2002-04, Department of Computer Science, Polytechnic University, Brooklyn, New York, 2002.
10. Chays D. Test data generation for relational database applications. PhD Thesis, Department of Computer Science, Polytechnica University, Brooklyn, New York, 2003.
11. Lewis PM, Bernstein A, Kifer M. Databases and Transaction Processing: An Application-Oriented Approach. Addison-Wesley: Boston, MA, 2002.
12. Deng Y, Frankl P.G, Chays D. Testing database transaction consistency. Technical Report, Department of Computer Science, Polytechnic University, Brooklyn, New York, 2003.
13. Deng Y, Frankl PG, Chen Z. Testing database transaction concurrency. Proceedings of the 18th IEEE International Conference on Automated Software Engineering. IEEE Computer Society Press: Los Alamitos, CA, 2003; 184-193.
14. Chays D, Deng Y. Demonstration of AGENDA tool set for testing relational database applications. Proceedings of the 25th International Conference on Software Engineering. IEEE Computer Society Press: Los Alamitos, CA, 2003; 802-803.
15. Davies RA, Beynon RJA, Jones BF. Automating the testing of databases. Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, Limerick, Ireland, June 2000. IEEE Computer Society, 2000.
16. Tsai WT, Volovik D, Keefe TF. Automated test case generation for programs specified by relational algebra queries. IEEE Transactions on Software Engineering 1990; 16(3):316-324.
17. Bourne KC. Testing Client/Server Systems. McGraw-Hill: New York, 1997.
18. DeMillo RA, Offut AJ. Experimental results from an automatic test case generator. ACM Transactions on Software Engineering and Methodology 1993; 2(2):109-127.
19. Korel B. Automated software test generation. IEEE Transactions on Software Engineering 1990; 16(8):870-879.
20. Gotlieb A. Botella B, Rueher M. Automatic test data generation using constraint solving techniques. Proceedings of the 1998 International Symposium on Software Testing and Analysis, March 1998. ACM Press: New York; 1998; 53-62.
21. Gupta N, Mathur A, Soffa ML. Automated test data generation using an iterative relaxation method. Proceedings of the Conference on Foundations of Software Engineering, November 1998. ACM Press: New York, 1998; 231-244.
22. Chan MY, Cheung SC. Testing database applications with SQL semantics. Proceedings of the 2nd International Symposium on Cooperative Database Systems for Advanced Applications, March 1999. Springer: New York, 1999; 363-374.
23. Zhang J, Xu C, Cheung SC. Automatic generation of database instances for white-box testing. Proceedings of the 25th Annual International Computer Software and Applications Conference, October 2001. IEEE Computer Society Press: Los Alaminos, CA, 2001; 161-165.
24. Weyuker EJ, Goradia T, Singh A. Automatically generating test data from a Boolean specification. IEEE Transactions on Software Engineering 20(5):353-363.
25. Dalal SR, Jain A, Karunanithi N, Leaton JM, Lott CM, Patton GC. Model-based testing in practice. Proceedings of the 21st International Conference on Software Engineering. ACM Press: New York, 1999; 285-294.
26. Transaction Processing Performance Council. TPC-Benchmark C. http://www.tpc.org [1998].
27. Carey MJ, DeWitt DJ, Naughton JF. The 007 benchmark. Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, May 1993. ACM Press: New York, 1993; 12-21.
28. Slutz D. Massive stochastic testing of SQL. Proceedings of the Conference on Very Large Databases, August 1998. Morgan Kaufmann: San Francisco, 1998; 618-622.
29. Gray J, Sundaresan P, Englert S, Baclawski K, Weinberger PJ. Quickly generating billion-record synthetic databases. SIGMOD Record (ACM Special Interest Group on Management of Data) 1994; 23(2):243-252.
30. Lyons NR. An automatic data generating system for data base simulation and testing. Database 1977; 8(4): 10-13.
31. DB-Fill. http://www.bossi.com/dbfill [June 2002].
32. Data Factory. http://www.quest.com/datafactory [June 2002].