Edit StudentProjectForm: Parameterized Unit Testing Environment

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Summary:	(provide a one-line* summary of the project)*
Programme:	(Name and the number of credits)
Keywords:	(Give 4-5 keywords)
TimeFrame:	(Indicate start and duration of project)
References:	N. Tillmann and W. Schulte. Parameterized unit tests. Proceedings of ESEC/FSE-13, ACM, 2005. (Give 2-3 references for students to start with)
Prerequisites:	Java programming, unit testing, test coverage, symbolic execution. (Courses, any other important information)
Supervisor(s):	(can be multiple names, coma-separated)
Examiner:	(Name of project Examiner)
Author(s):	(can be multiple names, coma-separated)
Level:
Status:

Project description (free text)

Give a concise project description. Include:

Research question
Whether it’s more software or hardware related
A very brief description of 3-4 work packages
Deliverables/outcomes/results

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.

Summary:

This is a minor edit Watch this page

Cancel

Edit StudentProjectForm: Parameterized Unit Testing Environment

Navigation menu

Views

Personal tools

Search

Tools