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
Decomposability in 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). Eindhoven University of Technology, Eindhoven, The Netherlands.ORCID iD: 0000-0002-4869-6794
Eindhoven University of Technology, Eindhoven, The Netherlands.
2013 (English)In: Proceedings of the 8th Workshop on Model-Based Testing / [ed] Alexander K. Petrenko & Holger Schlingloff, Open Publishing Association , 2013, 51-66 p.Conference paper, Published paper (Refereed)
Abstract [en]

We study the problem of deriving a specification for a third-party component, based on the specifi-cation of the system and the environment in which the component is supposed to reside. Particularly,we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficientcriteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system specification. We also study thecriteria for strong decomposability, by which we can ensure that only those components conformingto the derived specification can lead to a correct system.

Place, publisher, year, edition, pages
Open Publishing Association , 2013. 51-66 p.
Series
Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180 ; 111
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-21814DOI: 10.4204/EPTCS.111.5OAI: oai:DiVA.org:hh-21814DiVA: diva2:618152
Conference
Proceedings of the 8th Workshop on Model-Based Testing (MBT 2013), Rome, Italy, 17th March 2013
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Available from: 2013-04-26 Created: 2013-04-26 Last updated: 2017-04-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textFull text

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

Altmetric score

Total: 98 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