Title :
Ada source code analysis for automatic test case generation
Author :
Santhanam, Viswa
Author_Institution :
Boeing Defense & Space Group, Wichita, KS, USA
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.<>
Keywords :
Ada; automatic testing; program testing; Ada source code analysis; aerospace; anomalous paths; automatic generation; automatic test case generation; back-end; boundary condition testing; control; data flow information; defense; glass-box test cases; local declarations; multipurpose front-end; path coverage; semantic analyzer front-end; subprogram interfaces; Automatic control; Automatic generation control; Automatic testing; Computer aided software engineering; Data analysis;
Conference_Titel :
AUTOTESTCON '92. IEEE Systems Readiness Technology Conference, Conference Record
Conference_Location :
Dayton, OH, USA
Print_ISBN :
0-7803-0643-0
DOI :
10.1109/AUTEST.1992.270094
