The thesis presents the overall activities involved in model based development of a test harness for a control software. This is illustrated by a case study on the Alpha Shipmate control software for an Electronic Control Unit of a Marine Diesel Engine.
The development of the test harness includes study and use of Object Oriented Analysis and a Model Based Design Approach. The development uses UML as supported by the Rhapsody tool. We also employ some design patterns at the design phase.
The test harness supports executing test scripts using Testing and Test Control Notation version 3 (TTCN-3). It has a Java GUI which is interfaced with engine control functions through Java Native Interfaces (JNI).