State transition tuple coverage criterion for extended place/transition net-based testing
T Takagi, R Kurozumi…�- 2019 IEEE 24th Pacific Rim�…, 2019 - ieeexplore.ieee.org
T Takagi, R Kurozumi, T Katayama
2019 IEEE 24th Pacific Rim International Symposium on Dependable�…, 2019•ieeexplore.ieee.orgThis 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.
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.
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.
ieeexplore.ieee.org
Showing the best result for this search. See all results