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
Synchrony and asynchrony in conformance testing
Eindhoven University of Technology, Eindhoven, The Netherlands. (Department of Computer Science)
University of Tehran, Tehran, Iran.
Eindhoven University of Technology, Eindhoven, The Netherlands. (Department of Computer Science)ORCID iD: 0000-0002-4869-6794
Eindhoven University of Technology, Eindhoven, The Netherlands. (Department of Computer Science)
2015 (English)In: Journal of Software and Systems Modeling (online), ISSN 1619-1366, E-ISSN 1619-1374, Vol. 14, no 1, 149-172 p.Article in journal (Refereed) Published
Abstract [en]

We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. © 2015, Springer-Verlag Berlin Heidelberg.

Place, publisher, year, edition, pages
Heidelberg: Springer, 2015. Vol. 14, no 1, 149-172 p.
Keyword [en]
Conformance testing, ioco, Asynchronous conformance testing, Queue context, Internal choice implementation
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-23681DOI: 10.1007/s10270-012-0302-8ISI: 000349026100010Scopus ID: 2-s2.0-84922338115OAI: oai:DiVA.org:hh-23681DiVA: diva2:651740
Available from: 2013-09-27 Created: 2013-09-27 Last updated: 2017-12-06Bibliographically approved

Open Access in DiVA

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

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
In the same journal
Journal of Software and Systems Modeling (online)
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 118 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
urn-nbn

Altmetric score

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