Summary

TestsErrors FailuresSuccess RateTime
3600100%0.08

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

Package List

PackageTestsErrors FailuresSuccess RateTime
net.sf.jgabl2.core.util.check500100%0.01
net.sf.jgabl2.core.util.check.impl3000100%0.05
net.sf.jgabl2.core.data.pq.impl100100%0.02

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

net.sf.jgabl2.core.util.check

ClassTestsErrors FailuresSuccess RateTime
AssumptionViolatedExceptionTest100100%0
InvariantViolatedExceptionTest100100%0.01
LoopInvariantViolatedExceptionTest100100%0
PostcondFailedExceptionTest100100%0
PrecondFailedExceptionTest100100%0

net.sf.jgabl2.core.util.check.impl

ClassTestsErrors FailuresSuccess RateTime
CautiousCheckPolicyImplTest600100%0.01
LazyCheckPolicyImplTest600100%0.01
NormalCheckPolicyImplTest600100%0
ParanoidCheckPolicyImplTest600100%0.01
PedanticCheckPolicyImplTest600100%0.02

net.sf.jgabl2.core.data.pq.impl

ClassTestsErrors FailuresSuccess RateTime
PairingHeapTest100100%0.02

Test Cases

PairingHeapTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testEmpty0.02

AssumptionViolatedExceptionTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testEmpty0.02
testCreateException0
testCreateException0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0.01
testCreateException0

CautiousCheckPolicyImplTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testEmpty0.02
testCreateException0
testCreateException0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0.01

LazyCheckPolicyImplTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0

NormalCheckPolicyImplTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0

ParanoidCheckPolicyImplTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0

PedanticCheckPolicyImplTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0

InvariantViolatedExceptionTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testEmpty0.02
testCreateException0
testCreateException0
testCreateException0

LoopInvariantViolatedExceptionTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0

PostcondFailedExceptionTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testEmpty0.02
testCreateException0

PrecondFailedExceptionTest

testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCreateException0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testCheckAssumption0
testCheckPrecond0
testCheckPostcond0
testCheckLoopInvariant0
testCheckInvariantCheap0
testCheckInvariantExpensive0
testEmpty0.02
testCreateException0
testCreateException0