Sökning: WFRF:(Mousavi Mohammad Reza 1978 )
> Khosravi Ramtin >
Synchrony and async...
Synchrony and asynchrony in conformance testing
-
- Noroozi, Neda (författare)
- Eindhoven University of Technology, Eindhoven, The Netherlands,Department of Computer Science
-
- Khosravi, Ramtin (författare)
- University of Tehran, Tehran, Iran
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Eindhoven University of Technology, Eindhoven, The Netherlands,Department of Computer Science
-
visa fler...
-
- Willemse, Tim A. C. (författare)
- Eindhoven University of Technology, Eindhoven, The Netherlands,Department of Computer Science
-
visa färre...
-
(creator_code:org_t)
- 2013-01-25
- 2015
- Engelska.
-
Ingår i: Software and Systems Modeling. - Heidelberg : Springer. - 1619-1366 .- 1619-1374. ; 14:1, s. 149-172
- Relaterad länk:
-
https://hh.diva-port... (primary) (Raw object)
-
visa fler...
-
http://hh.diva-porta...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Conformance testing
- ioco
- Asynchronous conformance testing
- Queue context
- Internal choice implementation
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas