An Examination of Selected Commercial Software Testing Tools
INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
Pagination or Media Count:
This paper reports on the examination of ten commercial tools identified for the static and dynamic analysis of Ada code. It provides software development managers with information that may help them gain an understanding of the types of tools that are commercially available, the functionality of these tools, and how they can aid the development of Ada software. During the course of the assessment, the tools were applied to a series of Ada programs in order to assess their functionality. Each tool was then described in terms of its functionality, ease of use, and documentation and support. Problems encountered during the examination and other pertinent observations were also recorded. Significant findings from this study include the following 1 some of the examined tools could be brought into immediate use to improve the cost-effectiveness of testing for SDI software development efforts, 2 the coverage analyzers provide reporting data that can support the management of SDI testing efforts, and 3 many of the tools can be used in conjunction to overcome the limitations of particular tools.
- Computer Programming and Software