Quantitative Testing

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

    7 Citations (Scopus)
    40 Downloads (Pure)

    Abstract

    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)
    Pages227-236
    Number of pages10
    ISBN (Print)978-1-60558-468-3
    DOIs
    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

    Name
    PublisherACM

    Conference

    Conference8th ACM International Conference on Embedded Software, EMSOFT 2008
    Abbreviated titleEMSOFT
    CountryUnited States
    CityAtlanta
    Period19/10/0824/10/08

    Keywords

    • 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