Formal Test Purposes and the Validity of Test Cases

Authors:
Peter H. Deussen;Stephan Tobies
Affiliations:
-;-
Venue:
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Year:
2002

Citing 4
Cited 2

Modeling concurrency with partial orders

International Journal of Parallel Programming
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
An Execution Semantics for MSC-2000

SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Implementation of TTCN-3 Test Systems using the TRI

TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV

Implementing MSC Tests with Quiescence Observation

TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
TPLan-a notation for expressing test purposes

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We 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.