Testing

This pages describes the Overture test framework and how to use to write new tests and work with existing ones. The framework is located in core/testing/framework. The code is reasonably documented so take a look. Sample tests are also available at core/testing/samples

Rest TBD

Framework Overview

• All tests meant to be parameterised (test w/ multiple sources as inputs).
• Standard workflow for all tests.
• 3 versions: Standard, FineGrain and Externals
• Some utility stuff (ParseTfFacade, etc.)

Working with existing tests

• how to add new inputs for existing tests;
• how to use external input files when testing (via property)
• how to inspect test failures and update results.

Writing new tests

• how to write a new test;
• how to write tests that use the external inputs;