Error Models and Software Certification

Abstract-An error-based approach to certification is described. A classical theory of error is reviewed and a software interpretation of the theory is developed. The interpretation suggests a strategy for testing and analysis. The strategy was evaluated by comparing its potential effectiveness with that of certification standards based on individual methods