Burger

Program development to be tracked

The test suite can be used for checking whether source code changes, i.e. performance improvements, are producing identical or equal results when compared to the unchanged production code. For each change, the changed source code is copied to a test suite directory and compiled there. With the compiled executables, predefined model cases are run and the results are compared to a reference (Figure 1). If the results are identical, the next development step can be tackled. If they are equal, the reliability has to be checked by hand. Otherwise, the introduced changes need to be re-iterated since they are most probably erroneous and then checked again.
[Alexander Voigt]

WINTER checking program result

Figure 1: Semi-automated checking of program result identity or equality.