Bidirectional Testing of Communicating Systems

Visa enkel post
dc.contributor.authorAlgehed, Maximilian
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T14:42:07Z
dc.date.available2019-07-03T14:42:07Z
dc.date.issued2017
dc.description.abstractThis 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.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/254897
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectData- och informationsvetenskap
dc.subjectComputer and Information Science
dc.titleBidirectional Testing of Communicating Systems
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
local.programmeComputer science – algorithms, languages and logic (MPALG), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
254897.pdf
Storlek:
557.27 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen