Summary

TestsErrors FailuresSuccess RateTime
2600100.00%12.11

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

Package List

PackageTestsErrors FailuresSuccess RateTime
rationals.ioautomata.testing500100.00%11.27
rationals.transductions2100100.00%0.85

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

rationals.ioautomata.testing

ClassTestsErrors FailuresSuccess RateTime
AlphaBetaIOTesterTest100100.00%0.25
SynchIOAutomatonSMAdapterTest300100.00%0.04
AsynchIOAutomatonSMAdapterTest100100.00%10.97

rationals.transductions

ClassTestsErrors FailuresSuccess RateTime
TesterTest700100.00%0.25
TransducerNivatTest300100.00%0.12
TransducerTestTest300100.00%0.38
DeterministicTransducerTest400100.00%0.04
TransducerTest400100.00%0.06

Test Cases

AlphaBetaIOTesterTest

testBasic0.21

SynchIOAutomatonSMAdapterTest

testBasic0.21
testBasic0.01
testNondeterministic0.02
testNondeterministicError0.00

TesterTest

testBasic0.21
testBasic0.01
testNondeterministic0.02
testNondeterministicError0.00
testEqualsUIO0.04
testFailUIOTErr0.01
testFailUIOOutErr0.01
testEqualsW0.05
testFailWTErr0.01
testFailWOutErr0.02
testEqualsW20.10

TransducerNivatTest

testBasic0.21
testBasic0.01
testNondeterministic0.02
testNondeterministicError0.00
testEqualsUIO0.04
testFailUIOTErr0.01
testFailUIOOutErr0.01
testEqualsW0.05
testFailWTErr0.01
testFailWOutErr0.02
testEqualsW20.10
test01Language0.10
test02Word0.00
test03Mixin0.01

TransducerTestTest

testBasic0.21
testBasic0.01
testNondeterministic0.02
testNondeterministicError0.00
testEqualsUIO0.04
testFailUIOTErr0.01
testFailUIOOutErr0.01
testEqualsW0.05
testFailWTErr0.01
testFailWOutErr0.02
testEqualsW20.10
test01Language0.10
test02Word0.00
test03Mixin0.01
testMethodU0.05
testMethodW10.07
testMethodW20.25

DeterministicTransducerTest

testBasic0.21
testBasic0.01
testNondeterministic0.02
testNondeterministicError0.00
testEqualsUIO0.04
testFailUIOTErr0.01
testFailUIOOutErr0.01
testEqualsW0.05
testFailWTErr0.01
testFailWOutErr0.02
testEqualsW20.10
test01Language0.10
test02Word0.00
test03Mixin0.01
testMethodU0.05
testMethodW10.07
testMethodW20.25
testUIO0.02
testUIO20.00
testW0.00
testW20.02

TransducerTest

testBasic0.21
testBasic0.01
testNondeterministic0.02
testNondeterministicError0.00
testEqualsUIO0.04
testFailUIOTErr0.01
testFailUIOOutErr0.01
testEqualsW0.05
testFailWTErr0.01
testFailWOutErr0.02
testEqualsW20.10
test01Language0.10
test02Word0.00
test03Mixin0.01
testMethodU0.05
testMethodW10.07
testMethodW20.25
testUIO0.02
testUIO20.00
testW0.00
testW20.02
testTransducer10.02
testTransducer20.00
testTransitionCover0.01
testTransducer30.02

AsynchIOAutomatonSMAdapterTest

testBasic0.21
testBasic0.01
testNondeterministic0.02
testNondeterministicError0.00
testEqualsUIO0.04
testFailUIOTErr0.01
testFailUIOOutErr0.01
testEqualsW0.05
testFailWTErr0.01
testFailWOutErr0.02
testEqualsW20.10
test01Language0.10
test02Word0.00
test03Mixin0.01
testMethodU0.05
testMethodW10.07
testMethodW20.25
testUIO0.02
testUIO20.00
testW0.00
testW20.02
testTransducer10.02
testTransducer20.00
testTransitionCover0.01
testTransducer30.02
test110.97