Title :
Error Models and Software Certification
Author :
Howden, William E.
Author_Institution :
CSE, UCSD, LaJolla, CA, USA
fDate :
Nov. 29 2011-Dec. 2 2011
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.
Keywords :
program testing; error models; software certification; software interpretation; Analytical models; Certification; Cognitive science; Focusing; Programming; Software; Testing;
Conference_Titel :
Software Certification (WoSoCER), 2011 First International Workshop on
Conference_Location :
Hiroshima
Print_ISBN :
978-1-4673-0744-4
DOI :
10.1109/WoSoCER.2011.11
