IVF Project Documentation < Back

Packages

package root

Definition Classes
root
package IVF
This project is built over the following components
This project is built over the following components
- IVF.Model : contains abstract syntax trees and control flow graphs, enables to execute code
- IVF.Criterion : defines criterion and coverage, useful to test a given program on predefined states set with a criterion
- IVF.TestGenerator : enables to generate automatically tests from criteria
Definition Classes
root
package Criterion

Definition Classes
IVF
AllAssignCriterion
AllDUPathsCriterion
AllDecisionsCriterion
AllDefinitionsCriterion
AllILoopsCriterion
AllKPathCriterion
AllUsagesCriterion
Coverage
CoverageUnit
Criterion
Node
NodeCoverage
Path
PathCoverage
SourceAnyTargetCoverage
SourceTarget
SourceTargetCoverage
SourceTargets

Coverage

Companion object Coverage

sealed trait Coverage extends AnyRef

Enables to test a coverage

It is returned by a criterion build function

Linear Supertypes

AnyRef, Any

Known Subclasses

NodeCoverage, PathCoverage, SourceAnyTargetCoverage, SourceTargetCoverage

Ordering

Alphabetic
By Inheritance

Inherited

Coverage
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Abstract Value Members

abstract def coverTest(cfg: CFG, states: List[State]): Seq[CoverageUnit]
Tests if a list of states covers what is required when executing a control flow graph
Tests if a list of states covers what is required when executing a control flow graph
cfg
control flow graph
states
initial states
returns
the list of uncovered units
abstract def coverTestString(cfg: CFG, states: List[State]): String
Get a human readable message of coverage success or not
Get a human readable message of coverage success or not
cfg
control flow graph
states
initial states
returns
human readable message including uncovered units

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@native()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@native() @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped