From test cases to FSMs

Thomas Arts, Simon Thompson
2010 Proceedings of the 9th ACM SIGPLAN workshop on Erlang - Erlang '10  
This paper uses the inference of finite state machines from EUnit test suites for Erlang programs to make two contributions. First, we show that the inferred FSMs provide feedback on the adequacy of the test suite that is developed incrementally during the test-driven development of a system. This is novel because the feedback we give is independent of the implementation of the system. Secondly, we use FSM inference to develop QuickCheck properties for testing state-based systems. This has the
more » ... tems. This has the effect of transforming a fixed set of tests into a property which can be tested using randomly generated data, substantially widening the coverage and scope of the tests.
doi:10.1145/1863509.1863511 dblp:conf/erlang/ArtsT10 fatcat:qjpqqnqzdvg73koyg6znjnfwki