A data flow-based structural testing technique for FBD programs
With increased use of programmable logic controllers (PLCs) in implementing critical systems, quality assurance became an important issue. Regulation requires structural testing be performed for safety-critical systems by identifying coverage criteria to be satisfied and accomplishment measured. Cla...
Gespeichert in:
| Veröffentlicht in: | Information and software technology 2009-07, Vol.51 (7), p.1131-1139 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1139 |
|---|---|
| container_issue | 7 |
| container_start_page | 1131 |
| container_title | Information and software technology |
| container_volume | 51 |
| creator | Jee, Eunkyoung Yoo, Junbeom Cha, Sungdeok Bae, Doohwan |
| description | With increased use of programmable logic controllers (PLCs) in implementing critical systems, quality assurance became an important issue. Regulation requires structural testing be performed for safety-critical systems by identifying coverage criteria to be satisfied and accomplishment measured. Classical coverage criteria, based on control flow graphs, are inadequate when applied to a data flow language function block diagram (FBD) which is a PLC programming language widely used in industry. We propose three structural coverage criteria for FBD programs, analyze relationship among them, and demonstrate their effectiveness using a real-world reactor protection system. Using test cases that had been manually prepared by FBD testing professionals, our technique found many aspects of the FBD logic that were not tested sufficiently. Domain experts, having found the approach highly intuitive, found the technique effective. |
| doi_str_mv | 10.1016/j.infsof.2009.01.003 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_34480870</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S095058490900010X</els_id><sourcerecordid>1708112441</sourcerecordid><originalsourceid>FETCH-LOGICAL-c397t-b45f43e8f066b76aeaaea33ce56b180f0bd63c472383edf66676283a79bfcc763</originalsourceid><addsrcrecordid>eNp9kDFPwzAQhS0EEqXwDxgiBsSScI4d21lAUCggVWKB2XIcuzhKk2InIP49rsLEUOmkt7z37u5D6BxDhgGz6yZznQ29zXKAMgOcAZADNMOCk5RBXhyiGZQFpIWg5TE6CaEBwBwIzNDtXVKrQSW27b_TSgVTJ2Hwox5Gr9pkMGFw3Tqq_ujc52gS2_tkef-QbH2_9moTTtGRVW0wZ386R-_Lx7fFc7p6fXpZ3K1STUo-pBUtLCVGWGCs4kwZFYcQbQpWYQEWqpoRTXlOBDG1ZYxxlguieFlZrTkjc3Q59cbF8Y4wyI0L2rSt6kw_BkkoFSDiT3N0tdeI83zHBTiN1ot_1qYffRffkLhkFIui3C2mk0n7PgRvrNx6t1H-R2KQO_qykRN9uaMvActIP8ZuppiJUL6c8TJoZzptaueNHmTdu_0Fv_zQjkg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>196418596</pqid></control><display><type>article</type><title>A data flow-based structural testing technique for FBD programs</title><source>Elsevier ScienceDirect Journals</source><creator>Jee, Eunkyoung ; Yoo, Junbeom ; Cha, Sungdeok ; Bae, Doohwan</creator><creatorcontrib>Jee, Eunkyoung ; Yoo, Junbeom ; Cha, Sungdeok ; Bae, Doohwan</creatorcontrib><description>With increased use of programmable logic controllers (PLCs) in implementing critical systems, quality assurance became an important issue. Regulation requires structural testing be performed for safety-critical systems by identifying coverage criteria to be satisfied and accomplishment measured. Classical coverage criteria, based on control flow graphs, are inadequate when applied to a data flow language function block diagram (FBD) which is a PLC programming language widely used in industry. We propose three structural coverage criteria for FBD programs, analyze relationship among them, and demonstrate their effectiveness using a real-world reactor protection system. Using test cases that had been manually prepared by FBD testing professionals, our technique found many aspects of the FBD logic that were not tested sufficiently. Domain experts, having found the approach highly intuitive, found the technique effective.</description><identifier>ISSN: 0950-5849</identifier><identifier>EISSN: 1873-6025</identifier><identifier>DOI: 10.1016/j.infsof.2009.01.003</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Computer programming ; Computer programs ; Control ; Controllers ; Criteria ; Function block diagram ; Product life cycle ; Programmable logic controller ; Programmable logic controllers ; Protection systems ; Reactors ; Software quality ; Software testing ; Structural testing ; Studies ; Systems development ; Test coverage criteria</subject><ispartof>Information and software technology, 2009-07, Vol.51 (7), p.1131-1139</ispartof><rights>2009 Elsevier B.V.</rights><rights>Copyright Elsevier Science Ltd. Jul 2009</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c397t-b45f43e8f066b76aeaaea33ce56b180f0bd63c472383edf66676283a79bfcc763</citedby><cites>FETCH-LOGICAL-c397t-b45f43e8f066b76aeaaea33ce56b180f0bd63c472383edf66676283a79bfcc763</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.sciencedirect.com/science/article/pii/S095058490900010X$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,776,780,3536,27903,27904,65309</link.rule.ids></links><search><creatorcontrib>Jee, Eunkyoung</creatorcontrib><creatorcontrib>Yoo, Junbeom</creatorcontrib><creatorcontrib>Cha, Sungdeok</creatorcontrib><creatorcontrib>Bae, Doohwan</creatorcontrib><title>A data flow-based structural testing technique for FBD programs</title><title>Information and software technology</title><description>With increased use of programmable logic controllers (PLCs) in implementing critical systems, quality assurance became an important issue. Regulation requires structural testing be performed for safety-critical systems by identifying coverage criteria to be satisfied and accomplishment measured. Classical coverage criteria, based on control flow graphs, are inadequate when applied to a data flow language function block diagram (FBD) which is a PLC programming language widely used in industry. We propose three structural coverage criteria for FBD programs, analyze relationship among them, and demonstrate their effectiveness using a real-world reactor protection system. Using test cases that had been manually prepared by FBD testing professionals, our technique found many aspects of the FBD logic that were not tested sufficiently. Domain experts, having found the approach highly intuitive, found the technique effective.</description><subject>Computer programming</subject><subject>Computer programs</subject><subject>Control</subject><subject>Controllers</subject><subject>Criteria</subject><subject>Function block diagram</subject><subject>Product life cycle</subject><subject>Programmable logic controller</subject><subject>Programmable logic controllers</subject><subject>Protection systems</subject><subject>Reactors</subject><subject>Software quality</subject><subject>Software testing</subject><subject>Structural testing</subject><subject>Studies</subject><subject>Systems development</subject><subject>Test coverage criteria</subject><issn>0950-5849</issn><issn>1873-6025</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2009</creationdate><recordtype>article</recordtype><recordid>eNp9kDFPwzAQhS0EEqXwDxgiBsSScI4d21lAUCggVWKB2XIcuzhKk2InIP49rsLEUOmkt7z37u5D6BxDhgGz6yZznQ29zXKAMgOcAZADNMOCk5RBXhyiGZQFpIWg5TE6CaEBwBwIzNDtXVKrQSW27b_TSgVTJ2Hwox5Gr9pkMGFw3Tqq_ujc52gS2_tkef-QbH2_9moTTtGRVW0wZ386R-_Lx7fFc7p6fXpZ3K1STUo-pBUtLCVGWGCs4kwZFYcQbQpWYQEWqpoRTXlOBDG1ZYxxlguieFlZrTkjc3Q59cbF8Y4wyI0L2rSt6kw_BkkoFSDiT3N0tdeI83zHBTiN1ot_1qYffRffkLhkFIui3C2mk0n7PgRvrNx6t1H-R2KQO_qykRN9uaMvActIP8ZuppiJUL6c8TJoZzptaueNHmTdu_0Fv_zQjkg</recordid><startdate>20090701</startdate><enddate>20090701</enddate><creator>Jee, Eunkyoung</creator><creator>Yoo, Junbeom</creator><creator>Cha, Sungdeok</creator><creator>Bae, Doohwan</creator><general>Elsevier B.V</general><general>Elsevier Science Ltd</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20090701</creationdate><title>A data flow-based structural testing technique for FBD programs</title><author>Jee, Eunkyoung ; Yoo, Junbeom ; Cha, Sungdeok ; Bae, Doohwan</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c397t-b45f43e8f066b76aeaaea33ce56b180f0bd63c472383edf66676283a79bfcc763</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Computer programming</topic><topic>Computer programs</topic><topic>Control</topic><topic>Controllers</topic><topic>Criteria</topic><topic>Function block diagram</topic><topic>Product life cycle</topic><topic>Programmable logic controller</topic><topic>Programmable logic controllers</topic><topic>Protection systems</topic><topic>Reactors</topic><topic>Software quality</topic><topic>Software testing</topic><topic>Structural testing</topic><topic>Studies</topic><topic>Systems development</topic><topic>Test coverage criteria</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Jee, Eunkyoung</creatorcontrib><creatorcontrib>Yoo, Junbeom</creatorcontrib><creatorcontrib>Cha, Sungdeok</creatorcontrib><creatorcontrib>Bae, Doohwan</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Information and software technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Jee, Eunkyoung</au><au>Yoo, Junbeom</au><au>Cha, Sungdeok</au><au>Bae, Doohwan</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A data flow-based structural testing technique for FBD programs</atitle><jtitle>Information and software technology</jtitle><date>2009-07-01</date><risdate>2009</risdate><volume>51</volume><issue>7</issue><spage>1131</spage><epage>1139</epage><pages>1131-1139</pages><issn>0950-5849</issn><eissn>1873-6025</eissn><abstract>With increased use of programmable logic controllers (PLCs) in implementing critical systems, quality assurance became an important issue. Regulation requires structural testing be performed for safety-critical systems by identifying coverage criteria to be satisfied and accomplishment measured. Classical coverage criteria, based on control flow graphs, are inadequate when applied to a data flow language function block diagram (FBD) which is a PLC programming language widely used in industry. We propose three structural coverage criteria for FBD programs, analyze relationship among them, and demonstrate their effectiveness using a real-world reactor protection system. Using test cases that had been manually prepared by FBD testing professionals, our technique found many aspects of the FBD logic that were not tested sufficiently. Domain experts, having found the approach highly intuitive, found the technique effective.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/j.infsof.2009.01.003</doi><tpages>9</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0950-5849 |
| ispartof | Information and software technology, 2009-07, Vol.51 (7), p.1131-1139 |
| issn | 0950-5849 1873-6025 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_34480870 |
| source | Elsevier ScienceDirect Journals |
| subjects | Computer programming Computer programs Control Controllers Criteria Function block diagram Product life cycle Programmable logic controller Programmable logic controllers Protection systems Reactors Software quality Software testing Structural testing Studies Systems development Test coverage criteria |
| title | A data flow-based structural testing technique for FBD programs |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-24T23%3A30%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20data%20flow-based%20structural%20testing%20technique%20for%20FBD%20programs&rft.jtitle=Information%20and%20software%20technology&rft.au=Jee,%20Eunkyoung&rft.date=2009-07-01&rft.volume=51&rft.issue=7&rft.spage=1131&rft.epage=1139&rft.pages=1131-1139&rft.issn=0950-5849&rft.eissn=1873-6025&rft_id=info:doi/10.1016/j.infsof.2009.01.003&rft_dat=%3Cproquest_cross%3E1708112441%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=196418596&rft_id=info:pmid/&rft_els_id=S095058490900010X&rfr_iscdi=true |