Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction

Jens R. Calamé, Natalia Ioustinova

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

    7 Citations (Scopus)

    Abstract

    Developing test suites is a costly and error-prone process. Model-based test generation tools facilitate this process by automatically generating test cases from system models. The applicability of these tools, however, depends on the size of the target systems. Here, we propose an approach to generate test cases by combining data abstraction, enumerative test generation and constraint-solving. Given the concrete specification of a possibly infinite system, data abstraction allows to derive an abstract system, which is finite and thus suitable for the automatic generation of abstract test cases with enumerative tools. To execute abstract test cases, we have to instantiate them with concrete data. For data selection we make use of constraint-solving techniques.
    Original languageUndefined
    Title of host publicationProceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)
    EditorsJ.M.T. Romijn, G. Smith, Jan Cornelis van de Pol
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages25-48
    Number of pages24
    DOIs
    Publication statusPublished - 6 Oct 2007
    EventDoctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM 2005 - Eindhoven, The Netherlands
    Duration: 29 Nov 200529 Nov 2005

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    NumberLNCS4549
    Volume191
    ISSN (Print)1571-0661
    ISSN (Electronic)1571-0661

    Workshop

    WorkshopDoctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM 2005
    Period29/11/0529/11/05
    Other29 November 2005

    Keywords

    • FMT-TESTING
    • METIS-242015
    • EWI-11279
    • IR-61972

    Cite this