Sciweavers

Share
188 search results - page 1 / 38
» On Test Derivation from Partial Specifications
Sort
View
FORTE
2000
11 years 6 months ago
On Test Derivation from Partial Specifications
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 ...
Alexandre Petrenko, Nina Yevtushenko
SDL
1997
134views Hardware» more  SDL 1997»
11 years 6 months ago
Automating the process of test derivation from SDL specifications
Gregor von Bochmann, Alexandre Petrenko, O. Bellal...
PTS
2004
69views Hardware» more  PTS 2004»
11 years 6 months ago
On Testing Partially Specified IOTS through Lossless Queues
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...
Jiale Huo, Alexandre Petrenko
SIGSOFT
2009
ACM
12 years 6 months ago
Synthesizing partial component-level behavior models from system specifications
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...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
CALCO
2007
Springer
135views Mathematics» more  CALCO 2007»
11 years 9 months ago
Specification-Based Testing for CoCasl's Modal Specifications
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...
Delphine Longuet, Marc Aiguier
books