1200 search results - page 3 / 240 » Conformance Testing of Objects in Distributed Processing Sys... |
SIGSOFT
2000
ACM
13 years 10 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
FTDCS
2003
IEEE
13 years 11 months ago
2003
IEEE
SAC
2006
ACM
13 years 5 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
CONCUR
1999
Springer
13 years 10 months ago
1999
Springer
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...
ISQED
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...