An experience report on an industrial case-study about timed model-based testing with UPPAAL-TRON

C. Rütz, J. Schmaltz

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

    5 Citations (Scopus)

    Abstract

    Several theories have been proposed for timed model-based testing, but only few case-studies have been reported. In this paper, we report about our experience in using UPPAAL-TRON to test the conformance of an industrial implementation Auto trust of Automatic Trust Anchor Updating, a protocol to help securing DNS. We created models for specific parts of the protocol focussing on security key states and critical timing behaviours. We developed testing environments to test one or multiple keys and to check a security-relevant feature. This case-study also illustrates several challenges when testing timed systems, namely, quiescence, latency, and coverage.
    Original languageEnglish
    Title of host publicationFourth International IEEE Conference on Software Testing, Verification and Validation (ICST 2012, Berlin, Germany, 21-25 March, 2011. Workshop Proceedings)
    EditorsO. Nguena-Timo, A. Rollet
    PublisherIEEE Computer Society
    Pages39-46
    DOIs
    Publication statusPublished - 2011

    Fingerprint Dive into the research topics of 'An experience report on an industrial case-study about timed model-based testing with UPPAAL-TRON'. Together they form a unique fingerprint.

    Cite this