There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.endPage | 867 | - |
dc.citation.number | 5 | - |
dc.citation.startPage | 850 | - |
dc.citation.title | NUCLEAR TECHNOLOGY | - |
dc.citation.volume | 210 | - |
dc.contributor.author | Lee, Sang Hun | - |
dc.contributor.author | Lee, Seung Jun | - |
dc.contributor.author | Shin, Sung Min | - |
dc.contributor.author | Lee, Eun-Chan | - |
dc.contributor.author | Kang, Hyun Gook | - |
dc.date.accessioned | 2023-12-21T11:42:43Z | - |
dc.date.available | 2023-12-21T11:42:43Z | - |
dc.date.created | 2023-10-19 | - |
dc.date.issued | 2024-05 | - |
dc.description.abstract | An issue regarding the incorporation of software reliability within the nuclear power plant (NPP) probabilistic risk assessment model has emerged in the licensing processes of digitalized NPPs. Since software failure induces common-cause failure of the processor modules, the reliability of the software used in the NPP safety-critical instrumentation and control systems must be quantified and verified with proper test cases and environments. In this study, a software testing method based on the minimal cut set (MCS)–based exhaustive test case generation scheme is proposed where the software logic model is developed from available information on the software development and the MCSs that represent the necessary and sufficient conditions for the software variables’ states to produce safety software outputs are generated. The MCSs are then converted into the test cases, which can be used as inputs to the test bed to verify that the test cases produce correct outputs after software execution. The effectiveness of the proposed method is demonstrated with the safety-critical trip logic software of the APR-1400 reactor protection system. The method provides a systematic way to conduct exhaustive software testing and prove the functionality of the nuclear safety software based on the test result without uncertainties. | - |
dc.identifier.bibliographicCitation | NUCLEAR TECHNOLOGY, v.210, no.5, pp.850 - 867 | - |
dc.identifier.doi | 10.1080/00295450.2023.2250133 | - |
dc.identifier.issn | 0029-5450 | - |
dc.identifier.scopusid | 2-s2.0-85173793858 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/65972 | - |
dc.identifier.wosid | 001082650900001 | - |
dc.language | 영어 | - |
dc.publisher | American Nuclear Society | - |
dc.title | Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model | - |
dc.type | Article | - |
dc.description.isOpenAccess | FALSE | - |
dc.relation.journalWebOfScienceCategory | Nuclear Science & Technology | - |
dc.relation.journalResearchArea | Nuclear Science & Technology | - |
dc.type.docType | Article | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.subject.keywordAuthor | safety-critical software | - |
dc.subject.keywordAuthor | software logic model | - |
dc.subject.keywordAuthor | software testing | - |
dc.subject.keywordAuthor | digital instrumentation and control system | - |
dc.subject.keywordAuthor | Nuclear power plant | - |
dc.subject.keywordPlus | SYSTEMS | - |
dc.subject.keywordPlus | QUANTIFICATION | - |
dc.subject.keywordPlus | VERIFICATION | - |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Tel : 052-217-1404 / Email : scholarworks@unist.ac.kr
Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.
ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.