Source Code
Coverage Web Applications

Links to the source code
March 2015

These Java source files are provided on an “as-is” basis in an open-source model. We ask that you communicate any corrections, additions or improvements to the authors.

You can download a complete zip file ready to be imported into Eclipse, a zip file containing just the source (.java) files, or individual files through the tables below.

 
# Java files under the coverage.web package
1 Graph Coverage
2 Data Flow Coverage
3 Data Flow Coverage 1
4 Logic Coverage
5 Minimal MUMCUT Coverage
6 InvalidInputException
 
# Java files under the coverage.graph package
1 Node
2 Edge
3 Path
4 Variable
5 GraphBase
6 Graph
7 Data Flow Graph
8 GraphAdapter
9 GraphUtil
10 InvalidGraphException
 
# Java files under the coverage.applet package
1 GraphApplet
 
# Java files under the coverage.logic package
1 Expression
2 ExprLexer
3 ExprParser
4 ExprParserTokenTypes
5 InvalidOperatorException
6 TruthTable
7 BiExpression
8 NotExpression
9 VarExpression
10 Logic
11 grammar
 
# Java files under the minimalMUMCUT package
1 MinimalMUMCUT
2 InvalidException
 
# Test Files
1 GraphCoverageTest.java
2 DataFlowCoverageTest.java
3 LogicCoverageTest.java
4 GCTest_edgePair_stateInvariant.java
5 GCTest_edge_stateInvariant.java
6 MinimalMUMCUTCoverageTest.java
7 TempTest.java

Companion software
to Introduction to Software Testing, Ammann and Offutt.
Design by Jeff Offutt, Paul Ammann, and Nan Li.
Implementation by Wuzhi Xu, Nan Li, and Lin Deng.
© 2007-2015, all rights reserved.
Last update: 19-March-2015