The development of a modula-2 validation suite

Abstract

The Modula-2 Validation Suite (M2VS) is a collection of test programs and related tools that support formal testing of Modula-2 implementations. This paper describes the history of the M2VS, the organization of the M2VS, and plans for future development of the M2VS. A notab'c feature of the suite is the execution monitor, which sup­ ports automated testing and cross-compiler testing.