Sciweavers

11172 search results - page 147 / 2235
» Testing Physical Systems
Sort
View
DSVIS
2003
Springer
15 years 11 months ago
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
Marcelo Fantinato, Mario Jino
MBEES
2010
15 years 4 months ago
Test Case Integration: From Components to Systems
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
Bernhard Schätz, Christian Pfaller
FATES
2005
Springer
15 years 12 months ago
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
Gaoyan Xie, Zhe Dang
HICSS
2007
IEEE
107views Biometrics» more  HICSS 2007»
16 years 23 days ago
A Runtime and Analysis Framework Support for Unit Component Testing in Distributed Systems
This paper presents a test framework to support unit component testing in distributed component-based systems that are built upon component technologies like CORBA, COM/.NET, J2EE...
Jun Li, Keith Moore
VLDB
2005
ACM
109views Database» more  VLDB 2005»
15 years 12 months ago
Parallel Execution of Test Runs for Database Application Systems
In a recent paper [8], it was shown how tests for database application systems can be executed efficiently. The challenge was to control the state of the database during testing ...
Florian Haftmann, Donald Kossmann, Eric Lo