188 search results - page 1 / 38 » On Test Derivation from Partial Specifications |
FORTE
2000
15 years 26 days ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
PTS
2004
15 years 27 days ago
2004
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...
SIGSOFT
2009
ACM
16 years 8 days ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
100
click to vote
CALCO
2007
Springer
15 years 3 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...