Ada Symbolic Testing Techniques.
Abstract
This report presents our findings during our one year investigation into issues concerned with Ada symbolic testing techniques. During the year we focused on two major areas. The first is concerned with evaluating and developing advanced testing techniques to utilize and complement the symbolic information provided by symbolic evaluation. In particular, we have been developing a common underlying model to represent the various path selection and test data selection techniques and then have been using that model to evaluate the effectiveness of these different techniques. We have also explored new techniques for exploiting the higher levels of abstraction available in Ada programs. The second area of our work has been concerned with investigating design issues in developing an Ada symbolic testing system. We have been particularly concerned with a design that will facilitate the integration of a variety of advanced testing tools.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1986
- Accession Number
- ADA176197
Entities
People
- Debra J. Richardson
- Lori A. Clarke
- Steven J. Zeil
Organizations
- University of Massachusetts Amherst