Synchronizing Asynchronous Conformance Testing

Noroozi, NedaEindhoven University of Technology, Eindhoven, Netherlands (författare)

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.

Khosravi, RamtinUniversity of Tehran, Tehran, Iran (författare)
Mousavi, Mohammad RezaEindhoven University of Technology, Eindhoven, Netherlands(Swepub:hh)mohmou (författare)
Willemse, TimEindhoven University of Technology, Eindhoven, Netherlands (författare)
Eindhoven University of Technology, Eindhoven, NetherlandsUniversity of Tehran, Tehran, Iran (creator_code:org_t)

Ingår i:Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011)Berlin : Springer Berlin/Heidelberg, s. 334-3499783642246890

Av författaren/redakt...: Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohamma ...; Willemse, Tim

Om ämnet

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.