Change search
ReferencesLink to record
Permanent link

Direct link
On the Complexity of Input Output Conformance Testing
Eindhoven University of Technology, Eindhoven, The Netherlands.
Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), 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 (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.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8348
Keyword [en]
Model-Based Testing, Conformance Testing, Complexity Theory
National Category
Computer and Information Science
URN: urn:nbn:se:hh:diva-24046DOI: 10.1007/978-3-319-07602-7_18ScopusID: 2-s2.0-84903554841ISBN: 978-3-319-07601-0ISBN: 978-3-319-07602-7OAI: diva2:668685
10th International Symposium on Formal Aspects of Component Software (FACS 2013), Nanchang, China, 27–29 October 2013
eLLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Available from: 2013-12-02 Created: 2013-12-02 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

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

Other links

Publisher's full textScopus

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: 50 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

Altmetric score

Total: 80 hits
ReferencesLink to record
Permanent link

Direct link