Bidirectional Testing of Communicating Systems

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/254897
Download file(s):
File Description SizeFormat 
254897.pdfFulltext557.27 kBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Bidirectional Testing of Communicating Systems
Authors: Algehed, Maximilian
Abstract: 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.
Keywords: Data- och informationsvetenskap;Computer and Information Science
Issue Date: 2017
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/254897
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.