Control and data flow testing on function block diagrams

Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

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 diagrarn(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 arid 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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages67-80
Number of pages14
Volume3688 LNCS
DOIs
Publication statusPublished - 2005 Dec 1
Externally publishedYes
Event24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005 - Fredrikstad, Norway
Duration: 2005 Sep 282005 Sep 30

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3688 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005
CountryNorway
CityFredrikstad
Period05/9/2805/9/30

Fingerprint

Data Flow
Programmable Logic Controller
Diagram
Programmable logic controllers
Testing
Flow graphs
Flow Graphs
Korea
Software Testing
Software testing
Granularity
Test function
Software
Reactor
Safety
Coverage
Transform
Logic
Demonstrate

ASJC Scopus subject areas

  • Biochemistry, Genetics and Molecular Biology(all)
  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Jee, E., Yoo, J., & Cha, S. (2005). Control and data flow testing on function block diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3688 LNCS, pp. 67-80). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3688 LNCS). https://doi.org/10.1007/11563228_6

Control and data flow testing on function block diagrams. / Jee, Eunkyoung; Yoo, Junbeom; Cha, Sungdeok.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3688 LNCS 2005. p. 67-80 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3688 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Jee, E, Yoo, J & Cha, S 2005, Control and data flow testing on function block diagrams. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 3688 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3688 LNCS, pp. 67-80, 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, Fredrikstad, Norway, 05/9/28. https://doi.org/10.1007/11563228_6
Jee E, Yoo J, Cha S. Control and data flow testing on function block diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3688 LNCS. 2005. p. 67-80. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11563228_6
Jee, Eunkyoung ; Yoo, Junbeom ; Cha, Sungdeok. / Control and data flow testing on function block diagrams. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3688 LNCS 2005. pp. 67-80 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{86ca31b56d52432a821206f3625f5901,
title = "Control and data flow testing on function block diagrams",
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 diagrarn(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 arid 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.",
author = "Eunkyoung Jee and Junbeom Yoo and Sungdeok Cha",
year = "2005",
month = "12",
day = "1",
doi = "10.1007/11563228_6",
language = "English",
isbn = "3540292004",
volume = "3688 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "67--80",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Control and data flow testing on function block diagrams

AU - Jee, Eunkyoung

AU - Yoo, Junbeom

AU - Cha, Sungdeok

PY - 2005/12/1

Y1 - 2005/12/1

N2 - 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 diagrarn(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 arid 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.

AB - 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 diagrarn(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 arid 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.

UR - http://www.scopus.com/inward/record.url?scp=33646139636&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33646139636&partnerID=8YFLogxK

U2 - 10.1007/11563228_6

DO - 10.1007/11563228_6

M3 - Conference contribution

AN - SCOPUS:33646139636

SN - 3540292004

SN - 9783540292005

VL - 3688 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 67

EP - 80

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -