A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD

In this thesis we develop a new automatic method to test algorithm's numerical stability. The new method is a combination of two stability testing methods introduced by Higham and Kahan, and takes advantage of the both method. We first generate an objective function which can reveal algorithm's stability, then locate the maximum value of the objective function by an optimization method. This method can automatically detect the unstable points and reveal algorithms instability. To make our method suitable for general problems, we generate the objective function by measuring the difference of the test program's results computed in different rounding modes. We choose a search method suitable for our objective function. To improve the accuracy of our method, the final result is obtained by combining the results from multiple searches. F\lTthermore, we propose three measurements to measure algorithm's stability. Practical examples are used to test the performance of our method.

[1]  T. Rowan Functional stability analysis of numerical algorithms , 1990 .

[2]  John A. Nelder,et al.  A Simplex Method for Function Minimization , 1965, Comput. J..

[3]  V. J. Torczoit,et al.  Multidirectional search: a direct search algorithm for parallel machines , 1989 .

[4]  Webb Miller Software for Roundoff Analysis , 1975, TOMS.

[5]  Ahmed H. Sameh,et al.  Algorithms for roundoff error analysis —A relative error approach , 1980, Computing.

[6]  John E. Dennis,et al.  Multidirectional search: a direct search algorithm for parallel machines , 1989 .

[7]  Françoise Chatelin,et al.  CESTAC, A TOOL FOR A STOCHASTIC ROUND-OFF ERROR ANALYSIS IN SCIENTIFIC COMPUTING , 1986 .

[8]  G. R. Hext,et al.  Sequential Application of Simplex Designs in Optimisation and Evolutionary Operation , 1962 .

[9]  Daniel John Woods,et al.  An interactive approach for solving multi-objective optimization problems (interactive computer, nelder-mead simplex algorithm, graphics) , 1985 .

[10]  P. Langlois Automatic Linear Correction of Rounding Errors , 2001 .

[11]  Joseph D. Darcy,et al.  How Java’s Floating-Point Hurts Everyone Everywhere , 2004 .

[12]  Nicholas J. Higham,et al.  INVERSE PROBLEMS NEWSLETTER , 1991 .

[13]  Nicholas J. Higham,et al.  Accuracy and stability of numerical algorithms, Second Edition , 2002 .

[14]  Ahmed H. Sameh,et al.  Efficient Calculation of the Effects of Roundoff Errors , 1978, TOMS.

[15]  Janusz S. Kowalik,et al.  Iterative methods for nonlinear optimization problems , 1972 .