Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
From CERES
| 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 |
| Journal | |
| HostPublication | Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012) |
| DOI | http://dx.doi.org/10.1109/ISSREW.2012.88 |
| Conference | 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, USA, 27-30 November 2012; Category numberE4928; Code95287 |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583416 |
| 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. |
