| Abstract
|
<p>We report on our experience with … <p>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.</p>om our experiments. © 2012 IEEE.</p>
|
| Author
|
Vivek Vishal +
, Mehmet Kovacioglu +
, Rachid Kherazi +
, Mohammad Reza Mousavi +
|
| Conference
|
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, USA, 27-30 November 2012; Category numberE4928; Code95287
|
| DOI
|
http://dx.doi.org/10.1109/ISSREW.2012.88 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583416
|
| EndPage
|
224 +
|
| HostPublication
|
Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012) +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
IEEE Press +
|
| StartPage
|
219 +
|
| Title
|
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
|
| Year
|
2012 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
, Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:51 +
|
