Sciweavers

2527 search results - page 4 / 506
» A UML-Based Approach to System Testing
Sort
View
ISOOMS
1994
14 years 1 months ago
Testing of Object-Oriented Programming Systems (OOPS): A Fault-Based Approach
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
Jane Huffman Hayes
SIGSOFT
2007
ACM
14 years 10 months ago
Differential testing: a new approach to change detection
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
Robert B. Evans, Alberto Savoia
SOQUA
2004
13 years 11 months ago
An Optimum, System-Based Component Testing Approach for Evaluating Software Reliability
: In a component testing approach for evaluating system reliability, one tests units of the components or subsystems that make up a larger system in order to draw conclusions about...
Jayant Rajgopal, Mainak Mazumdar
CONCUR
1999
Springer
14 years 1 months ago
Testing Concurrent Systems: A Formal Approach
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
Jan Tretmans
ISORC
2000
IEEE
14 years 1 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm