SuperTest is the most comprehensive test and validation suite for compilers. Based upon 35+ years of our experience in compiler construction and validation, SuperTest provides a unique level of compiler test coverage and will find difficult problem cases in any compiler.
SuperTest starts where other suites end.
You, as a compiler vendor and/or user are responsible to produce or use quality compilers that are able to face the outside world. As a software engineer, you know how much you trust on the correctness of the compiler. Each and every line of code you write needs to be translated correctly, or you will never get your own software to work.
Any application engineer takes the robustness of his compiler tools for granted, yet expects ever increasing performance from it. Compilers are complex products, translating applications into machine code and require extensive testing for language conformance, correctness and quality. With its millions of tests, SuperTest assists both compiler developers to validate their compiler and compiler users to check the provided compilers before use.
The core of SuperTest is a large collection of self-testing programs, which can roughly be partitioned into a number of classes:
The suite is organized in a directory tree of test files, each file contains a couple of runtime tests. The directory structure follows the chapters and paragraphs of the appropriate language standard. Subsets of the full suite can be hierarchically defined using single test files, suite subdirectories and explicitly listed sets as primitives.
The main tool is valid, a driver program which will interpret the test set definition and other test run parameters. Its feeds the test through the compiler ad optionally running the resulting programs. At essential points user-configurable scripts are used, e.g. to define the command line interface to the compiler and to run the resulting test program. These script plug-ins allow for essential flexibility like running cross validations, remote execution, simulated execution and statistics gathering. The driver program allows for multi-threaded and remote execution to optimally employ multi processor machines.
Additional tools are:
Full Expert support
If you are interested in more details about using SuperTest for testing the quality and robustness of the compilers that you use or develop, then do not hesitate to contact us or fill out the web-request form.
Copyright © 1998-2013
Computer Experts bv
Compiler Experts bv
ACE Consulting bv
All rights reserved.