Sciweavers

TOOLS
2010
IEEE

Contract-Driven Testing of JavaScript Code

13 years 8 months ago
Contract-Driven Testing of JavaScript Code
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts at the same time. Function contracts in JSContest serve a dual role as specifications of the input/output behavior and as test case generators. Generation of test data for a contract is principally random, but can be guided by annotations on the contract to achieve higher coverage. Annotations may indicate dependencies among parameters or between parameters and the result or they may select lightweight program analyses, the results of which influence the choice of test data. A case study substantiates that JSContest finds type-related errors with high probability.
Phillip Heidegger, Peter Thiemann
Added 10 Jul 2010
Updated 10 Jul 2010
Type Conference
Year 2010
Where TOOLS
Authors Phillip Heidegger, Peter Thiemann
Comments (0)