2527 search results - page 23 / 506 » A UML-Based Approach to System Testing |
ITC
2000
IEEE
14 years 2 months ago
2000
IEEE
Boards have evolved into complex systems and even collections of interacting systems. Test engineers struggle to find out how these systems are initialized and booted because of p...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
AAAI
1994
13 years 11 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
COMPSYSTECH
2009
13 years 7 months ago
2009
: Facial expressions play an important role in human nonverbal communication. They can be generated by activation and dilatation of facial muscles. In this paper we describe a syst...
ERSHOV
2003
Springer
14 years 2 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...