Browse Prior Art Database

Macro Generated Test Cases for Compilers

IP.com Disclosure Number: IPCOM000079325D
Original Publication Date: 1973-Jun-01
Included in the Prior Art Database: 2005-Feb-26
Document File: 2 page(s) / 27K

Publishing Venue

IBM

Related People

Healey, MJ: AUTHOR

Abstract

Test cases for compilers are macro generated by accumulatively using process and data errors discovered during compiler development.

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 89% of the total text.

Page 1 of 2

Macro Generated Test Cases for Compilers

Test cases for compilers are macro generated by accumulatively using process and data errors discovered during compiler development.

A majority of errors result from a compiler's inability to cope with particular combinations of processes and data types. For example, Process A Data type X might find that 2 and 2 cannot be added together. Process B Data type Y might find that a DEFINED structure containing VARYING bit strings cannot be passed as an argument. If these two errors are detected, the following procedure for macro-generated test cases generates a test case which will detect an error if a 2 (Data type X) cannot be passed as an argument (Process B).

Each error can be analyzed into a process component and a data component. If N errors are found in random testing of a compiler then N/2/ new test cases can be generated, each one of which contains the essential components of two known errors.

These N/2/ new test cases will be testing known problem areas and the weaker an area has shown itself to be in testing, the greater the number of new tests generated dealing with that area.

Tests are generated by an open-ended macro definition and a correspondingly open-ended set of macro calls. When an error is found, its process component is added to the macro definition, and its data component becomes the argument to a new macro call. The argument is thus subjected to all the processes already defined within the macro body, and...