Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Quickly generating billion-record synthetic databases
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Analysis and testing of Web applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Massive Stochastic Testing of SQL
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
An Object-Oriented Architecture Supporting Web Application Testing
COMPSAC '99 23rd International Computer Software and Applications Conference
An Object-Oriented Web Test Model for Testing Web Applications
COMPSAC '00 24th International Computer Software and Applications Conference
A Web Database Application Model for Software Maintenance
ISADS '99 Proceedings of the The Fourth International Symposium on Autonomous Decentralized Systems
Structural Testing of Web Applications
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
A family of test adequacy criteria for database-driven applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Bypass Testing of Web Applications
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Leveraging User-Session Data to Support Web Application Testing
IEEE Transactions on Software Engineering
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
An intensional approach to the specification of test cases for database applications
Proceedings of the 28th international conference on Software engineering
Improving test case generation for web applications using automated interface discovery
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Applying Concept Analysis to User-Session-Based Testing of Web Applications
IEEE Transactions on Software Engineering
Automated Oracle Comparators for TestingWeb Applications
ISSRE '07 Proceedings of the The 18th IEEE International Symposium on Software Reliability
Prioritizing User-Session-Based Test Cases for Web Applications Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Automated Session Data Repair for Web Application Regression Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
An automated framework for software test oracle
Information and Software Technology
Artificial neural networks as multi-networks automated test oracle
Automated Software Engineering
Hi-index | 0.00 |
Many organizations rely on web applications that use back-end databases to store important data. Testing such applications requires significant effort. Manual testing alone is often impractical, so testers also rely on automated testing techniques. However, current automated testing techniques may produce false positives (or false negatives) even in a perfectly working system because the outcome of a test case depends on the state of the database which changes over time as data is inserted and deleted. The Automatic Database Tester (AutoDBT) generates functional test cases that account for database updates. AutoDBT takes as input a model of the application and a set of testing criteria. The model consists of a state transition diagram that shows how users navigate pages, a data specification that captures how data flows, and an update specification that shows how the database is updated. AutoDBT generates guard queries to determine whether the database is in a state conducive to performing and evaluating tests. AutoDBT also generates partial oracles to help validate whether a back-end database is updated correctly during testing. This paper describes the design of AutoDBT, a prototype implementation, several experiments with the prototype, and four case studies.