Towards trace based model synthesis for program understanding and test automation

Teemu Kanstren

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    1 Citation (Scopus)

    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 languageEnglish
    Title of host publicationProceedings
    Subtitle of host publicationInternational Conference on Software Engineering Advances, ICSEA 2007
    Place of PublicationPiscataway, NJ, USA
    PublisherIEEE Institute of Electrical and Electronic Engineers
    Pages289-298
    ISBN (Print)0-7695-2937-2, 978-0-7695-2937-0
    DOIs
    Publication statusPublished - 2007
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Software Engineering Advances, ICSEA 2007 - Cap Esterel, France
    Duration: 25 Aug 200731 Aug 2007

    Conference

    ConferenceInternational Conference on Software Engineering Advances, ICSEA 2007
    Abbreviated titleICSEA 2007
    CountryFrance
    CityCap Esterel
    Period25/08/0731/08/07

    Keywords

    • automated software testing
    • software systems
    • software test automation
    • software testing
    • system testing
    • system tracing

    Fingerprint Dive into the research topics of 'Towards trace based model synthesis for program understanding and test automation'. Together they form a unique fingerprint.

  • Cite this

    Kanstren, T. (2007). Towards trace based model synthesis for program understanding and test automation. In Proceedings: International Conference on Software Engineering Advances, ICSEA 2007 (pp. 289-298). IEEE Institute of Electrical and Electronic Engineers. https://doi.org/10.1109/ICSEA.2007.80