Research Article
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Table 3
Experiment results for test case generation.
| System
function | SENS Spec. | CNF | Test cases | Execution times (sec.) | | Number of states | Number of trans. labels | Number of
literals | Number of clauses | Number of
test cases | SENS to
CNF | Search all
assignments | Translate to test
cases |
| | 12 | 17 | 25 | 68 | 176 | 0.044 | 0.031 | 0.056 | | 4 | 3 | 11 | 19 | 19 | 0.050 | 0.006 | 0.013 | | 12 | 36 | 36 | 141 | 1,330 | 0.069 | 0.053 | 0.125 | | | 30 | 620 | 62,845 | 893,155 | 0.175 | 1565.90 | 56.57 | | | 30 | 102 | 406 | 157,874 | 0.078 | 62.24 | 21.77 | | | 3 | 91 | 715 | 77,700 | 0.151 | 9.609 | 1.929 |
|
|
