| Autor: | Charles W. Anderson, Thomas M. Chen, Anneliese Amschler Andrews, A. Hajjar, Andre Bai |
|---|---|
| Rok vydání: | 2002 |
| Předmět: | |
| Zdroj: | Journal of Electronic Testing. 18:583-594 |
| ISSN: | 0923-8174 |
| DOI: | 10.1023/a:1020844805564 |
| Popis: | Anti-random testing has proved useful in a series of empirical evaluations. The basic premise of anti-random testing is to chose new test vectors that are as far away from existing test inputs as possible. The distance measure is either Hamming distance or Cartesian distance. Unfortunately, this method essentially requires enumeration of the input space and computation of each input vector when used on an arbitrary set of existing test data. This prevents scale-up to large test sets and/or long input vectors. We present and empirically evaluate a technique to generate anti-random vectors that is computationally feasible for large input vectors and long sequences of tests. We also show how this fast anti-random test generation (FAR) can consider retained state (i.e. effects of subsequent inputs on each other). We evaluate effectiveness of applying anti-random vectors for behavioral model verification using branch coverage as the testing criterion. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink