In English

Bidirectional Testing of Communicating Systems

Maximilian Algehed
Göteborg : Chalmers tekniska högskola, 2017. 47 s.
[Examensarbete på avancerad nivå]

This report presents a new tool called SessionCheck. This tool helps programmers write distributed applications that work correctly. SessionCheck is designed to help rid programmers of the tedium of maintaining more than one speci cation and test suite for multiple application components. SessionCheck does this by borrowing ideas from session types [14] and domain speci c languages in order to provide a simple yet expressive and compositional speci cation language for communication protocols. Speci cations written in the SessionCheck speci cation language can be used to test both client and server implementations of the same protocol in a completely language-agnostic manner.

Nyckelord: SessionCheck, Testing, Communication Protocols

Publikationen registrerades 2018-02-15.

CPL ID: 254897

Detta är en tjänst från Chalmers bibliotek