Software Fault Avoidance
نویسنده
چکیده
All software faults are basically design faults. Correct specification and correct implementation are must in order to produce correct software. Software fault avoidance aims to produce fault free software through various approaches having the common objective of reducing the number of latent defects in software programs. Software fault avoidance approaches include: formal or precise specification practices, programming disciplines like information hiding and encapsulation, extensive and repetitive reviews and formal analyses during the development process, and of course, rigorous testing. In other words, software fault avoidance approaches include verification & validation, software testing, and proof methodology. Rigorous development process (standard development processes, capability maturity model), strongly typed languages, comprehensive standards, support tools and highly trained manpower and formal methods are the key factors to software fault avoidance.
منابع مشابه
Combining Fault Avoidance, Removal and Tolerance: an Integrated Basis for Software Veriication and Validation
Fault avoidance, fault removal and fault tolerance represent three successive lines of defense against the contingency of faults in software systems and their impact on system reliability. The law of diminishing returns advocates that these three sets of methods be put to bear to achieve eeective software veriication and validation: each method is used in the context where it is most eeective. ...
متن کاملOn the Extension of Xception to Support Software Fault Models
Software faults are recognized as the major cause of system outages. The two possible approaches to overcome this problem are fault avoidance and fault tolerance. Quality assurance techniques fail to attain the zero defects mark, making fault tolerance vital to assure mission and business critical systems dependability. One major issue is the difficulty in the verification and validation of sof...
متن کاملSoftware Enabled Control Experiments with University Operated Unmanned Aircraft
On August 25, 2004, a series of flight experiments and demonstrations were flown at the McKenna urban operations complex at Ft. Benning, GA. These experiments represented the culmination of the rotary wing segment of the DARPA Software Enabled Control program. To support these efforts, an open system Unmanned Aerial Vehicle testbed architecture was developed for the GTMax and GTSpy university-o...
متن کاملRotary Wing Final Experiments for the Software Enabled Control Program
On August 25, 2004, a series of final experiments were flown at the McKenna urban operations complex at Ft. Benning, GA. These experiments represented the culmination of the rotary wing segment of the DARPA Software Enabled Control program. To support these efforts, an open system Unmanned Aerial Vehicle testbed architecture was developed for the GTMax and GTSpy research aircraft. This paper in...
متن کاملAn exploration of the issues affecting the development of software-based safety-critical systems
A safety-critical system is a system whose failure could result in loss of life, significant property damage, or damage to the environment (Knight, 1990). Miniaturisation and processing improvements have enabled the spread of safety-critical devices from nuclear and military applications to domains as diverse as implanted medical devices, traffic control, smart vehicles, and interactive virtual...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011