Computation in an algebra of test selection criteria

Details Computation in an algebra of test selection criteria Computation in an algebra of test selection criteria

1999-12-24

arxiv.org/abs/cs/9912018v1

Computer Science

Software Engineering

Unpublished paper dated May 12, 1993. 37 pages, LaTeX

Scientific paper

One of the key concepts in testing is that of adequate test sets. A test selection criterion decides which test sets are adequate. In this paper, a language schema for specifying a large class of test selection criteria is developed; the schema is based on two operations for building complex criteria from simple ones. Basic algebraic properties of the two operations are derived. In the second part of the paper, a simple language-an instance of the general schema-is studied in detail, with the goal of generating small adequate test sets automatically. It is shown that one version of the problem is intractable, while another is solvable by an efficient algorithm. An implementation of the algorithm is described.

Affiliated with

Also associated with

No associations

Rating

Computation in an algebra of test selection criteria 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 Computation in an algebra of test selection criteria, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computation in an algebra of test selection criteria will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-673717