Abstract
Effective maintenance and evolution of complex, software intensive
systems requires understanding how the system works and having tests available
to verify the effects of changes. Understanding complex systems is difficult,
and testability of these systems is often low due to design constraints,
system complexity and longterm evolution. Thus understanding the system and
adding new tests is difficult. Yet, especially in these cases, the
understanding and tests are important to verify the system correctness over
long-term evolution. This paper discusses synthesizing models from system
traces and using these models to facilitate program understanding and test
automation. Basing the models on execution traces allows generation of
automated tests even for low testability systems. Generating and visualizing
abstracted models facilitates program understanding, which helps in system
maintenance.
| Original language | English |
|---|---|
| Title of host publication | International Conference on Software Engineering Advances, ICSEA 2007 |
| Place of Publication | Piscataway |
| Publisher | IEEE Institute of Electrical and Electronic Engineers |
| Pages | 289-298 |
| ISBN (Print) | 978-0-7695-2937-0 |
| DOIs | |
| Publication status | Published - 2007 |
| MoE publication type | A4 Article in a conference publication |
| Event | International Conference on Software Engineering Advances, ICSEA 2007 - Cap Esterel, France Duration: 25 Aug 2007 → 31 Aug 2007 |
Conference
| Conference | International Conference on Software Engineering Advances, ICSEA 2007 |
|---|---|
| Abbreviated title | ICSEA 2007 |
| Country/Territory | France |
| City | Cap Esterel |
| Period | 25/08/07 → 31/08/07 |
Keywords
- automated software testing
- software systems
- software test automation
- software testing
- system testing
- system tracing