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

6 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