Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram

Simple item page
dc.contributor.authorJee, Eunkyoung
dc.contributor.authorKim, Suin
dc.contributor.authorLee, Insup
dc.contributor.authorCha, Sungdeok
dc.date2023-05-17T03:49:31.000
dc.date.accessioned2023-05-22T12:48:26Z
dc.date.available2023-05-22T12:48:26Z
dc.date.issued2010-09-14
dc.date.submitted2010-07-13T18:30:52-07:00
dc.description.abstractWe present FBDTestMeasurer, an automated test coverage measurement tool for function block diagram (FBD) programs which are increasingly used in implementing safety critical systems such as nuclear reactor protection systems. We have defined new structural test coverage criteria for FBD programs in which dataflow-centric characteristics of FBD programs were well reflected. Given an FBD program and a set of test cases, FBDTestMeasurer produces test coverage score and uncovered test requirements with respect to the selected coverage criteria. Visual representation of uncovered data paths enables testers to easily identify which parts of the program need to be tested further. We found many aspects of the FBD logic that were not tested sufficiently when conducting a case study using test cases prepared by domain experts for reactor protection system software. Domain experts found this technique and tool highly intuitive and useful to measure the adequacy of FBD testing and generate additional test cases.
dc.description.commentsSAFECOMP 2010. The 29th International Conference on Computer Safety, Reliability and Security. September 14 - 17 2010. Vienna, Austria.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6483
dc.legacy.articleid1469
dc.legacy.fields10.1007/978-3-642-15651-9_17
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1469&context=cis_papers&unstamped=1
dc.rightsThe final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-15651-9_17
dc.source.beginpage223
dc.source.endpage236
dc.source.issue432
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitleLecture Notes in Computer Science: Computer Safety, Reliability, and Security
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.source.volume6351
dc.subject.otherCPS Formal Methods
dc.subject.othertest coverage measurement
dc.subject.othertest automation
dc.subject.otherfunction block diagram
dc.subject.otherprogrammable logic controller
dc.subject.otherComputer Sciences
dc.titleAutomated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:eunkjee@seas.upenn.edu|institution:University of Pennsylvania|Jee, Eunkyoung
digcom.contributor.authorKim, Suin
digcom.contributor.authorCha, Sungdeok
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.identifiercis_papers/432
digcom.identifier.contextkey1393626
digcom.identifier.submissionpathcis_papers/432
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublicationd70d218b-caae-4a2c-a9d7-fdde77ba3df8
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication.latestForDiscoveryd70d218b-caae-4a2c-a9d7-fdde77ba3df8
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
eunkjee_SAFECOMP.pdf
Size:
274.6 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations