Sciweavers

Share
ICST
2009
IEEE

PKorat: Parallel Generation of Structurally Complex Test Inputs

9 years 28 days ago
PKorat: Parallel Generation of Structurally Complex Test Inputs
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java programs. Given a Java predicate that represents the desired constraints and a bound on the input size, Korat systematically explores the bounded input space of the predicate and enumerates inputs that satisfy the constraint. Korat search is largely sequential: it considers one candidate input in each iteration and it prunes the search space based on the candidates considered. This paper presents PKorat, a new parallel algorithm that parallelizes the Korat search. PKorat explores the same state space as Korat but considers several candidates in each iteration. These candidates are distributed among parallel workers resulting in an efficient parallel version of Korat. Experimental results using complex structural constraints from a variety of subject programs show significant speedups over the traditional Korat...
Junaid Haroon Siddiqui, Sarfraz Khurshid
Added 24 May 2010
Updated 24 May 2010
Type Conference
Year 2009
Where ICST
Authors Junaid Haroon Siddiqui, Sarfraz Khurshid
Comments (0)
books