Parent Project

• JAutomata Library

Standard reports

• Project Information
• Project Reports
  • Changes Report Plugin
  • Cobertura Test Coverage
  • JavaDocs
  • Jira Report Plugin
  • Maven Surefire Report
  • Source Xref

Summary

Tests	Errors	Failures	Success Rate	Time
60	0	0	100.00%	2.05

Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Package List

Package	Tests	Errors	Failures	Success Rate	Time
rationals	34	0	0	100.00%	0.32
rationals.algebra	2	0	0	100.00%	0.80
rationals.properties	7	0	0	100.00%	0.08
rationals.transformations	17	0	0	100.00%	0.84

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.

rationals

	Class	Tests	Errors	Failures	Success Rate	Time
	EpsilonRemoverTest	3	0	0	100.00%	0.06
	AutomatonTest	12	0	0	100.00%	0.02
	MixPlayTest	4	0	0	100.00%	0.16
	DefaultStateFactoryTest	11	0	0	100.00%	0.05
	ToolboxTest	1	0	0	100.00%	0.00
	ToReTest	3	0	0	100.00%	0.03

rationals.algebra

	Class	Tests	Errors	Failures	Success Rate	Time
	RationalMatrixTest	2	0	0	100.00%	0.80

rationals.properties

	Class	Tests	Errors	Failures	Success Rate	Time
	TraceEquivalenceTest	1	0	0	100.00%	0.01
	EquivalentTest	2	0	0	100.00%	0.00
	IsDeterministicTest	3	0	0	100.00%	0.04
	ModelCheckTest	1	0	0	100.00%	0.02

rationals.transformations

	Class	Tests	Errors	Failures	Success Rate	Time
	NormalizerTest	5	0	0	100.00%	0.04
	MixTest	5	0	0	100.00%	0.06
	ComplementTest	1	0	0	100.00%	0.02
	InverseMorphismTest	4	0	0	100.00%	0.71
	StarTest	1	0	0	100.00%	0.00
	ConcatenationTest	1	0	0	100.00%	0.02

Test Cases

EpsilonRemoverTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00

NormalizerTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00

AutomatonTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00

MixPlayTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02

MixTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00

DefaultStateFactoryTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00

ToolboxTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00

ComplementTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02

ToReTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01

RationalMatrixTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01
	testCtor	0.78
	testPower	0.02

TraceEquivalenceTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01
	testCtor	0.78
	testPower	0.02
	testTraceEq	0.01

InverseMorphismTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01
	testCtor	0.78
	testPower	0.02
	testTraceEq	0.01
	test01SimpleMap	0.69
	test02EpsilonMapping	0.00
	test03MultipleMap	0.00
	test04AlphMorph	0.00

StarTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01
	testCtor	0.78
	testPower	0.02
	testTraceEq	0.01
	test01SimpleMap	0.69
	test02EpsilonMapping	0.00
	test03MultipleMap	0.00
	test04AlphMorph	0.00
	test	0.00

EquivalentTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01
	testCtor	0.78
	testPower	0.02
	testTraceEq	0.01
	test01SimpleMap	0.69
	test02EpsilonMapping	0.00
	test03MultipleMap	0.00
	test04AlphMorph	0.00
	test	0.00
	testBisim	0.00
	testWeakBisim	0.00

IsDeterministicTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01
	testCtor	0.78
	testPower	0.02
	testTraceEq	0.01
	test01SimpleMap	0.69
	test02EpsilonMapping	0.00
	test03MultipleMap	0.00
	test04AlphMorph	0.00
	test	0.00
	testBisim	0.00
	testWeakBisim	0.00
	testTrue	0.04
	testFalse1	0.00
	testFalse2	0.00

ModelCheckTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01
	testCtor	0.78
	testPower	0.02
	testTraceEq	0.01
	test01SimpleMap	0.69
	test02EpsilonMapping	0.00
	test03MultipleMap	0.00
	test04AlphMorph	0.00
	test	0.00
	testBisim	0.00
	testWeakBisim	0.00
	testTrue	0.04
	testFalse1	0.00
	testFalse2	0.00
	test	0.02

ConcatenationTest

	testEpsilon	0.03
	testEpsilon2	0.00
	testEpsilon3	0.00
	test1	0.01
	test2	0.00
	test3	0.00
	test4	0.01
	test5	0.00
	testAddState	0.00
	testAlphabet	0.00
	testStates	0.00
	testInitials	0.00
	testTerminals	0.00
	testAccessibleStates	0.00
	testCoAccessibleStates	0.00
	testAccessibleAndCoAccessibleStates	0.00
	testDelta	0.00
	testAddTransition	0.00
	testAcceptDFA	0.00
	testAcceptNFA1	0.00
	test01Simple	0.08
	test02Simple	0.02
	test03Simple	0.03
	test04Replay	0.02
	testMix1	0.02
	testMix2	0.01
	testMix4	0.01
	testMixCommute	0.01
	testMixEmpty	0.00
	testIterator	0.03
	testIteratorConcur	0.00
	testIteratorNoSuchElement	0.00
	testSetAdd	0.00
	testSetAddAll	0.00
	testClear	0.00
	testContainsAll	0.00
	testEquals	0.00
	testRemove	0.00
	testRemoveAll	0.00
	testRetainAll	0.00
	testClosure1	0.00
	testComp	0.02
	testRE1	0.00
	testRESingleton	0.00
	testREEpsilon	0.01
	testCtor	0.78
	testPower	0.02
	testTraceEq	0.01
	test01SimpleMap	0.69
	test02EpsilonMapping	0.00
	test03MultipleMap	0.00
	test04AlphMorph	0.00
	test	0.00
	testBisim	0.00
	testWeakBisim	0.00
	testTrue	0.04
	testFalse1	0.00
	testFalse2	0.00
	test	0.02
	test1	0.01