Sciweavers

11172 search results - page 146 / 2235
» Testing Physical Systems
Sort
View
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
ISSRE
2005
IEEE
16 years 22 hour ago
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
Laya Madani, Catherine Oriat, Ioannis Parissis, Ju...
DATE
2008
IEEE
101views Hardware» more  DATE 2008»
16 years 27 days ago
A Game-Theoretic Approach to Real-Time System Testing
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
GECCO
2004
Springer
259views Optimization» more  GECCO 2004»
15 years 11 months ago
Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
Joachim Wegener, Oliver Bühler
UML
2001
Springer
15 years 11 months ago
A UML-Based Approach to System Testing
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
Lionel C. Briand, Yvan Labiche