17 search results - page 1 / 4 » Repetitive Quiescence in Implementation and Testing |
FBT
1997
13 years 6 months ago
1997
FORTE
1997
13 years 6 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
FATES
2004
Springer
13 years 10 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
ICFEM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
PTS
2003
13 years 6 months ago
2003
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...