Sciweavers

21183 search results - page 306 / 4237
» Adaptive Testing by Test
Sort
View
SDL
2001
89views Hardware» more  SDL 2001»
15 years 8 months ago
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
Dieter Hogrefe, Beat Koch, Helmut Neukirchen
PTS
2004
94views Hardware» more  PTS 2004»
15 years 8 months ago
FSM Based Interoperability Testing Methods for Multi Stimuli Model
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna,...
PTS
2004
86views Hardware» more  PTS 2004»
15 years 8 months ago
From Safety Verification to Safety Testing
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
Vlad Rusu, Hervé Marchand, Valéry Ts...
SNPD
2003
15 years 8 months ago
An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
Francesca Basanieri, Pierpaolo Iani, Gaetano Lomba...
JCO
2008
98views more  JCO 2008»
15 years 6 months ago
A survey on nonadaptive group testing algorithms through the angle of decoding
Abstract Group testing, sometimes called pooling design, has been applied to a variety of problems such as blood testing, multiple access communication, coding theory, among others...
Hong-Bin Chen, Frank K. Hwang