Sökning: onr:"swepub:oai:DiVA.org:hh-20330" >
Synchronizing Async...
Synchronizing Asynchronous Conformance Testing
-
- Noroozi, Neda (författare)
- Eindhoven University of Technology, Eindhoven, Netherlands
-
- Khosravi, Ramtin (författare)
- University of Tehran, Tehran, Iran
-
- Mousavi, Mohammad Reza (författare)
- Eindhoven University of Technology, Eindhoven, Netherlands
-
visa fler...
-
- Willemse, Tim (författare)
- Eindhoven University of Technology, Eindhoven, Netherlands
-
visa färre...
-
(creator_code:org_t)
- Berlin : Springer Berlin/Heidelberg, 2011
- 2011
- Engelska.
-
Ingår i: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). - Berlin : Springer Berlin/Heidelberg. - 9783642246890 ; , s. 334-349
- Relaterad länk:
-
https://pure.tue.nl/...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We present several theorems and their proofs which enable using synchronous 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. © 2011 Springer-Verlag.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas