論文

査読有り
2019年12月

State transition tuple coverage criterion for extended place/transition net-based testing

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
  • Tomohiko Takagi
  • ,
  • Ryo Kurozumi
  • ,
  • Tetsuro Katayama

2019-December
開始ページ
29
終了ページ
30
記述言語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1109/PRDC47002.2019.00018

© 2019 IEEE. 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.

リンク情報
DOI
https://doi.org/10.1109/PRDC47002.2019.00018
Scopus
https://www.scopus.com/record/display.uri?eid=2-s2.0-85078491678&origin=inward
Scopus
https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85078491678&origin=inward
Scopus Citedby
https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85078491678&origin=inward

エクスポート
BibTeX RIS