The category-partition method for specifying and generating fuctional tests
Communications of the ACM
A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Automating requirements engineering using artificial intelligence planning techniques
Automating requirements engineering using artificial intelligence planning techniques
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Toward automatic generation of novice user test scripts
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
Automated test oracles for GUIs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Generating Test Data with Enhanced Context-Free Grammars
IEEE Software
On some reliability estimation problems in random and partition testing
IEEE Transactions on Software Engineering
Exploiting Competitive Planner Performance
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Scalability issues with using FSMWeb to test web applications
Information and Software Technology
Proceedings of the 5th Workshop on Automation of Software Test
Hi-index | 0.00 |
This paper describes an AI planner assisted approach to generate test cases for system testing based on high level test objectives. We use four levels of test generation: the metaprocessor, the preprocessor, the AI planner, and the postprocessor levels. Test generation is based on an extended UML model of the system under test and a mapping of high-level test objectives into initial and goal conditions of the planner. Test objectives are derived from a series of interviews with professional testers. We suggest various options for test criteria related to test objectives. The AI planner was used to generate hundreds of test cases for a robot controlled tape silo. The planner generated tests within a reasonable time. It was successful for each test objective given.