Name
Abstract | ||
|---|---|---|
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any specification has an exhaustive test data set whose successful submission means correctness, provided that the software under verification can be modeled as a first-order structure over the same signature. As it has already been done for positive conditional equational specifications, we derive test cases from selection criteria based on axiom coverage. Our selection criteria allows us to select test cases by iteratively unfolding an initial target test purpose, given as a formula. The initial reference test set is iteratively split into successive subsets. Each subset of test cases is defined by constraints which are increasingly introduced by the unfolding procedure to ensure an appropriate matching between the current test purpose under unfolding and specification axioms. Our unfolding procedure is sound (no test is added) and complete (no test is lost) with respect to the starting test purpose. It is exemplified on a simple example. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-75698-9_10 | FSEN |
Keywords | Field | DocType |
test case selection,axiomatic specification,quantifier-free first-order specification,initial target test purpose,derive test case,selection criterion,test selection criterion,test purpose,current test purpose,initial reference test set,exhaustive test data,test case,first order | Test selection,First order,Computer science,Axiom,Correctness,Algorithm,Software,Test data,Test case,Test set | Conference |
Volume | ISSN | ISBN |
4767 | 0302-9743 | 3-540-75697-3 |
Citations | PageRank | References |
7 | 0.44 | 15 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marc Aiguier | 1 | 98 | 14.95 |
| Agnès Arnould | 2 | 69 | 7.13 |
| Pascale Le Gall | 3 | 287 | 32.95 |
| Delphine Longuet | 4 | 64 | 7.82 |