hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
Philips Healthcare, Best, Netherlands.
Philips Healthcare, Best, Netherlands.
Philips Healthcare, Best, Netherlands.
Eindhoven University of Technology, Eindhoven, Netherlands.ORCID iD: 0000-0002-4869-6794
2012 (English)In: Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012), Piscataway, N.J.: IEEE Press, 2012, 219-224 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Piscataway, N.J.: IEEE Press, 2012. 219-224 p.
Keyword [en]
Constraint-based testing, Decision-table-based testing, Model-based testing, SpecExplorer
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20322DOI: 10.1109/ISSREW.2012.88Scopus ID: 2-s2.0-84873352644ISBN: 978-076954928-6 OAI: oai:DiVA.org:hh-20322DiVA: diva2:583416
Conference
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, USA, 27-30 November 2012; Category numberE4928; Code95287
Available from: 2013-01-08 Created: 2013-01-08 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 87 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf