Computer Science Logic and 8th Kurt Gödel Colloquium Bernhard K. Aichernig: The Commuting V-Diagram: On the Relation of Refinement and Testing

Welcome and News Host Institutions Calls and Deadlines Program Social Program Registration Location and Venue Accommodation Committees Contact Colocated Events Authors' instructions

Print this page This article discusses the relations between the step-wise development of software through refinement and the design of test-cases. It turns out that a commuting diagram inspired by the V-process model is able to clarify the issues involved. This V-diagram defines the dependencies of specifications, implementations and test-cases in a category of contracts. The objects in this category are contracts defined in the formalism of the refinement calculus. The maps are the refinement steps between these objects. Our framework is able to define the correctness notion of test-cases, testing strategies as refinement rules, and which test-cases should be added under refinement. © 2002-2003 Kurt Gödel Society, Norbert Preining. 2003-06-04