p
IVF
package IVF
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
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- IVF
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
case class
SampleAST(name: String, ast: Command, testList: List[SampleTest] = List()) extends Product with Serializable
Holds an abstract syntax tree and tests to run on it
Holds an abstract syntax tree and tests to run on it
- name
abstract syntax tree name
- ast
abstract syntax tree to hold
- testList
tests to execute on ast
-
case class
SampleTest(criterion: Criterion, statesList: List[List[State]] = List(), drawGraphs: Boolean = true) extends Product with Serializable
Holds a test to run
Holds a test to run
- criterion
criterion to test
- statesList
list of states to run the criterion with
- drawGraphs
draw graphs for tests in statesList
Value Members
- def exportGraph(cfg: CFG, name: String, label: String = "", redCoverageUnits: Seq[CoverageUnit] = Seq(), greenCoverageUnits: Seq[CoverageUnit] = Seq()): String
-
def
run(): Unit
The entry point for computations
-
object
Sample
This objects holds the tests to run