Validation of Software

New numeric software has to convince users that it works properly. It is difficult to guarantee this for every problem you might think of, but some tests of basic tasks are possible. Such a testing (called validation hereafter) is described in the following sections.

TTBOX has been validated against the IASP91 travel times for phases P, S, PKIKP (a.k.a. PKPdf) and SKIKS (a.k.a. SKSdf) as published by Kennett (1991). To make the validation procedure fully transparent, the used routine MKTTBOXVALID and the reference tables used are included in the TTBOX distribution.

In an additional test, the output of two other software packages has been compared with the same reference data. These are the FORTRAN program onset by Johannes Schweitzer which is based on the libtau-library by R. Buland (Buland & Chapman, 1983) and the Java-written TauP Toolkit by Crotwell et al. (1999) which can be accessed via web for example at http://www.le.ac.uk/gl/pdt/teaching/java/TauP/taup.html.


eof.