Quantitative Testing

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

    8 Citations (Scopus)
    77 Downloads (Pure)


    We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, numerical instability or noisy channels. Using quantitative transition systems to describe implementations and specifications, we introduce implementation relations that capture a notion of correctness “up to ε��?, allowing deviations of implementation from the specification of at most ε. These quantitative implementation relations are described as Hausdorff distances between certain sets of traces. They are conservative extensions of the well-known ioco relation. We develop an on-line and an off-line algorithm to generate test cases from a requirement specification, modeled as a quantitative transition system. Both algorithms are shown to be sound and complete with respect to the quantitative implementation relations introduced.
    Original languageUndefined
    Title of host publicationProceedings of the 7th ACM International conference on Embedded software
    EditorsLuca de Alfaro, Jens Palsberg
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery (ACM)
    Number of pages10
    ISBN (Print)978-1-60558-468-3
    Publication statusPublished - 2008
    Event8th ACM International Conference on Embedded Software, EMSOFT 2008 - Atlanta, United States
    Duration: 19 Oct 200824 Oct 2008
    Conference number: 8

    Publication series



    Conference8th ACM International Conference on Embedded Software, EMSOFT 2008
    Abbreviated titleEMSOFT
    Country/TerritoryUnited States


    • EC Grant Agreement nr.: FP7/214755
    • EC Grant Agreement nr.: FP7-ICT-2007-1
    • IR-65420
    • EWI-15202
    • METIS-256469
    • EC Grant Agreement nr.: IST-004527

    Cite this