IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic execution and program testing
Communications of the ACM
Testing telecoms software with quviq QuickCheck
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Testing Erlang data types with quviq quickcheck
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
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.