DocumentCode :
1368820
Title :
Zero-defect software: The elusive goal: It is theoretically possible but difficult to achieve; logic and interface errors are most common, but errors in user intent may also occur
Author :
Hamilton, M.H.
Volume :
23
Issue :
3
fYear :
1986
fDate :
3/1/1986 12:00:00 AM
Firstpage :
47
Lastpage :
53
Abstract :
After briefly describing how software errors occur, the author surveys the methods and tools currently in use for improving software reliability. The steps required in developing zero-defect software are then outlined. The way in which formal definitions can improve productivity is discussed, as is the problem still posed by user intent.
Keywords :
software reliability; software tools; formal definitions; methods; productivity; software errors; software reliability; tools; zero-defect software; Clocks; Program processors; Software reliability; Software tools; Syntactics;
fLanguage :
English
Journal_Title :
Spectrum, IEEE
Publisher :
ieee
ISSN :
0018-9235
Type :
jour
DOI :
10.1109/MSPEC.1986.6371028
Filename :
6371028
Link To Document :
بازگشت