2

2.10 THE FILECHECKER Z88V

This program investigates the Z88 input files Z88I1.TXT, Z88I2.TXT, (both for the FE processor Z88F), Z88I3.TXT (header file for the stress processor Z88D), Z88I4.TXT (header file for the iteration solver Z88I1/Z88I2) as well as the net generator input file Z88NI.TXT (for the net generator Z88N) for typing mistakes and logical faults. Cross-checks are executed, i. e. Z88I2.TXTund Z88I3.TXT are only examined after Z88I1.TXT has been checked properly.

(Windows Z88V. On UNIX, Z88V will run in text mode)

Although Z88V recognizes many conceivable fault possibilities and is internally quite tricky, situations like with compilers may occur where faults are not detected or seem to be recognized on other passages. Z88V distinguishes between warnings and errors. At warnings Z88V continues directly or asks for continuing. Z88V stops when detecting the first error because otherwise resulting sequence errors are usually generated from this. Therefore, a recognized error must be fixed right now.

An error-free input file recognized from Z88V can nevertheless lead to subtle faults at the later program run. However, the probability is low to some extent. This statement refers to formal errors: Z88V neither recognizes inconsistent structures, nor wrong or too few boundary conditions !

Note:

Always check FE calculations with analytical rough calculations, results of experiments, plausibility considerations and other checks without exception !