Sciweavers

PTS
2003
136views Hardware» more  PTS 2003»
13 years 5 months ago
The UML 2.0 Testing Profile and Its Relation to TTCN-3
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, A...
PTS
2003
90views Hardware» more  PTS 2003»
13 years 5 months ago
Testing SIP Call Flows Using XML Protocol Templates
M. Ranganathan, Olivier Deruelle, Doug Montgomery
PTS
2003
73views Hardware» more  PTS 2003»
13 years 5 months ago
Testing Transition Systems with Input and Output Testers
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 ...
Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
PTS
2003
127views Hardware» more  PTS 2003»
13 years 5 months ago
An Automata-Based Approach to Property Testing in Event Traces
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale...
PTS
2003
80views Hardware» more  PTS 2003»
13 years 5 months ago
Conformance of Distributed Systems
Maximilian Frey, Bernd-Holger Schlingloff
PTS
2003
83views Hardware» more  PTS 2003»
13 years 5 months ago
A Guided Method for Testing Timed Input Output Automata
Abdeslam En-Nouaary, Rachida Dssouli
PTS
2003
108views Hardware» more  PTS 2003»
13 years 5 months ago
Fault Diagnosis in Extended Finite State Machines
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtush...
PTS
2003
101views Hardware» more  PTS 2003»
13 years 5 months ago
Fast Testing of Critical Properties through Passive Testing
José Antonio Arnedo, Ana R. Cavalli, Manuel...
PTS
2004
86views Hardware» more  PTS 2004»
13 years 5 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...
PTS
2004
88views Hardware» more  PTS 2004»
13 years 5 months ago
From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices
The UML Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology of how to use the testing profile in order to modify and extend an ...
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Ho...