A hierarchic interface specification is an enabler for testing an implementation using more abstract system-style tests rather than a traditional "set-input, clock-unit, check-output" style of testing. The interface will automatically generate low level control and data flow from high level information, and conversely construct high level information from low level.

This style of testing brings with it a number of benefits:

• Quicker writing of tests.
• Test re-use at varying levels of implementation.
• Greater variance of testing which is more likely to find obscure faults.

With our experience of interface specification and test harness writing we are able to offer extensive consultation in this field.