Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
Author Vivek Vishal and Mehmet Kovacioglu and Rachid Kherazi and Mohammad Reza Mousavi
Year 2012
PublicationType Conference Paper
HostPublication Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012)
Conference 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, USA, 27-30 November 2012; Category numberE4928; Code95287
Diva url
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. © 2012 IEEE.