Bidirectional Testing of Communicating Systems

Typ
Examensarbete för masterexamen
Master Thesis
Program
Computer science – algorithms, languages and logic (MPALG), MSc
Publicerad
2017
Författare
Algehed, Maximilian
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
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.
Beskrivning
Ämne/nyckelord
Data- och informationsvetenskap , Computer and Information Science
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material
Index