Test Case Generation as an AI Planning Problem

Automated Software Engineering

Volumn 4, Issue 1, 1997, Pages 77-106

  Howe, Adele E ^a   Von Mayrhauser, Anneliese ^a   Mraz, Richard T ^b  

^a Integrative Neuroscience Program   (United States)

^b UNITED STATES AIR FORCE ACADEMY   (United States)

Author keywords

AI planning; Blackbox testing; System testing

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATIC TESTING; COMPUTER PROGRAMMING LANGUAGES; PLANNING; SYSTEMS ANALYSIS;

AUTOMATED TEST CASE GENERATOR; SYSTEM TEST;

SOFTWARE ENGINEERING;

EID: 0030832942     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008607721339     Document Type: Article

References (42)

1. Charles Anderson, Anneliese von Mayrhauser, and Rick Mraz. "On the Use of Neural Networks to Guide Software Testing Activities", Procs. International Test Conference, Oct. 1995, Washington, DC.
2. John S. Anderson. Automating Requirements Engineering Using Artificial Intelligence Techniques. PhD thesis, Dept. of Computer and Information Science, University of Oregon, Dec. 1993.
3. Anthony Barrett, Keith Golden, Scott Penberthy, and Daniel Weld. UCPOP User's Manual. Dept of Computer Science and Engineering, University of Washington, Seattle, WA, October 1993. TR 93-09-06.
4. J. Bauer and A. Finger. "Test Plan Generation Using Formal Grammars", Procs. Fourth International Conference on Software Engineering, 1979, pp. 425-432.
5. Franco Bazzichi and Ippolito Spadafora. "An Automatic Generator for Compiler Testing," IEEE Transactions on Software Engineering, 1982:8(4), pp.343-353.
6. Ted J. Biggerstaff and Alan J. Perils. Software Reusability: Volume I, Concepts and Models, ACM Press, Fronier Series, 1989.
7. Grady Booch, Object Oriented Design with Applications, "Benjamin/Cummings", 1991.
8. A. Celentano, S. Crespi Reghizzi, P. Della Vigna, C. Ghezzi, G. Gramata and F. Savoretti. "Compiler Testing using a Sentence Generator," Software-Practice and Experience, 1980:10, pp.987-918.
9. John J. Chilenski and Philip H. Newcomb. "Formal Specification Tools for Test Coverage Analysis", Procs. Ninth Knowledge-Based Software Engineering Conference, September 1994, Monterey, CA, pp. 59-68.
10. Paul R. Cohen and Edward A. Feigenbaum. Handbook of Artificial Intelligence, volume 3, chapter Planning and Problem Solving, pages 513-562. William Kaufmann, Inc., Los Angeles, 1982.
11. A.G. Duncan and J.S. Hutchison, "Using Attributed Grammars to Test Designs and Implementations," Proceedings of the Fifth International Conference on Software Engineering, 1981, pp. 170-177.
12. Tsum S. Chow. "Testing Software Design Modeled by Finite State Machines," Proceedings of the First COMPSAC, 1977, pp. 58-64.
13. W. Deason, D. Brown, K.-H. Chang, and J. Cross. "Rule-Based Software Test Data Generator", IEEE Transactions on Knowledge and Data Engineering, 3(1), March 1991, pp. 108-117.
14. Stephen Fickas and John Anderson. A proposed perspective shift: Viewing specification design as a planning problem. Department of Computer and Information Science CIS-TR-88-15, University of Oregon, Eugene, OR, November 1988.
15. Stephen Fickas and B. Robert Helm. "Knowledge Representation and Reasoning in the Design of Composite Systems", IEEE Transactions on Software Engineering, SE-18(6), June 1992, pp. 470-482.
16. Tom Figliulo, Anneliese von Mayrhauser, and Richard Karcich. "Experiences with Automated System Testing and SLEUTH", Procs. IEEE Aerospace Applications Conference 1996, February 1996.
17. S. Fujiwara, G. von Bochman, F. Khendek, M. Amalou, and A. Ghedamsi. "Test Selection Based on Finite State Models", IEEE Transactions on Software Engineering SE-17, no. 10(June 1991), pp. 591-603.
18. J. B. Goodenough and S. L. Gerhart. "Toward a Theory of Test Data Selection", IEEE Transactions on Software Engineering, SE-1(2), June 1975, pp. 156-173.
19. Dick Hamlet and Ross Taylor. "Partition Testing Does not inspire Confidence", IEEE Transactions on Software Engineering, SE-16(12), Dec. 1990, pp. 1402-1411.
20. James W. Hooper and Rowena O. Chester. Software Reuse: Guidelines and Methods, Plenum Publishers, 1991.
21. Karen Huff and Victor Lesser. A plan-based intelligent assistant that supports the software development process. In ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Nov. 1988.
22. Karen Huff. Software adaptation. In Working Notes of AAAI-92 Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse, pages 63-66, Stanford University, March 1992.
23. D. C. Ince. "The Automatic Generation of Test Data", Computer Journal, vol.30(1), 1987, pp. 63-69.
24. P. Maurer. "Generating Test Data with Enhanced Context-Free Grammars", IEEE Software, July 1990, pp. 50-55.
25. Glenford J. Myers. The Art of Software Testing, Wiley Series in Business Data Processing. John Wiley and Sons, 1979.
26. Thomas J. Ostrand and Marc J. Balcer. "The Category-Partition Method for Specifying and Generating Functional Tests", Communications of the ACM, 31(6), June 1988, pp. 676-686.
27. J.S. Penberthy and D. Weld. "UCPOP: A sound, complete, partial order planner for ADL", In Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, October 1992, pp. 103-114.
28. P. Purdom. "A Sentence Generator for Testing Parsers", BIT, 12(3), 1972, pp. 366-375.
29. Debra J. Richardson, Owen O'Malley, and Cindy Tittle. "Approaches to Specification-Based Testing", Procs. ACM Third Symposium on Software Testing, Analysis, and Verification (TAV3), December 1993, pp. 86-96.
30. Robert S. Rist. Plan Identification and Re-use in Programs. In Working Notes of AAAI-92 Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse, pages 67-72, Stanford University, March 1992.
31. Kenneth S. Rubin and Adele Goldberg. "Object Behavior Analysis," Communications of the ACM, 35(9), September 1992, pp. 48-62.
32. Raghavan Srinivasan and Adele E. Howe. Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 1620-1626, Montreal, Canada, August 1995.
33. StorageTek, StorageTek 4400 Operator's Guide, Host Software Component (VM) Rel 1.2.0, StorageTek, 1992.
34. Gerald A. Sussman. A computational model of skill acquisition. Technical Report Memo no. AI-TR-297, MIT AI Lab, 1973.
35. Markos Z. Tsoulakas, Joe W. Duran, and Simeon C. Ntafos. "On Some Reliability Estimation Problems in Random and Partition Testing", IEEE Transactions on Software Engineering, 19(7), July 1993, pp. 687-697.
36. Anneliese von Mayrhauser and Steward Crawford-Hines, "Automated Testing Support for a Robot Tape Library," Proceedings of the Fourth International Software Reliability Engineering Conference, November 1993, pp. 6-14.
37. Anneliese von Mayrhauser, Richard T. Mraz, and Jeff Walls. "Domain Based Regression Testing," Proceedings of the International Conference on Software Maintenance, Sept 1994, p. 26-35.
38. Anneliese von Mayrhauser, Richard Mraz, Jeff Walls, and Pete Ocken. "Domain Based Testing: Increasing Test Case Reuse," Proc. of the International Conference on Computer Design, October 1994, p. 484-491.
39. Anneliese von Mayrhauser, Jeff Walls, and Richard Mraz, "Testing Applications Using Domain Based Testing and Sleuth" Proceedings of the Fifth International Software Reliability Engineering Conference, November 1994, p. 206-215.
40. Anneliese von Mayrhauser, Jeff Walls, and Richard Mraz. "Sleuth: A Domain Based Testing Tool," Proc. of the International Test Conference, October 1994, p. 840-849.
41. Elaine J. Weyuker and Bingchiang Jeng. "Analyzing Partition Testing Strategies", IEEE Transactions on Software Engineering, 17(7), July 1991, pp. 703-711.
42. Steven J. Zeil and Christian Wild. "A Knowledge Base for Software Test Refinement", Technical Report TR-93-14, Old Dominion University, Norfolk, VA.