Ada source code analysis for automatic test case generation

Abstract

Summary form only given, as follows. A multipurpose semantic analyzer front-end for Ada has been developed to meet a variety of Ada source code analysis needs. One of those needs is the automatic generation of glass-box test cases. Glass-box test case generation requires control and data flow information in conjunction with semantic information on subprogram interfaces and local declarations. Control flow analysis will be needed to address statement and path coverage issues. Data flow analysis can be used to force execution through potentially anomalous paths. Semantic analysis provides prerequisite information for generating acceptable test cases in these cases, as well as for boundary condition testing. The author presents a design of a back-end for the multipurpose front-end which will compute control and data flow information required for automatic test case generation.<>