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

    Fingerprint

    Automation
    Long Term Evolution (LTE)
    Large scale systems

    Keywords

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

    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). Piscataway, NJ, USA: IEEE Institute of Electrical and Electronic Engineers . https://doi.org/10.1109/ICSEA.2007.80
    Kanstren, Teemu. / Towards trace based model synthesis for program understanding and test automation. Proceedings: International Conference on Software Engineering Advances, ICSEA 2007 . Piscataway, NJ, USA : IEEE Institute of Electrical and Electronic Engineers , 2007. pp. 289-298
    @inproceedings{a205d3d12b9644d7b6f6cc6f607d1209,
    title = "Towards trace based model synthesis for program understanding and test automation",
    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.",
    keywords = "automated software testing, software systems, software test automation, software testing, system testing, system tracing",
    author = "Teemu Kanstren",
    year = "2007",
    doi = "10.1109/ICSEA.2007.80",
    language = "English",
    isbn = "0-7695-2937-2",
    pages = "289--298",
    booktitle = "Proceedings",
    publisher = "IEEE Institute of Electrical and Electronic Engineers",
    address = "United States",

    }

    Kanstren, T 2007, Towards trace based model synthesis for program understanding and test automation. in Proceedings: International Conference on Software Engineering Advances, ICSEA 2007 . IEEE Institute of Electrical and Electronic Engineers , Piscataway, NJ, USA, pp. 289-298, International Conference on Software Engineering Advances, ICSEA 2007, Cap Esterel, France, 25/08/07. https://doi.org/10.1109/ICSEA.2007.80

    Towards trace based model synthesis for program understanding and test automation. / Kanstren, Teemu.

    Proceedings: International Conference on Software Engineering Advances, ICSEA 2007 . Piscataway, NJ, USA : IEEE Institute of Electrical and Electronic Engineers , 2007. p. 289-298.

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

    TY - GEN

    T1 - Towards trace based model synthesis for program understanding and test automation

    AU - Kanstren, Teemu

    PY - 2007

    Y1 - 2007

    N2 - 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.

    AB - 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.

    KW - automated software testing

    KW - software systems

    KW - software test automation

    KW - software testing

    KW - system testing

    KW - system tracing

    U2 - 10.1109/ICSEA.2007.80

    DO - 10.1109/ICSEA.2007.80

    M3 - Conference article in proceedings

    SN - 0-7695-2937-2

    SN - 978-0-7695-2937-0

    SP - 289

    EP - 298

    BT - Proceedings

    PB - IEEE Institute of Electrical and Electronic Engineers

    CY - Piscataway, NJ, USA

    ER -

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