CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

From test cases to FSMs: Augmented test-driven development and property inference

Thomas Arts (Institutionen för data- och informationsteknik, Software Engineering (Chalmers)) ; S. Thompson
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP; 9th ACM SIGPLAN Erlang Workshop, Erlang 2010, Co-located with ICFP'10; Baltimore, MD; 30 September 2010 through 30 September 2010 p. 1-12 . (2010)
[Konferensbidrag, refereegranskat]

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 Quick Check properties for testing state-based systems. 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.

Nyckelord: Erlang, EUnit, Finite-state machine, Inference, Property, QuickCheck, TDD, Test-driven development, Unit test

Denna post skapades 2010-12-28. Senast ändrad 2011-03-07.
CPL Pubid: 131918


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Software Engineering (Chalmers)


Information Technology

Chalmers infrastruktur