Huiqing Li
Inventor of Wrangler
University of Kent
Huiqing Li got her PhD at Kent University in September 2006 and works as a post doc in the EU project ProTest to further develop the refactoring tool Wrangler.
Huiqing Li is Giving the Following Talks
Testing Wrangler with QuickCheck
Refactoring tools ought to allow program developers to quickly and
safely refactor their programs, especially large programs. However, a
robust and safe refactoring tool is hard to develop, and most
refactoring tools still contain bugs even after extensive testing.
While unit testing does help to find bugs to refactoring tools, it is tedious to manually write test programs, and the coverage of the test cases is hard to guarantee because of all the possible programs you can potentially refactor, and it is even harder to test refactoring tools on large systems.
In this talk, we present the technique of using Quviq QuickCheck to
automate the testing of Wrangler, the Erlang refactoring tool developed by University of Kent, and summarise our experience so far.
While unit testing does help to find bugs to refactoring tools, it is tedious to manually write test programs, and the coverage of the test cases is hard to guarantee because of all the possible programs you can potentially refactor, and it is even harder to test refactoring tools on large systems.
In this talk, we present the technique of using Quviq QuickCheck to
automate the testing of Wrangler, the Erlang refactoring tool developed by University of Kent, and summarise our experience so far.
QuickCheck Case Studies
QuickCheck has proven itself across a range of applications. Here four speakers give short review of how they have applied QuickCheck in different environments, namely:
- Adam Linberg - Using QuickCheck for testing a domain specific languages
- Ulf Norell - Using QuickCheck for testing C code
- Huiqing Li - Testing Wrangler with QuickCheck
- Hans Svensson - Connecting QuickCheck and Rose/RT to test Radio Base Stations