Paper Info
Title
Formal Methods and Conformance Testing --or-- What are we testing anyway?
Abstract
In this paper, we will show the correlation between the notion of implementation relationsknown from formal methods and ideas of conformance testing. We will show that theimplementation relations realized through the practical testing of systems come from afamily of parameterized implementation relations. We will also show that for glass boxtesting, implementation relations parameterized by test purposes converge to the maytesting preorder of DeNicola and Hennessy [7], while for black box...
Year
Venue
Keywords
1998
FBT
conformance testing,formal method
Field
DocType
Citations 
Software engineering,Computer science,Conformance testing,Formal methods
Conference
0
PageRank 
References 
Authors
0.34
3
2
Name
Order
Citations
PageRank
Stefan Heymer1286.72
Jens Grabowski232.13