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 !