Parameterized Unit Testing Environment

From CERES
Jump to: navigation, search
Title Parameterized Unit Testing Environment
Summary Parameterized Unit Testing Environment Based on JUnit
Keywords Unit Testing, jUnit, Parameterized Test, Symbolic Execution
TimeFrame
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.
Author
Supervisor Mohammad Mousavi
Level
Status

Generate PDF template

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.