Earticle

초록

영어

This paper describes the case of Independent Software Verification and Validation(V&V). As an example, verification and validation of the graphic recorder is introduced. Graphic recorder as a verification and validation paradigm describe the qualification approaching techniques and methods. Graphic recorder is a measurement data recording device with 5.5 inch TFT liquid crystal display instead of a paper. It mainly describes V&V criteria, testing approach, software verification methodology, techniques and procedures. However, hardware based equipment qualification (i.e. environment qualification, seismic qualification, and EMI/RFI qualification) has been excluded. The V&V methods for each phase of the software life cycle and V&V input-output tasks, with a focus on the processes are described. From the initial phase to the final phase of development, development and testing/verification were performed according to the software life cycle based on information engineering methodology. The suggested validation and verification paradigm is satisfied with SRP7/BTP-14 criteria, which is the digital software licensing standard for safety-critical system (for example, aerospace, railways, automobile and nuclear industry etc). The paper addresses the pass/fail criteria for each phase of the software life cycle referenced by hierarchical international standard framework.

목차

Abstract
 1. Introduction
 2. Requirement based System Testing
  2.1. Applicable Code & Standards
  2.2. Testing Environment
 3. Testing of the Major Safety Parameter Cases
 4. System Tests
 5. Conclusions
 Acknowledgements
 References

키워드

저자

• Jangyeol Kim [ Instrumentation & Control and Human Factors Division/Korea Atomic Energy Research Institute(KAERI) 989-111 Daedeok-daero, Yuseong-gu, Daejeon, Republic of Korea 305-353 ]
• Soongohn Kim [ Department of Computer and Game Science, Joongbu University, 101 Daehakro, Chubu-Meon, GumsanGun, Chungnam, 312-702, Korea ] Corresponding Author

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Software Engineering and Its Applications

• 간기

  월간

• pISSN

  1738-9984

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605