Abstract | ||
---|---|---|
Behavioral testing techniques for multilevel system software are presented. An error model of the system is defined. Concepts such as operator's cardinality, operator's ordering, test sequence ambiguity, error coverage are introduced. Such concepts lead to a set of theorems and criteria upon which test sequences' evaluation and optimum (in terms of minimum ambiguity and maximum coverage) test procedure identification are performed. |
Year | DOI | Venue |
---|---|---|
1988 | 10.1016/0165-6074(88)90030-0 | Microprocessing and Microprogramming |
DocType | Volume | Issue |
Journal | 24 | 1 |
ISSN | Citations | PageRank |
0165-6074 | 0 | 0.34 |
References | Authors | |
10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fausto Distante | 1 | 4 | 2.33 |
D. Sciuto | 2 | 1720 | 176.61 |