quickcheck

Documentation

Overview

Package ddmin implements the ddmin test minimization algorithm

Simplifying and Isolating Failure-Inducing Input Andreas Zeller (2002)

https://www.st.cs.uni-saarland.de/papers/tse2002/tse2002.pdf

Index

• type FSM
  • func NewFSM(seed int64) *FSM
  • func (fsm *FSM) Minimize(res []Result, model interface{}) []Result
  • func (fsm *FSM) Replay(ss []Step, model interface{}) (results []Result, valid, fail bool)
  • func (fsm *FSM) Run(v interface{}) []Result
  • func (fsm *FSM) Transition(from, to string, methods []string)
• type Result
• type Step
• type Transition

Types

type FSM

type FSM struct {
	// contains filtered or unexported fields
}

func NewFSM

func NewFSM(seed int64) *FSM

func (*FSM) Minimize

func (fsm *FSM) Minimize(res []Result, model interface{}) []Result

func (*FSM) Replay

func (fsm *FSM) Replay(ss []Step, model interface{}) (results []Result, valid, fail bool)

func (*FSM) Run

func (fsm *FSM) Run(v interface{}) []Result

func (*FSM) Transition

func (fsm *FSM) Transition(from, to string, methods []string)

type Result

type Result struct {
	Step     Step
	Invalid  bool
	PreFail  bool
	PostFail bool
	Ret      []interface{}
}

type Step

type Step struct {
	State    string
	NewState string
	Method   string
	Args     []interface{}
}

type Transition

type Transition struct {
	// contains filtered or unexported fields
}