hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Gray-Box Conformance Testing for Symbolic Reactive State Machines
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
2017 (English)In: Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / [ed] Mehdi Dastani & Marjan Sirjani, Heidelberg: Springer Berlin/Heidelberg, 2017, p. 228-243Conference paper, Published paper (Refereed)
Abstract [en]

Model-based testing (MBT) is typically a black-box testing technique. Therefore, generated test suites may leave some untested gaps in a given implementation under test (IUT). We propose an approach to use the structural and behavioural information exploited from the implementation domain to generate effective and efficient test suites. Our approach considers both specification models and implementation models, and generates an enriched test model which is used to automatically generate test suites. We show that the proposed approach is sound and exhaustive and cover both the specification and the implementation. We examine the applicability and the effectiveness of our approach by applying it to a well-known example from the railway domain. © 2017, IFIP International Federation for Information Processing.

Place, publisher, year, edition, pages
Heidelberg: Springer Berlin/Heidelberg, 2017. p. 228-243
Series
Lecture Notes in Computer Science, ISSN 0302-9742 ; vol. 10522
Keywords [en]
Model checking, Software engineering, Specifications, Testing, Conformance testing, Implementation models, Implementation under tests, Model based testing, Reactive state, Specification models, Test Modeling, Black-box testing
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hh:diva-36432DOI: 10.1007/978-3-319-68972-2_15Scopus ID: 2-s2.0-85032873770ISBN: 978-3-319-68971-5 (print)ISBN: 978-3-319-68972-2 (electronic)OAI: oai:DiVA.org:hh-36432DiVA, id: diva2:1190835
Conference
7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017
Available from: 2018-03-15 Created: 2018-03-15 Last updated: 2018-03-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Taromirad, MasoumehMousavi, Mohammad Reza

Search in DiVA

By author/editor
Taromirad, MasoumehMousavi, Mohammad Reza
By organisation
Halmstad Embedded and Intelligent Systems Research (EIS)Centre for Research on Embedded Systems (CERES)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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