This directory contains the testplans used against tcas.  Many of the
files here are from the original C version of tcas and are merely
copied forward to this C# implementation.  

The fault-matrix in the info directory was created using the tcas.universe.tsl
file contained here.  That file was made from the universe file contained
here only modified to allow using the 'mts' and 'monomts' tools on it to
make the runall.sh and runall-diff.sh scripts in the scripts directory.

All test suites from the original Siemens tcas are provided but none have
been used as a basis for a fault matrix.  Refer to the original paper
by the Siemens research group (Ostrand et al.) for more information on
these test suites.

files in this directory:

README - this file
bigducov.tar.gz - a big def-use coverage test suite from orig tcas
ducov.tar.gz - a def-use coverage test suite from orig tcas
niducov.tar.gz - another def-use coverage test suite from orig tcas
tcas.universe.tsl - A 'mts' tool compatible universe file based on the
                    original universe file (from orig tcas).  Although
                    this file is really not a TSL, it presents the
                    tests in the universe file in a more usable format.
testplans-bigcov.tar.gz - test suite for big coverage from orig tcas
testplans-bigrand.tar.gz - big randomized test suite from orig tcas
testplans-cov-extended.tar.gz - orig big extended coverage test suite
testplans-cov.tar.gz - orig general coverage test suite
testplans-ducov-extended.tar.gz - orig D-U coverage extended test suite
testplans-rand-covsize.tar.gz - orig random coverage test suite
testplans-rand.tar.gz - orig random test suite
testplans-stmt.tar.gz - orig statement coverage test suite
testplans.minstmt.tar.gz - minimum statement coverage test suite
universe - the original test universe for tcas
