Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...

8.7. Verification
Since C++ does not provide an implicit unit testing mechanism, the tests must be implemented
manually or with the support of a unit testing framework. CppUnit [16] is a platform
independent framework for creating test suites based on unit tests, which perfectly matches the
requirements of the openETCS domain framework. In contrast to complete self implementation
of unit tests, CppUnit already provides mechanisms for the test development and the collection
and output of test results.
8.7.1. Unit Testing Design
The CppUnit framework defines at its highest level so-called test suites, which are classes.
Those test suites combine different (unit) test cases, which are methods of the test suite classes.
In these test methods, assertions [79, 16] can be defined as Boolean expressions, which all
must evaluate to true if the test method is executed successfully. The complete unit testing
application or rather V&V test suite combines and executes all suites respectively all test
methods. Since all classes of the domain framework (in name space ::oETCS::DF) are tested,
Figure 8.24 shows only a subset of the complete relations of the unit testing design.
Figure 8.24.: UML class diagram of the basic openETCS domain framework unit testing
elements
157