Formal Test Purposes and The Validity of Test Cases

Details Formal Test Purposes and The Validity of Test Cases Formal Test Purposes and The Validity of Test Cases

2004-12-22

arxiv.org/abs/cs/0412100v1

Computer Science

Data Structures and Algorithms

This paper appeared in the proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Formal Test Purposes and The Validity of Test Cases does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Formal Test Purposes and The Validity of Test Cases, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formal Test Purposes and The Validity of Test Cases will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-542945