Seeker

Rating:        Based on 1 rating
Reviewed:  1 review
Downloads: 105
Released: Aug 20, 2010
Updated: Nov 1, 2010 by sthumma
Dev status: Alpha Help Icon

Recommended Download

Source Code Seeker V1.0 src
source code, 130K, uploaded Aug 31, 2010 - 105 downloads

Release Notes

Seeker: Demand-Driven Method-Sequence Generation for Object-Oriented Unit Testing

Achieving high structural coverage of object-oriented code in unit testing requires method sequences. These method sequences help produce desired object states such as receiver or argument object states of a method under test (MUT). Automatic generation of method sequences is quite challenging, since sequences often involve methods from multiple classes, resulting in a large search space of possible sequences. Furthermore, various aspects of object-oriented programming such as encapsulation, inheritance, and nested classes pose additional challenges in effectively generating desired sequences. To address this important and yet challenging problem, we propose a novel approach, called Seeker, that uses a combination of static and dynamic analyses. In particular, Seeker forms a feedback loop between static and dynamic analyses via dynamic symbolic execution (DSE). To show the effectiveness of our approach, we compare our approach with state-of-the-art random and DSE-based approaches on four popular applications including 28 KLOC. In our evaluations, we show that Seeker achieves 12% (653 new branches) and 26% (1571 new branches) higher branch coverage than existing DSE-based and random approaches, respectively. Since the branches that are not covered by these existing approaches are generally quite hard to cover, achieving such higher coverage than these approaches is significant. We also show that Seeker detects 34 new defects.

Please follow the instructions mentioned in InstallationManual.txt for using Seeker. More details are available at our project website.

Reviews for this release

     
Tried this with Pex 0.94. Issues I have discovered that can help future "seekers": 1)Had to re-add the reference to Microsoft.Pex.Framework and Microsoft.ExtendedReflection assemblies. 2)Had to download and install chilkat perl module. This can be done with the command: "ppm install http://www.chilkatsoft.com/download/chilkatPerl.ppd" (You need also add perl location to the PATH system variable)
by Artium on May 29, 2012 at 5:20 PM