Improving Software Reliability in Nuclear Power Plants via Diversity in the Requirements Phase: An Experimental Study

Boyuan Li (), Jianghai Li () and Xiaojin Huang
Additional contact information
Boyuan Li: Institute of Nuclear and New Energy Technology (INET), Tsinghua University, Beijing 100084, China
Jianghai Li: Institute of Nuclear and New Energy Technology (INET), Tsinghua University, Beijing 100084, China
Xiaojin Huang: Institute of Nuclear and New Energy Technology (INET), Tsinghua University, Beijing 100084, China

Energies, 2025, vol. 18, issue 18, 1-32

Abstract: High software reliability is essential for safety-critical systems in nuclear power plants. To improve the quality of software following the requirements phase, requirements inspections are conducted to detect defects. Traditional approaches enhance inspection outcomes by employing more effective techniques or by increasing team redundancy. This study investigates an alternative approach: introducing diversity within the inspection team. Inspection technique diversity and inspector background diversity are considered in this paper. We hypothesize that an inspection team in which the inspectors use diverse inspection techniques or have diverse backgrounds will have a better performance in defect detection compared to an inspection team with no diversity. This is because diversity can reduce the number of dependent failures in an inspection team. In this study, a controlled experiment is designed and conducted to examine our hypothesis. In the experiment, research subjects with different backgrounds inspect a software requirements specification using different inspection techniques. The results are collected and analyzed statistically. The experiment shows that using diverse techniques in an inspection team can improve the performance of the inspection team; however, using inspectors with diverse backgrounds will not affect the performance of an inspection team significantly.

Keywords: software reliability; dependent failures; common cause failures; requirements inspection (search for similar items in EconPapers)
JEL-codes: Q Q0 Q4 Q40 Q41 Q42 Q43 Q47 Q48 Q49 (search for similar items in EconPapers)
Date: 2025
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/1996-1073/18/18/4794/pdf (application/pdf)
https://www.mdpi.com/1996-1073/18/18/4794/ (text/html)

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:gam:jeners:v:18:y:2025:i:18:p:4794-:d:1745503

Access Statistics for this article

Energies is currently edited by Ms. Cassie Shen

More articles in Energies from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().