Software Reliability Improvement Techniques

Han Seong Son () and Seo Ryong Koo ()
Additional contact information
Han Seong Son: Joongbu University
Seo Ryong Koo: Doosan Heavy Industries and Construction Co., Ltd.

Chapter 5 in Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems, 2009, pp 105-120 from Springer

Abstract: Abstract Digital systems offer various advantages over analog systems. Their use in largescale control systems has greatly expanded in recent years. This raises challenging issues to be resolved. Extremely high-confidence in software reliability is one issue for safety-critical systems, such as NPPs. Some issues related to software reliability are tightly coupled with software faults to evaluate software reliability (Chapter 4). There is not “one right answer” as to how to estimate software reliability. Merely measuring software reliability does not directly make software more reliable, even if there is a “proper answer” for estimation of software reliability. Software faults should be carefully handled to make software more reliable with as many reliability improvement techniques as possible. However, software reliability evaluation may not be useful. Software reliability improvement techniques dealing with the existence and manifestation of faults in software are divided into three categories: - Fault avoidance/prevention that includes design methodologies to make software provably fault-free - Fault removal that aims to remove faults after the development stage is completed. This is done by exhaustive and rigorous testing of the final product - Fault tolerance that assumes a system has unavoidable and undetectable faults and aims to make provisions for the system to operate correctly, even in the presence of faults

Keywords: Formal Method; Fault Tolerance; Software Reliability; Formal Verification; Software Fault (search for similar items in EconPapers)
Date: 2009
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ssrchp:978-1-84800-384-2_5

Ordering information: This item can be ordered from
http://www.springer.com/9781848003842

DOI: 10.1007/978-1-84800-384-2_5

Access Statistics for this chapter

More chapters in Springer Series in Reliability Engineering from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().