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. >
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
