An Extensible HTTP Client Library for Elixir: Verified with Property Based Random Testing

Visa enkel post
dc.contributor.authorJohnsson, Axel
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:39:27Z
dc.date.available2019-07-03T14:39:27Z
dc.date.issued2017
dc.description.abstractUse cases of the World Wide Web (the Web) constantly evolve. In order to support present and future applications interacting with the Web, a new Hypertext Transfer Protocol (HTTP) client library is proposed. The present report describes the process of implementing an HTTP client library in the Elixir programming language. The major difference between the current HTTP client library and competing projects in the Elixir landscape is that state and process management are explicit to the user. Property-based and random testing were used during correctness evaluation and have been a success to use in the context of a functional language and an Internet protocol. Four abstractions were built on top of the library where two of them are possible because of the given control over state and process management. Early results tell that the HTTP client library is comparable to existing solutions in terms of robustness and performance.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/253273
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectData- och informationsvetenskap
dc.subjectComputer and Information Science
dc.titleAn Extensible HTTP Client Library for Elixir: Verified with Property Based Random Testing
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:
253273.pdf
Storlek:
785.46 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen