2019年12月
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing
Proceedings of Pacific Rim International Symposium on Dependable Computing
- ,
- ,
- 開始ページ
- 29
- 終了ページ
- 30
- 記述言語
- 英語
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 出版者・発行元
- 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.
- リンク情報
- ID情報
-
- ISSN : 1555-094X
- Web of Science ID : WOS:000530687800007