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
On the Complexity of Input Output Conformance Testing
Eindhoven University of Technology, Eindhoven, The Netherlands.
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
Eindhoven University of Technology, Eindhoven, The Netherlands.
2014 (English)In: Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / [ed] José Luiz Fiadeiro, Zhiming Liu & Jinyun Xue, Heidelberg: Springer, 2014, 291-309 p.Conference paper, Published paper (Refereed)
Abstract [en]

Input-output conformance (ioco) testing is a well-known approach to model-based testing. In this paper, we study the complexity of checking ioco. We show that the problem of checking ioco is PSPACE-complete. To provide a more efficient algorithm, we propose a more restricted setting for checking ioco, namely with deterministic models and show that in this restricted setting ioco checking can be performed in polynomial time. © 2014 Springer International Publishing Switzerland.

Place, publisher, year, edition, pages
Heidelberg: Springer, 2014. 291-309 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8348
Keyword [en]
Model-Based Testing, Conformance Testing, Complexity Theory
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-24046DOI: 10.1007/978-3-319-07602-7_18ISI: 000342900000018Scopus ID: 2-s2.0-84905822971ISBN: 978-3-319-07601-0 (print)ISBN: 978-3-319-07602-7 (print)OAI: oai:DiVA.org:hh-24046DiVA: diva2:668685
Conference
10th International Symposium on Formal Aspects of Component Software (FACS 2013), Nanchang, China, 27–29 October 2013
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Available from: 2013-12-02 Created: 2013-12-02 Last updated: 2017-03-28Bibliographically approved

Open Access in DiVA

fulltext(482 kB)86 downloads
File information
File name FULLTEXT01.pdfFile size 482 kBChecksum SHA-512
d9f92b4a418ac756ae02f83600fdf0d24332dfb3567c075bd32a2c99faeaea0d2d9b993c0227b98895bc2b53ac509ff78168416358f71ace0b5880b113130b25
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Mousavi, Mohammad Reza

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 86 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 103 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