Title :
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
Author :
Vishal, Vikrant ; Kovacioglu, M. ; Kherazi, R. ; Mousavi, M.R.
Author_Institution :
Philips Healthcare, Best, Netherlands
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.
Keywords :
X-ray detection; formal specification; health care; program testing; spreadsheet programs; FXD Department; Philips Healthcare; SpecExplorer; behavioral specifications; constraint-based testing; flat X-ray detection; model-based testing; spreadsheet; Adaptation models; Concrete; Data models; Detectors; Measurement; Testing; X-ray imaging; Constraint-Based Testing; Decision-Table-Based Testing; Model-Based Testing; SpecExplorer;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
978-1-4673-5048-8
DOI :
10.1109/ISSREW.2012.88
