PTS 2003 | Sciweavers

32

PTS
2003

115views Hardware» more PTS 2003»

Realizing Distributed TTCN-3 Test Systems with TCI

14 years 1 months ago

Distributed test setups for efficient load, performance, scalability, interworking, and end-to-end tests are gaining importance for the assessment of distributed communicating syst...

Ina Schieferdecker, Theofanis Vassiliou-Gioles

claim paper

Read More »

45

click to vote

PTS
2003

136views Hardware» more PTS 2003»

The UML 2.0 Testing Profile and Its Relation to TTCN-3

14 years 1 months ago

Download www.swe.informatik.uni-goettingen.de

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...

claim paper

Read More »

27

click to vote

PTS
2003

90views Hardware» more PTS 2003»

Testing SIP Call Flows Using XML Protocol Templates

14 years 1 months ago

Download www.antd.nist.gov

M. Ranganathan, Olivier Deruelle, Doug Montgomery

claim paper

Read More »

40

click to vote

PTS
2003

73views Hardware» more PTS 2003»

Testing Transition Systems with Input and Output Testers

14 years 1 months ago

Download www.crim.ca

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

claim paper

Read More »

40

click to vote

PTS
2003

127views Hardware» more PTS 2003»

An Automata-Based Approach to Property Testing in Event Traces

14 years 1 months ago

Download www.crim.ca

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...

claim paper

Read More »

25

click to vote

PTS
2003

80views Hardware» more PTS 2003»

Conformance of Distributed Systems

14 years 1 months ago

Download www.testcom2003.org

Maximilian Frey, Bernd-Holger Schlingloff

claim paper

Read More »

31

click to vote

PTS
2003

83views Hardware» more PTS 2003»

A Guided Method for Testing Timed Input Output Automata

14 years 1 months ago

Download www.jos.org.cn

Abdeslam En-Nouaary, Rachida Dssouli

claim paper

Read More »

31

click to vote

PTS
2003

108views Hardware» more PTS 2003»

Fault Diagnosis in Extended Finite State Machines

14 years 1 months ago

Download www.site.uottawa.ca

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...

claim paper

Read More »

38

click to vote

PTS
2003

101views Hardware» more PTS 2003»

Fast Testing of Critical Properties through Passive Testing

14 years 1 months ago

Download www-lor.int-evry.fr

José Antonio Arnedo, Ana R. Cavalli, Manuel...

claim paper