論文

査読有り
2019年

State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing

2019 IEEE 24TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2019)
  • Tomohiko Takagi
  • ,
  • Ryo Kurozumi
  • ,
  • Tetsuro Katayama

開始ページ
29
終了ページ
30
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1109/PRDC47002.2019.00018
出版者・発行元
IEEE COMPUTER SOC

This paper shows a STT (State Transition Tuple) coverage criterion for extended place/transition net-based testing. A STT as a measuring object consists of state transitions whose execution may trigger a target failure. The test efficiency is evaluated based on the ratio of STTs executed by test cases.

Web of Science ® 被引用回数 : 1

リンク情報
DOI
https://doi.org/10.1109/PRDC47002.2019.00018
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000530687800007&DestApp=WOS_CPL

エクスポート
BibTeX RIS