A parameterized unit test framework based on java pathfinder

Table of Contents

List of Figures

Chapter 1: Introduction

1.1 The motivation

1.2 Our solution

1.3 Contribution

1.4 Thesis structure

Chapter 2: Automatic test data generation

2.1 Test adequacy criteria

2.1.1 Data-flow oriented adequacy criteria

2.1.2 Control-flow oriented adequacy criteria

2.2 Unit Test and Parameterized Unit Test

2.2.1 Unit Test

2.2.2 Parameterized Unit Test

2.3 Test input generation by symbolic execution

2.3.1 Symbolic execution

2.3.2 Generalized symbolic execution with lazy initializa tion

2.3.3 Code instrumentation for symbolic execution

Chapter 3: Test cases generation with JPF

3.1 Test Data Generator

3.2 Architecture of Symbolic Java PathFinder

3.2.1 The Instruction Factory

3.2.2 Attributes for storing symbolic information

3.2.3 Handling branching conditions with Choiceijienera- tors

3.2.4 Several examples of symbolic execution in Symbolic JPF

3.2.5 JPF Listeners

Chapter 4: PUTFramework

4.1 PUTFramework overview

4.2 Main components of PUTFramework

4.2.1 PUTRunner

4.2.2 PUTListener

4.2.3 PUTDriver

4.3 Configure and execute PUTFramework

4.4 Several examples

Chapter 5: Experimentation and discussion

5.1 Experimental result

5.2 Related works

5.3 Future research

Chapter 6: Conclusions

Appendix A Core components of JPF

A . l Implementation of PCChoiceGenerator for in teger number

A.2 Symbolic implementation examples

A.3 Methods of VMListener interface

A.4 Methods of SearchListener interface

Appendix В Important PUTFramework components

B .1 Main method of PUTRunner

В.2 Implementation of PUTDriver

B.3 PUTListener and important methods

Bibliography