Formal Test Purposes and The Validity of Test Cases

Simple item page
dc.creatorDeussen, Peter H.
dc.creatorTobies, Stephan
dc.date2004-12-22
dc.date.accessioned2026-07-07T03:22:18Z
dc.date.available2026-07-07T03:22:18Z
dc.descriptionWe give a formalization of the notion of test purpose based on (suitably restricted) Message Sequence Charts. We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity.
dc.descriptionThis paper appeared in the proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002), number 2529 Lecture Notes in Computer Science
dc.identifierhttps://arxiv.org/abs/cs/0412100
dc.identifierhttp://arxiv.org/abs/cs/0412100
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32537
dc.subjectData Structures and Algorithms
dc.titleFormal Test Purposes and The Validity of Test Cases
dc.typetext

Files

Collections

arXiv