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
  • package Model

    Contains models necessary to run tests

    Contains models necessary to run tests

    Definition Classes
    IVF
  • package AST

    Contains abstract syntax tree definitions

    Contains abstract syntax tree definitions

    See also

    IVF.Model.AST

  • AST
  • CFG
  • State
  • package TestGenerator
    Definition Classes
    IVF
p

IVF

Model

package Model

Contains models necessary to run tests

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Model
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract class AST extends AnyRef

    Base class for abstract syntax trees

    Base class for abstract syntax trees

    See also

    IVF.Model.AST.Command

    IVF.Model.AST.B.Expression

    IVF.Model.AST.A.Expression

  2. case class CFG(graph: GraphType, labels: Map[Int, Command]) extends Product with Serializable

    Describes a control flow graph

    Describes a control flow graph

    Contains a graph with integer labels and labeled directed edges

    Each node corresponds to an AST stored in a 

    Map[Int, AST.Command]
    graph

    the scala graph containing integers

    labels

    map from int label to AST

  3. case class State(values: Map[String, Int]) extends Product with Serializable

    Describes a valuation for a program execution

    Describes a valuation for a program execution

    values

    a map from variable name to its value

Value Members

  1. object CFG extends Serializable

    Utils related to IVF.Model.CFG

Inherited from AnyRef

Inherited from Any

Ungrouped