graphing

Documentation

Index

• type GoalRulePair
• type Neo4J
  • func (n *Neo4J) CloseDB() error
  • func (n *Neo4J) CreateHazardAnalysis(faultInjOut string) ([]*gographviz.Graph, error)
  • func (n *Neo4J) CreateNaiveDiffProv(symmetric bool, failedRuns []uint, successPostProv *gographviz.Graph) ([]*gographviz.Graph, []*gographviz.Graph, [][]*fi.Missing, error)
  • func (n *Neo4J) CreatePrototypes(iters []uint, failedIters []uint) ([]string, [][]string, []string, [][]string, error)
  • func (n *Neo4J) GenerateCorrections() ([]string, error)
  • func (n *Neo4J) GenerateExtensions() (bool, []string, error)
  • func (n *Neo4J) InitGraphDB(boltURI string, runs []*fi.Run) error
  • func (n *Neo4J) LoadRawProvenance() error
  • func (n *Neo4J) PullPrePostProv() ([]*gographviz.Graph, []*gographviz.Graph, []*gographviz.Graph, ...)
  • func (n *Neo4J) SimplifyProv(iters []uint) error

Types

type GoalRulePair

type GoalRulePair struct {
	Goal *fi.Goal
	Rule *fi.Rule
}

GoalRulePair

type Neo4J

type Neo4J struct {
	Conn1 neo4j.Conn
	Conn2 neo4j.Conn
	Runs  []*fi.Run
}

Neo4J

func (*Neo4J) CloseDB

func (n *Neo4J) CloseDB() error

CloseDB properly shuts down the Neo4J connection.

func (*Neo4J) CreateHazardAnalysis

func (n *Neo4J) CreateHazardAnalysis(faultInjOut string) ([]*gographviz.Graph, error)

CreateHazardAnalysis

func (*Neo4J) CreateNaiveDiffProv

func (n *Neo4J) CreateNaiveDiffProv(symmetric bool, failedRuns []uint, successPostProv *gographviz.Graph) ([]*gographviz.Graph, []*gographviz.Graph, [][]*fi.Missing, error)

CreateNaiveDiffProv

func (*Neo4J) CreatePrototypes

func (n *Neo4J) CreatePrototypes(iters []uint, failedIters []uint) ([]string, [][]string, []string, [][]string, error)

CreatePrototypes

func (*Neo4J) GenerateCorrections

func (n *Neo4J) GenerateCorrections() ([]string, error)

GenerateCorrections extracts the triggering events required to achieve antecedent and consequent in the first (successful) run. We use this information in case the fault injector was able to inject a fault that caused the invariant to be violated in order to generate correction suggestions for how the system designers could strengthen the antecedent to only fire when we are sure the consequent holds as well.

func (*Neo4J) GenerateExtensions

func (n *Neo4J) GenerateExtensions() (bool, []string, error)

GenerateExtensions

func (*Neo4J) InitGraphDB

func (n *Neo4J) InitGraphDB(boltURI string, runs []*fi.Run) error

InitGraphDB

func (*Neo4J) LoadRawProvenance

func (n *Neo4J) LoadRawProvenance() error

LoadRawProvenance

func (*Neo4J) PullPrePostProv

func (n *Neo4J) PullPrePostProv() ([]*gographviz.Graph, []*gographviz.Graph, []*gographviz.Graph, []*gographviz.Graph, error)

PullPrePostProv

func (*Neo4J) SimplifyProv

func (n *Neo4J) SimplifyProv(iters []uint) error

SimplifyProv