Sciweavers

3031 search results - page 48 / 607
» Model Driven Testing Based on Test History
Sort
View
115
Voted
SAM
2000
102views Hardware» more  SAM 2000»
15 years 1 months ago
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
Olaf Henniger, Hasan Ural
99
Voted
ACL
2006
15 years 1 months ago
Are These Documents Written from Different Perspectives? A Test of Different Perspectives Based on Statistical Distribution Dive
In this paper we investigate how to automatically determine if two document collections are written from different perspectives. By perspectives we mean a point of view, for examp...
Wei-Hao Lin, Alexander G. Hauptmann
PTS
2003
127views Hardware» more  PTS 2003»
15 years 1 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...
ERLANG
2008
ACM
15 years 2 months ago
Early fault detection with model-based testing
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
Jonas Boberg
99
Voted
DAGSTUHL
2004
15 years 1 months ago
UML 2.0 Testing Profile
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...
Zhen Ru Dai