Data types are the core of many applications, and libraries offering implementations of data types should better be solid and well tested. Testing purely functional data types with QuickCheck provides a complete test method for data types, but establishing a complete test method for data types with side-effects is still an open issue. In this paper we show how we can use a stateful QuickCheck model to establish a complete test method for any data type. Considering side effects allows us to move from the purely functional world to the imperative world, as needed to face the testing of data types implementations in languages such as C. We therefore applied our method to some of the data types provided by the well-known GNOME Glib library.

Länka till denna publikation

Dela på webben

Skapa referens, olika format (klipp och klistra)

BibTeX @conference{Arts2011,author={Arts, Thomas and Castro, L. M.},title={Model-based testing of data types with side effects},booktitle={Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011},isbn={978-145030859-5},pages={30-38},abstract={Data types are the core of many applications, and libraries offering implementations of data types should better be solid and well tested. Testing purely functional data types with QuickCheck provides a complete test method for data types, but establishing a complete test method for data types with side-effects is still an open issue. In this paper we show how we can use a stateful QuickCheck model to establish a complete test method for any data type. Considering side effects allows us to move from the purely functional world to the imperative world, as needed to face the testing of data types implementations in languages such as C. We therefore applied our method to some of the data types provided by the well-known GNOME Glib library.},year={2011},keywords={data types, erlang, model-based testing, quickcheck, software verification },}

RefWorks RT Conference ProceedingsSR ElectronicID 150539A1 Arts, ThomasA1 Castro, L. M.T1 Model-based testing of data types with side effectsYR 2011T2 Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011SN 978-145030859-5SP 30OP 38AB Data types are the core of many applications, and libraries offering implementations of data types should better be solid and well tested. Testing purely functional data types with QuickCheck provides a complete test method for data types, but establishing a complete test method for data types with side-effects is still an open issue. In this paper we show how we can use a stateful QuickCheck model to establish a complete test method for any data type. Considering side effects allows us to move from the purely functional world to the imperative world, as needed to face the testing of data types implementations in languages such as C. We therefore applied our method to some of the data types provided by the well-known GNOME Glib library.LA engDO 10.1145/2034654.2034662LK http://dx.doi.org/10.1145/2034654.2034662OL 30