Bidirectional Testing of Communicating Systems

Publicerad

Typ

Examensarbete för masterexamen
Master Thesis

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

item.page.endorsement

item.page.review

item.page.supplemented

item.page.referenced