Abstract
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing technique generates intermediate code, such as C, from function block diagram(FBD) networks and uses the intermediate code for testing purposes. In this paper, we propose a direct testing technique on FBD without generating intermediate code. In order to test FBD, we define testing granularity in terms of function blocks and propose an algorithm that transforms an FBD network to a flow graph. We apply existing control and data flow testing coverage criteria to the flow graph in order to generate test cases. To demonstrate the effectiveness of the proposed method, we use a trip logic of BP(Bistable Processor) at RPS(Reactor Protection System) in DPPS(Digital Plant Protection System) which is currently being developed at KNICS[1] in Korea.
This is a preview of subscription content, log in via an institution to check access.
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
KNICS, Korea Nuclear Instrumentation and Control System Research and Development Center, http://www.knics.re.kr/english/eindex.html
Jorgensen, P.C.: Software testing: a craftsman’s approach. CRC Press, Boca Raton (1995)
Mader, A.: A Classification of PLC Models and Applications. In: Proc. WODES 2000: 5th Workshop on Discrete Event Systems, Gent, Belgium (August 21-23, 2000)
IEC, International Standard for Programmable Controllers: Programming Languages, Part 3 (1993)
Yoo, J., Park, S., Bang, H., Kim, T., Cha, S.: Direct Control Flow Testing on Function Block Diagrams. In: The 6th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, Operations and Safety (NUTHOS-6), Nara, Japan (October 4-8, 2004)
Yoo, J., Kim, T., Cha, S., Lee, J.-S., Son, H.S.: A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems. Journal of Systems and Software 74(1), 73–83 (2005)
Cho, J., Yoo, J., Cha, S(S.): NuEditor - A Tool Suite for Specification and Verification of NuSCR. In: Dosch, W., Lee, R.Y., Wu, C. (eds.) SERA 2004. LNCS, vol. 3647, pp. 298–304. Springer, Heidelberg (2006)
Miller, E.F.: Tutorial: Program Testing Techniques. In: COMPSAC 1977. IEEE Computer Society, Los Alamitos (1977)
Frankl, P.G., Weyuker, E.J.: An applicable family of data flow testing criteria. IEEE Trans. Software Engineering 14(10), 1483–1498 (1988)
Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering SE-11(4), 367–375 (1985)
Oh, Y., Yoo, J., Cha, S., Son, H.S.: Software Safety Analysis of Function Block Diagrams using Fault Trees. Reliability Engineering and System Safety 88(3), 215–228 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jee, E., Yoo, J., Cha, S. (2005). Control and Data Flow Testing on Function Block Diagrams. In: Winther, R., Gran, B.A., Dahll, G. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2005. Lecture Notes in Computer Science, vol 3688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11563228_6
Download citation
DOI: https://doi.org/10.1007/11563228_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29200-5
Online ISBN: 978-3-540-32000-5
eBook Packages: Computer ScienceComputer Science (R0)