A data flow-based structural testing technique for FBD programs
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Jee, Eunkyoung | - |
dc.contributor.author | Yoo, Junbeom | - |
dc.contributor.author | Cha, Sungdeok | - |
dc.contributor.author | Bae, Doohwan | - |
dc.date.accessioned | 2021-09-08T15:39:53Z | - |
dc.date.available | 2021-09-08T15:39:53Z | - |
dc.date.created | 2021-06-10 | - |
dc.date.issued | 2009-07 | - |
dc.identifier.issn | 0950-5849 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/119702 | - |
dc.description.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. (C) 2009 Elsevier B.V. All rights reserved. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | ELSEVIER | - |
dc.title | A data flow-based structural testing technique for FBD programs | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Cha, Sungdeok | - |
dc.identifier.doi | 10.1016/j.infsof.2009.01.003 | - |
dc.identifier.scopusid | 2-s2.0-67349191485 | - |
dc.identifier.wosid | 000266840500004 | - |
dc.identifier.bibliographicCitation | INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.7, pp.1131 - 1139 | - |
dc.relation.isPartOf | INFORMATION AND SOFTWARE TECHNOLOGY | - |
dc.citation.title | INFORMATION AND SOFTWARE TECHNOLOGY | - |
dc.citation.volume | 51 | - |
dc.citation.number | 7 | - |
dc.citation.startPage | 1131 | - |
dc.citation.endPage | 1139 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Information Systems | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordAuthor | Software testing | - |
dc.subject.keywordAuthor | Structural testing | - |
dc.subject.keywordAuthor | Test coverage criteria | - |
dc.subject.keywordAuthor | Programmable logic controller | - |
dc.subject.keywordAuthor | Function block diagram | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.