SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "id:"swepub:oai:DiVA.org:hh-23681" "

Search: id:"swepub:oai:DiVA.org:hh-23681"

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Noroozi, Neda, et al. (author)
  • Synchrony and asynchrony in conformance testing
  • 2015
  • In: Software and Systems Modeling. - Heidelberg : Springer. - 1619-1366 .- 1619-1374. ; 14:1, s. 149-172
  • Journal article (peer-reviewed)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
journal article (1)
Type of content
peer-reviewed (1)
Author/Editor
Mousavi, Mohammad Re ... (1)
Khosravi, Ramtin (1)
Noroozi, Neda (1)
Willemse, Tim A.C. (1)
University
Halmstad University (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
2015 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view