Sciweavers

11172 search results - page 234 / 2235
» Testing Physical Systems
Sort
View
FATES
2004
Springer
15 years 10 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
CLIN
2001
15 years 8 months ago
Creating a Dutch Information Retrieval Test Corpus
This paper describes the first large-scale evaluation of information retrieval systems using Dutch documents and queries. We describe in detail the characteristics of the Dutch te...
Djoerd Hiemstra, David van Leeuwen
PTS
1993
106views Hardware» more  PTS 1993»
15 years 8 months ago
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pa...
ICSM
2009
IEEE
16 years 1 months ago
Automated performance analysis of load tests
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...
Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, ...
QSIC
2003
IEEE
15 years 12 months ago
State of the art in testing components
The use of components in development of complex software systems can surely have various benefits. Their testing, however, is still one of the open issues in software engineering...
Sami Beydeda, Volker Gruhn