DocumentCode
2859852
Title
Error Models and Software Certification
Author
Howden, William E.
Author_Institution
CSE, UCSD, LaJolla, CA, USA
fYear
2011
fDate
Nov. 29 2011-Dec. 2 2011
Firstpage
37
Lastpage
42
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Certification (WoSoCER), 2011 First International Workshop on
Conference_Location
Hiroshima
Print_ISBN
978-1-4673-0744-4
Type
conf
DOI
10.1109/WoSoCER.2011.11
Filename
6118516
Link To Document