Sciweavers

Share
69 search results - page 1 / 14
» On the testability of SDL specifications
Sort
View
CN
2004
89views more  CN 2004»
9 years 11 months ago
On the testability of SDL specifications
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
Robert M. Hierons, T.-H. Kim, Hasan Ural
SDL
1997
134views Hardware» more  SDL 1997»
10 years 1 months ago
Automating the process of test derivation from SDL specifications
Gregor von Bochmann, Alexandre Petrenko, O. Bellal...
SDL
2001
101views Hardware» more  SDL 2001»
10 years 1 months ago
Graphical Test Specification - The Graphical Format of TTCN-3
Paul Baker, Ekkart Rudolph, Ina Schieferdecker
SDL
2001
125views Hardware» more  SDL 2001»
10 years 1 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
books