Abstract
Software component test is of great importance within the Independent Verification and Validation process of digital safety system used in nuclear power plants, and acts as the base of software engineer implementation. Now it has encountered the difficulty of test case generation, which needs to be more intensively investigated in nuclear energy industry. The paper describes three methods for test case generation according to the suggestion given by an IAEA’s technical report, and proposes a strategy on how to use these methods in the software component test of digital safety system. This work will be also beneficial to the subsequent tests of digital safety system in nuclear power plants.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The Central People’s Government of the People’s Republic of China, http://www.gov.cn/2011lh/content_1825838_4.htm
IEEE Std 603TM-2009. IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations (2009)
IEEE Std 7-4.3.2TM-2003. IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations (2003)
IEEE Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology
IEC 61508-3 -1997. Functional safety of electrical/electronic/programmable electronic safety-related systems. Part 3: Software requirements, pp. 26, 40, 44 (1997)
IEC 61508-6 -1997. Functional safety of electrical/electronic/programmable electronic safety-related systems. Part 6: Guidelines on the application of parts 2 and 3, p. 76 (1997)
Handbook for Verification and Validation of Digital Systems, EPRI, Palo Alto, CA, and Autoridad Regulatoria Nuclear, Buenos Aires, Argentina, TR-103291-CD, pp. 5-19 (1998)
IAEA TRS384. Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
IEEE Std 1012TM-2004. IEEE Standard for Software Verification and Validation (2004)
M.J. Stofko: Software Program Manual for Common Q Systems, pp. 4–6
Li, D., Zhang, L.J., Feng, J.T.: Technique for Unit Testing of Safety Software Verification and Validation. Atomic Energy Science and Technology 42(6)
Myers, G.J.: The Art of Software Testing, 2nd edn.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Z., Zhang, S., Ma, Z., Xu, D. (2011). Test Case Design Methods and Strategy for Software Component Test of Digital Safety System in Nuclear Power Plants. In: Wan, X. (eds) Electrical Power Systems and Computers. Lecture Notes in Electrical Engineering, vol 99. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21747-0_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-21747-0_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21746-3
Online ISBN: 978-3-642-21747-0
eBook Packages: EngineeringEngineering (R0)