Integrating model-based and constraint-based testing using SpecExplorer

V. Vishal, M. Kovacioglu, R. Kherazi, M.R. Mousavi

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

    7 Citations (Scopus)
    2 Downloads (Pure)

    Abstract

    We report on our experience with model-based testing using SpecExplorer within the Flat X-Ray Detection (FXD) Department of Philips Healthcare. Our initial experiments showed a practical obstacle in combining traditional functional testing techniques with model-based testing using SpecExplorer. We overcome this obstacle by specifying the constraints on our data domain in a spreadsheet and interfacing SpecExplorer with a constraint solver in order to generate concrete test data for the behavioral specifications. We report on some empirical results obtained from our experiments.
    Original languageEnglish
    Title of host publicationProceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSRE, Dallas TX, USA, November 27-30, 2012)
    PublisherIEEE Computer Society
    Pages219-224
    ISBN (Print)978-0-7695-4928-6
    DOIs
    Publication statusPublished - 2012
    Eventconference; 4th Workshop on Model-based Testing in Practice (MoTiP); 2012-11-27; 2012-11-30 -
    Duration: 27 Nov 201230 Nov 2012

    Conference

    Conferenceconference; 4th Workshop on Model-based Testing in Practice (MoTiP); 2012-11-27; 2012-11-30
    Period27/11/1230/11/12
    Other4th Workshop on Model-based Testing in Practice (MoTiP)

    Fingerprint

    Dive into the research topics of 'Integrating model-based and constraint-based testing using SpecExplorer'. Together they form a unique fingerprint.

    Cite this