A practical algorithm for exact array dependence analysis
Communications of the ACM
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Using a goal-driven approach to generate test cases for GUIs
Proceedings of the 21st international conference on Software engineering
Generating test data from SOFL specifications
Journal of Systems and Software
An axiomatic basis for computer programming
Communications of the ACM
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
An empirical study of regression test selection techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Implementation of an array bound checker
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automating Specification-Based Software Testing
Automating Specification-Based Software Testing
Software Testing Techniques
The Science of Programming
Automating Formal Specification-Based Testing
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Heuristic Search with Reachability Tests for Automated Generation of Test Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
Tool support for randomized unit testing
Proceedings of the 1st international workshop on Random testing
Nighthawk: a two-level genetic-random unit test data generator
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Test suite cooperative framework on software quality
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
| Hi-index | 0.00 |
Most research on automated specification-based softwaretesting has focused on the automated generation oftest cases. Before a software system can be tested, it must beset up according to the input requirements of the test cases.This setup process is usually performed manually, especiallywhen testing complex data structures and databases.After the system is properly set up, a test execution tool runsthe system according to the test cases and pre-recorded testscripts to obtain the outputs, which are evaluated by a testevaluation tool.This paper complements the current research on automatedspecification-based testing by proposing a schemethat combines the setup process, test execution, and test validationinto a single test program for testing the behavior ofobject-oriented classes. The test program can be generatedautomatically given the the desired test cases and closedspecifications of the classes. With closed specifications, everyclass method is defined in terms of other methods whichare, in turn, defined in their own class specifications. Thecore of the test program generator is a partial-order plannerwhich plans the sequence of instructions required in thetest program. The planner is, in turn, implemented as a tree-searchalgorithm. It makes function calls to the Omega Calculatorlibrary, which solves the constraints given in thetest cases. A first-cut implementation of the planner hasbeen completed, which is able to handle simple arithmeticsand existential quantifications in the class specifications. Asoundness and completeness proof sketch of the planner isalso provided in this paper.