orville@weyrich.UUCP (Orville R. Weyrich) (06/08/91)
I am trying to compile an up-to-date bibliography of software tools for supporting software testing. Although I am interested in all aspects of the subject, I am particularly interested in tools that assist in test-case generation. I am interested in both commercial products and research projects. I am particularly interested in methods for solving path predicates, especially those containing non-linear expressions and character strings. I am aware of the following references and their transitive closure: Beizer. "Software Testing Techniques, 2nd Edition." New York: Van Nostrand Reinhold (1990). DeMillo, McCracken, Martin, and Passafiume. "Software Testing and Evaluation." Menlo Park, CA: Benjamin/Cummings (1987). Dunn. "Software Defect Removal." New York: McGraw Hill (1984). Beizer. "Software System Testing and Quality Assurance." New York: Van Nostrand Reinhold (1984). Woods. "Path Selection for Symbolic Execution Systems." Ann Arbor, MI: UMI Research Press (1982). Chandrasekaran and Radicchi. "Computer Program Testing." New York: North Holland (1981). Miller and Howden. "Tutorial: Software Testing and Validation Techniques, Second Edition." IEEE Computer Society Press (1981). Myers. "Software Reliability: Principles and Practices." New York: John Wiley & Sons (1976). In addition, I have several conference proceedings published on the subject: "An Environment for Testing Ada Programs Implemented in Ada." Orville R. Weyrich, Jr. In Proceedings of the Eighth Annual National Conference on Ada Technology, Atlanta, GA, March 5-8, 1990, pages 262-268. "Glass Box Testing Without Explicit Path Predicate Formation." Orville R. Weyrich, Jr., Sandra L. Cepeda, and David B. Brown. 26th Annual Conference, Southeast Region, Association for Computing Machinery, April 21-22, 1988, Mobile, AL, pages 596-601. "The Use of Simulation and Prototypes in Software Testing." Orville R. Weyrich, Jr., David B. Brown, and John A. Miller. Society for Computer Simulation, 1987. Proceedings of the 1988 Eastern Simulation Conferences, Tools for the Simulation Profession, Robert Hawkins and Roy Crosbie, Editors, Orlando, FL, April 18-21, 1988, pages 5-10. "QUEST: Query Utility Environment for Software Testing." David B. Brown, Kevin D. Haga, and Orville R. Weyrich, Jr. Proceedings, 1986 International Test and Evaluation Association Symposium, Challenges of Testing Space Systems, September 30 - October 2, Huntsville, AL, pages 38-43. Please reply via e-mail, and I will post a summary. Please note the followup-To line. Thanks, Orville. -------------------------------------- ****************************** Orville R. Weyrich, Jr., Ph.D. Certified Systems Professional Internet: uunet.uu.net!weyrich!orville Weyrich Computer Consulting Voice: (602) 391-0821 POB 5782, Scottsdale, AZ 85261 Fax: (602) 391-0023 (Yes! I'm available) -------------------------------------- ******************************