Testing Erlang-OTP with QuickCheck

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/111915
Download file(s):
There are no files associated with this item.
Type: Examensarbete för masterexamen
Master Thesis
Title: Testing Erlang-OTP with QuickCheck
Authors: Din, Crystal Chang
Abstract: Erlang/OTP is a concurrent functional language developed and maintained by Ericsson AB, and was released as open source in 1998. Though Erlang/OTP has been tested for many years, it is still possible to find more bugs since some test cases have not been written yet. The commercial version of QuickCheck for Erlang was recently developed by Quviq AB. It is a tool replacing conventional test cases by writing specification of properties under test that the tested function should fulfill. Moreover, QuickCheck also provides libraries for testing operations containing side-effects, which are specified via an abstract state machine. Based on that, QuickCheck is a testing tool mainly applied in this thesis that focuses on Erlang/OTP data-structures. In the first part, it starts with analyzing properties of pure functions in various data-structure modules. After that, we develop extensive test suites. As long as the functions having the same property, they can be tested through the same property. In the second part, we test imperative functions of the rest of data-structure modules by using QuickCheck state machine. The bugs which were found in Erlang/OTP as well as the method which was used to identify the bugs will also be described in the later part.
Keywords: Programvaruteknik;Software Engineering
Issue Date: 2009
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/111915
Collection:Examensarbeten för masterexamen // Master Theses



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