Ceres: Created page with "{{StudentProjectTemplate |Summary=Parameterized Unit Testing Environment Based on JUnit |Keywords=Unit Testing, jUnit, Parameterized Test, Symbolic Execution |References=N. Ti..."

2016-10-11T08:26:29Z

Created page with "{{StudentProjectTemplate |Summary=Parameterized Unit Testing Environment Based on JUnit |Keywords=Unit Testing, jUnit, Parameterized Test, Symbolic Execution |References=N. Ti..."

New page

{{StudentProjectTemplate
|Summary=Parameterized Unit Testing Environment Based on JUnit
|Keywords=Unit Testing, jUnit, Parameterized Test, Symbolic Execution
|References=N. Tillmann and W. Schulte. Parameterized unit tests. Proceedings of ESEC/FSE-13, ACM, 2005.
|Prerequisites=Java programming, unit testing, test coverage, symbolic execution.
|Supervisor=Mohammad Mousavi
}}
The idea is to implement a parameterized unit testing environment for Java (baed on jUnit), where one can specified unit tests with unspecified parameters (possibly restricted by some pre-condition predicates) and then concrete test cases are generated by instantiating the parameters in such a way that the coverage is maximized (using techniques akin to concolic testing and symbolic execution).

References:

N. Tillmann and W. Schulte. Parameterized unit tests. Proceedings of ESEC/FSE-13, ACM, 2005.

K. Sen. Concolic testing, Proc. of ASE 2007, ACM, 2007.

Parameterized Unit Testing Environment - Revision history

Ceres: Created page with "{{StudentProjectTemplate |Summary=Parameterized Unit Testing Environment Based on JUnit |Keywords=Unit Testing, jUnit, Parameterized Test, Symbolic Execution |References=N. Ti..."