Name
Abstract | ||
|---|---|---|
Testing denotes a set of activities that aim at discovering discrepancies between actual and intended behaviors of a system. Often, the intended behavior is known only implicitly, which renders the process of testing unstructured, unmotivated in its details, and barely reproducible. The use of explicit and executable models to describe the intended behavior promises to solve these problems. We use an industrial case study — a smart card application — to present a method for automatically generating test cases from such explicit models. The test cases are used both to validate the model and verify the actual card. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1016/S1571-0661(04)80817-X | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
Test case generation,smart cards,modeling languages,CASE. | Software engineering,Computer science,Modeling language,Smart card,Theoretical computer science,Test case,Embedded system,Executable | Journal |
Volume | ISSN | Citations |
80 | 1571-0661 | 21 |
PageRank | References | Authors |
1.60 | 13 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jan Philipps | 1 | 162 | 16.45 |
| Alexander Pretschner | 2 | 1585 | 137.50 |
| Oscar Slotosch | 3 | 173 | 19.28 |
| Ernst Aiglstorfer | 4 | 36 | 2.77 |
| Stefan Kriebel | 5 | 60 | 7.41 |
| Kai Scholl | 6 | 21 | 1.60 |