Surefire Report

Summary

[Summary] [Package List] [Test Cases]


Tests Errors Failures Skipped Success Rate Time
476 0 0 0 100% 1.587 s

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


Package List

[Summary] [Package List] [Test Cases]


Package Tests Errors Failures Skipped Success Rate Time
it.univr.di.cstnu.graph 49 0 0 0 100% 0.113 s
it.univr.di.labeledvalue 131 0 0 0 100% 0.094 s
it.univr.di.cstnu.algorithms 249 0 0 0 100% 1.362 s
it.univr.di.cstnu.util 47 0 0 0 100% 0.018 s

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

it.univr.di.cstnu.graph

- Class Tests Errors Failures Skipped Success Rate Time
CSTNEdgeTest 5 0 0 0 100% 0 s
CSTNUEdgeTest 10 0 0 0 100% 0.003 s
STNUGraphMLReaderTest 4 0 0 0 100% 0.041 s
EdgeSupplierTest 5 0 0 0 100% 0.001 s
CSTNUGraphMLWriterTest 1 0 0 0 100% 0.008 s
TNGraphTest 2 0 0 0 100% 0.052 s
STNUGraphMLWriterTest 2 0 0 0 100% 0 s
CSTNGraphTest 10 0 0 0 100% 0.004 s
LabeledNodeTest 2 0 0 0 100% 0 s
STNUEdgeTest 6 0 0 0 100% 0 s
CSTNUGraphMLReaderTest 2 0 0 0 100% 0.004 s

it.univr.di.labeledvalue

- Class Tests Errors Failures Skipped Success Rate Time
LabeledIntHierarchyMapTest 33 0 0 0 100% 0.047 s
LiteralTest 5 0 0 0 100% 0.029 s
LabelTest 25 0 0 0 100% 0.001 s
LabeledALabelIntTreeMapTest 18 0 0 0 100% 0.008 s
LabeledLowerCaseValueTest 2 0 0 0 100% 0 s
LabeledIntTreeMapTest 37 0 0 0 100% 0.009 s
ALabelTest 11 0 0 0 100% 0 s

it.univr.di.cstnu.algorithms

- Class Tests Errors Failures Skipped Success Rate Time
CSTNTest 16 0 0 0 100% 0.007 s
CSTNwoNodeLabelTest 16 0 0 0 100% 0.007 s
STNURTETest 7 0 0 0 100% 0.020 s
CSTNU2CSTNTest 1 0 0 0 100% 0 s
CSTNir3RwoNodeLabelTest 16 0 0 0 100% 0.012 s
FTNUUTest 1 0 0 0 100% 0.006 s
CSTNepsilonTest 16 0 0 0 100% 0.005 s
OSTNUTest 15 0 0 0 100% 0.029 s
CSTNepsilonwoNodeLabelTest 16 0 0 0 100% 0 s
CSTNirwoNodeLabelTest 16 0 0 0 100% 0.003 s
CSTNUTest 13 0 0 0 100% 0 s
CSTNirTest 16 0 0 0 100% 0.003 s
CSTNPotentialTest 8 0 0 0 100% 0.004 s
CSTNPSUTest 15 0 0 0 100% 0.027 s
CSTNirR3Test 17 0 0 0 100% 0.003 s
STNUTest 45 0 0 0 100% 0.227 s
STNTest 15 0 0 0 100% 1.009 s

it.univr.di.cstnu.util

- Class Tests Errors Failures Skipped Success Rate Time
ExtendedPriorityQueueTest 21 0 0 0 100% 0.001 s
TimeIntervalTest 4 0 0 0 100% 0 s
GraphAlgsTest 6 0 0 0 100% 0.016 s
ObjectArrayFifoSetQueueTest 13 0 0 0 100% 0.001 s
ActiveWaitsTest 3 0 0 0 100% 0 s

Test Cases

[Summary] [Package List] [Test Cases]

CSTNEdgeTest

testPutLabeledValue 0 s
testToString 0 s
testMergeLabeledValueLabelInt1 0 s
testMergeLabeledValueLabelInt 0 s
testIsEmptyClear 0 s

CSTNUEdgeTest

testIsEmptyAndClear 0 s
testClearLowerCaseValue 0 s
testGetAllUpperCaseAndOrdinaryLabeledValuesSet 0 s
testToString 0 s
testMergeUpperLabeledValues 0 s
testEqualsAllLabeledValues 0 s
testGetUpperLabelValueLabelString 0 s
testMergeUpperLabeledValues1 0.001 s
testMergeUpperLabeledValues2 0.001 s
testSimlificationUpperLabeledValues 0.001 s

LabeledIntHierarchyMapTest

caso20160109list 0.018 s
equals1 0.004 s
distruzioneBase2 0.001 s
minValue 0.002 s
equals 0.003 s
remove 0 s
putAllTest 0.001 s
caso20160108b 0.001 s
caso20160109c 0 s
caso20160109d 0.001 s
manageTwinDebug 0 s
caso20141021 0 s
caso20141128 0.001 s
caso20160108 0 s
caso20160109 0 s
caso20160110 0 s
caso20160111 0.007 s
caso20160112 0.001 s
semplificazioneRicorsivaTest 0.001 s
putACleaningValueTest 0 s
simplificationWithUnknown1 0 s
semplificazione1Test 0 s
simplificationWithInfinite 0.001 s
checkIntSet 0 s
minValueConsistentWithTest 0 s
semplificazioneBase1Test 0 s
semplificazioneBase2Test 0 s
semplificazioneBase3Test 0 s
semplificazioneBase4Test 0 s
distruzioneBase 0 s
simplificationWithUnknown 0.002 s
insert0 0 s
casoBaseConValoriDistinti 0.001 s

ExtendedPriorityQueueTest

testExtractMinEntry 0 s
extractMinEntry 0 s
testAdd 0 s
delete 0 s
testClear 0 s
testSize 0 s
testGetAllDeterminedPriorities 0 s
size 0 s
testExtractMin 0 s
clear 0 s
testGetPriority 0 s
extractMin 0 s
getStatus 0 s
testDecreasePriority 0 s
testGetStatus 0 s
testInsertAPreviousNode 0 s
testIsEmpty 0 s
getFirst 0 s
isEmpty 0 s
getElements 0.001 s
insertOrUpdate 0 s

CSTNTest

testLabeledPropagationForwardOfInfty 0 s
testLabeledPropagationBackwardOfInfty1 0 s
testQstar 0 s
testLabeledPropagation1 0.001 s
testLabeledPropagation2 0 s
testLabeledPropagation3 0 s
testLabeledPropagation4 0.005 s
testRemoveChildren 0 s
testLabelModificationR0Z 0 s
testLabeledPropagationBackwardOfInfty 0 s
testLabeledPropagation 0 s
testAlphaBetaGamaPrime 0 s
testLabelModificationR0 0 s
testLabelModificationR3 0 s
testLabelModificationR3withUnkown 0 s
testLabeledPropagationForwardOfInfty1 0 s

CSTNwoNodeLabelTest

testQstar 0 s
testLabeledPropagation1 0 s
testLabeledPropagation2 0 s
testLabeledPropagation3 0 s
testLabeledPropagation4 0.004 s
testRemoveChildren 0.001 s
testLabelModificationR0Z 0 s
testLabeledPropagation 0 s
testAlphaBetaGamaPrime 0 s
testLabelModificationR0 0.001 s
testLabelModificationR3 0 s
testLabelModificationR3withUnkown 0 s
testLabeledPropagationForwardOfInfty 0 s
testLabeledPropagationBackwardOfInfty1 0 s
testLabeledPropagationBackwardOfInfty 0 s
testLabeledPropagationForwardOfInfty1 0.001 s

STNURTETest

rteEarlyWithOneCtg 0.016 s
rteEarlyLateRC 0.001 s
rteEarlyRC 0.001 s
rteEarlyLate 0 s
rteEarly 0.001 s
rteLateWithUpperBound 0 s
rteLate 0.001 s

STNUGraphMLReaderTest

testGraphAttribute 0.031 s
testSTNU1 0.002 s
testSTNU 0.005 s
testSTNU33 0.001 s

CSTNU2CSTNTest

testCSTNU2CSTNLabeledIntGraphInt 0 s

LiteralTest

testParse 0.007 s
testToString 0 s
testCompareTo 0 s
testEqualsObject 0 s
testGetComplement 0 s

CSTNir3RwoNodeLabelTest

testLabeledPropagationForwardOfInfty 0 s
testLabeledPropagationBackwardOfInfty1 0.001 s
testQstar 0.003 s
testLabeledPropagation1 0 s
testLabeledPropagation2 0 s
testLabeledPropagation3 0 s
testLabeledPropagation4 0.005 s
testLabelModificationR0Z 0 s
testLabeledPropagationBackwardOfInfty 0 s
testLabeledPropagation 0 s
testAlphaBetaGamaPrime 0 s
testLabelModificationR0 0 s
testLabelModificationR3 0.001 s
testLabeledPropagationForwardOfInfty1 0 s
testRemoveChildren 0.001 s
testLabelModificationR3withUnkown 0 s

FTNUUTest

testPrototypalLink 0.004 s

CSTNepsilonTest

testQstar 0 s
testLabeledPropagation1 0 s
testLabeledPropagation2 0 s
testLabeledPropagation3 0 s
testLabeledPropagation4 0.002 s
testLabelModificationR0Z 0.001 s
testLabeledPropagationBackwardOfInfty 0 s
testLabeledPropagation 0 s
testAlphaBetaGamaPrime 0.001 s
testLabelModificationR0 0 s
testLabelModificationR3 0 s
testLabelModificationR3withUnkown 0 s
testLabeledPropagationForwardOfInfty1 0 s
testLabeledPropagationForwardOfInfty 0 s
testLabeledPropagationBackwardOfInfty1 0 s
testRemoveChildren 0 s

TimeIntervalTest

constructor 0 s
testToString 0 s
set 0 s
testIntersect 0 s

OSTNUTest

testInitAndCheck 0.005 s
testLabeledLetterRemovalRuleFromContingent 0.001 s
testAgileControllabilityCheck 0.020 s
testIsInNegativeScenarios 0 s
testLabeledCrossCaseRule 0 s
testLabeledLowerCaseRule 0 s
testLabeledPropagationRule 0 s
testLabeledOracleRule 0 s
testlabeledUpperCaseRule 0 s
testLabeledLetterRemovalRuleFromOrdinaryNode 0 s
test2AgileControllabilityCheck 0.001 s
test3AgileControllabilityCheck 0.001 s
testGetLabel4ValueInvolvingContingent 0 s
test2LabeledCrossCaseRule 0 s
test2LabeledLowerCaseRule 0 s

EdgeSupplierTest

testGet 0 s
testGetT 0 s
testEdgeSupplier 0 s
testGetString 0 s
testGetClassOfKInt 0 s

CSTNUGraphMLWriterTest

testGraphMLWriterAbstractLayoutOfLabeledNodeLabeledIntEdge 0.007 s

CSTNepsilonwoNodeLabelTest

testQstar 0 s
testLabeledPropagation1 0 s
testLabeledPropagation2 0 s
testLabeledPropagation3 0 s
testLabeledPropagation4 0 s
testLabelModificationR0Z 0 s
testLabeledPropagationBackwardOfInfty 0 s
testLabeledPropagation 0 s
testAlphaBetaGamaPrime 0 s
testLabelModificationR0 0 s
testLabelModificationR3 0 s
testLabelModificationR3withUnkown 0 s
testLabeledPropagationForwardOfInfty1 0 s
testLabeledPropagationForwardOfInfty 0 s
testLabeledPropagationBackwardOfInfty1 0 s
testRemoveChildren 0 s

CSTNirwoNodeLabelTest

testQstar 0 s
testLabeledPropagation1 0 s
testLabeledPropagation2 0 s
testLabeledPropagation3 0 s
testLabeledPropagation4 0.001 s
testRemoveChildren 0 s
testLabelModificationR0Z 0 s
testLabeledPropagation 0 s
testAlphaBetaGamaPrime 0 s
testLabelModificationR0 0 s
testLabelModificationR3 0 s
testLabelModificationR3withUnkown 0.001 s
testLabeledPropagationForwardOfInfty 0 s
testLabeledPropagationBackwardOfInfty1 0 s
testLabeledPropagationBackwardOfInfty 0 s
testLabeledPropagationForwardOfInfty1 0 s

LabelTest

testConjunctExtended 0 s
testConjunctionExtended 0 s
testGetLiteralWithSameName 0 s
compareTo 0 s
testSubsumes 0 s
cloneEmptyLabel 0 s
testParse 0 s
testToString 0 s
comparatorOrder 0 s
unmodifiable 0 s
testRemoveLabel 0 s
testAllComponentsOfBaseGenerator 0 s
testCompareTo 0 s
testEqualsObject 0 s
caso20141128 0 s
testConjunction 0 s
testGetAllStraight 0 s
testConjunct 0 s
testContains 0 s
testIsConsistentWithLabel 0 s
testIsConsistentWithLiteral 0 s
testGetUniqueDifferentLiteral 0 s
testRemoveLiteralBoolean 0 s
testNegation 0 s
testSubLabelIn 0 s

CSTNUTest

testLabelModificationQR0 0 s
testLabelModificationQR3 0 s
test_llcRule 0 s
test_lncRule 0 s
test_lcucRule 0 s
test_lucRule 0 s
testLabelModificationR3bis 0 s
testCrossCaseRule 0 s
testLabelModificationR0 0 s
testLabelModificationR3 0 s
test_flucRule 0 s
testUpperCaseRule 0 s
testCaseLabelRemovalRule 0 s

LabeledALabelIntTreeMapTest

minValueConsisntenWithTest 0 s
minValue 0 s
mergeWOSimplification 0 s
mergeConSemplificazione 0 s
generazioneSet 0.001 s
parse 0.002 s
mergeConSemplificazione10 0 s
mergeConSemplificazione1 0.001 s
mergeConSemplificazione2 0 s
mergeConSemplificazione3 0 s
mergeConSemplificazione4 0 s
mergeConSemplificazione5 0 s
mergeConSemplificazione6 0 s
mergeConSemplificazione7 0 s
mergeConSemplificazione8 0 s
mergeConSemplificazione9 0.001 s
immutable 0 s
canRepresentTest 0 s

TNGraphTest

testSTNUGetEdgeCount 0.048 s
testgetEdgesNodes 0.004 s

STNUGraphMLWriterTest

testGraphMLWriterAbstractLayoutOfLabeledNodeLabeledIntEdge 0 s
testGraphMLStringWriter 0 s

CSTNirTest

testLabeledPropagationForwardOfInfty 0 s
testQstar 0 s
testLabeledPropagation1 0 s
testLabeledPropagation2 0 s
testLabeledPropagation3 0 s
testLabeledPropagation4 0.002 s
testLabelModificationR0Z 0 s
testLabeledPropagationBackwardOfInfty 0 s
testLabeledPropagation 0 s
testAlphaBetaGamaPrime 0 s
testLabelModificationR0 0 s
testLabelModificationR3 0 s
testLabelModificationR3withUnkown 0.001 s
testLabeledPropagationForwardOfInfty1 0 s
testLabeledPropagationBackwardOfInfty1 0 s
testRemoveChildren 0 s

GraphAlgsTest

testGET_SSSP_Dijkstra 0.011 s
testJohnson 0.003 s
testJohnson1 0 s
updateDistancesTest 0.001 s
testGET_SSSP_DijkstraGraphDistances 0 s
testBellmanFord_PotentialInconsistent 0 s

LabeledLowerCaseValueTest

empty 0 s
parse 0 s

CSTNGraphTest

enlarge 0 s
UnmodifiableClearTest 0 s
UnmodifiableTest 0 s
create 0 s
managinDifferentEdges 0 s
testGetChildrenOf 0.001 s
cloneTest 0.001 s
addManyNodes 0 s
removeNode 0 s
reverse 0.001 s

CSTNPotentialTest

testDynamicConsistencyCheckWOInit 0 s
testInitAndCheck 0 s
testPotentialR3 0 s
testSingleSinkShortestPaths 0.001 s
testUpperPotentialR3 0.002 s
testSingleSourceShortestPaths 0 s
testDynamicConsistencyCheckWOInitUpper 0.001 s
testInitAndCheckWithUpperBounds 0 s

LabeledNodeTest

potentialPut1 0 s
testEquals 0 s

STNUEdgeTest

testParserUpperCase 0 s
testLowerCase 0 s
testUpperCase 0 s
testLowerCaseNonValid 0 s
testConstructor 0 s
testIsEmptyClear 0 s

ObjectArrayFifoSetQueueTest

testEnqueue 0 s
testToArray 0 s
testComparator 0 s
testEnqueueFirst 0 s
testClear 0 s
testFirst 0 s
testLast 0 s
testSize 0 s
testToString 0 s
testDequeueLast 0 s
testContains 0 s
testDequeue 0 s
testIsEmpty 0 s

CSTNPSUTest

testPrototypalLink 0.001 s
testLabelModificationQR0 0 s
testLabelModificationQR3 0 s
test_llcRule 0.012 s
test_lncRule 0 s
test_lcucRule 0 s
test_lucRule 0.001 s
testLabelModificationR3bis 0 s
testCrossCaseRule 0.001 s
testConfigureSubNetworks 0.011 s
testLabelModificationR0 0 s
testLabelModificationR3 0.001 s
test_flucRule 0 s
testUpperCaseRule 0 s
testCaseLabelRemovalRule 0 s

LabeledIntTreeMapTest

parseTest 0 s
equals1 0 s
scanWithRemoving 0 s
testMerge20160320 0 s
testMerge20160408 0 s
distruzioneBase2 0 s
minValue 0 s
equals 0.001 s
removeAllValuesGreaterThan 0 s
putAllTest 0.001 s
unknown 0 s
differentValuesWithBase 0 s
caso20141021 0.001 s
caso20141128 0 s
semplificazioneRicorsivaTest 0 s
putACleaningValueTest 0 s
simplificationWithUnknown1 0 s
testKeySetForRemoving 0.001 s
alreadyRepresents 0 s
semplificazione0Test 0 s
semplificazione1Test 0 s
semplificazione3Test 0 s
simplificationWithInfinite 0 s
checkIntSet 0 s
minValueConsistentWithTest 0 s
semplificazioneBase1Test 0 s
semplificazioneBase2Test 0 s
semplificazioneBase3Test 0 s
semplificazioneBase4Test 0.001 s
semplificazione20230605Test 0 s
semplificazione20230606Test 0 s
distruzioneBase 0 s
removeAll 0 s
testRemoveUsingKey 0.002 s
simplificationWithUnknown 0 s
insert0 0 s
casoBaseConValoriDistinti 0 s

CSTNirR3Test

testLabeledPropagationForwardOfInfty 0 s
testLabeledPropagationBackwardOfInfty1 0 s
testQstar 0 s
testLabeledPropagation1 0 s
testLabeledPropagation2 0 s
testLabeledPropagation3 0 s
testLabeledPropagation4 0 s
testLabelModificationR0Z 0 s
testLabelModificationqR3 0 s
testLabeledPropagationBackwardOfInfty 0 s
testLabeledPropagation 0 s
testAlphaBetaGamaPrime 0 s
testLabelModificationR0 0 s
testLabeledPropagationForwardOfInfty1 0 s
testRemoveChildren 0 s
testLabelModificationR3 0.001 s
testLabelModificationR3withUnkown 0 s

ActiveWaitsTest

addWait 0 s
testToString 0 s
remove 0 s

STNUTest

testNormalForm 0 s
testSrnCycleFinder_BFCT 0.009 s
testMinDistESTNUWithActivationInRigidComponentFD 0.010 s
testMinDistESTNU20231219 0.003 s
testMinDistESTNU20231220 0.004 s
testMorris2014DispatchableWithOToC 0.001 s
testSrnCycleFinderMagicLoop 0.002 s
testGraph 0.001 s
testMinDistESTNUWithComplicatedRigidComponent 0.007 s
testMinDistESTNUWithSTNUWithRCInducedByMaxMinEdge 0.004 s
testMinDispESTNUWithNegativeAddedToAWait 0.004 s
testSRNCFinderNotDC002 0.084 s
testSRNCFinderNotDC020 0.030 s
testSRNCFinderNotDC033 0.031 s
testMinDistESTNUWithActivationInRigidComponent0distanceFD 0.002 s
testGetStandInEdgesAssumingManyDiamondsFirstPart 0.006 s
testMinDEgetStandInEdgesAssumingManyDiamonds 0.002 s
testMinDistESTNUWithActivationInRigidComponentFD1 0.002 s
testFDWithNegativeAddedToAWait 0.001 s
testSrnCycleFinder_ccLoopDC 0 s
testfastGetStandInEdges 0.001 s
testSrnCycleFinder_cycleInterruptions 0.001 s
testFD_STNUWithNegativeAddedToAWait 0.001 s
testSrnCycleFinder_ccLoopNOTDC 0 s
testGetActivationNode 0.001 s
testMinDistESTNU 0.001 s
testMorris2014DispatchableWithNegativeAddedToAWait 0 s
testMinDistESTNUWithActivationInRigidComponent0DistanceMorris 0.001 s
testMinDistESTNUWithActivationInRigidComponentMorris1 0.001 s
testMinDistESTNUWithActivationInRigidComponentMorris 0.001 s
testMinDistESTNUSimple 0.001 s
testRigidComponents 0.002 s
testGetUpperContingentEdge 0.001 s
testMinDEgetStandInEdges 0.002 s
testMinDistESTNUSimpleX02C 0.001 s
testGetPCInfo 0.001 s
testSrnCycleFinder_ccLoopNotDCOnA 0.001 s
testMinDistESTNUWithOLengthRigidComponent 0.001 s
testBellmanFordOL 0.001 s
testLuke20240102About0EdgetoC 0.001 s
testMinDistESTNUWithConstraintVCInducedByRigidComponent 0.001 s
testPredecessor 0.001 s
testFD_STNU 0 s
testSrnCycleFinder_adjustmentPath4W 0.001 s
testGetLowerContingentEdge 0.001 s

ALabelTest

remove 0 s
getALetter 0 s
conjunct 0 s
contains 0 s
array 0 s
count 0 s
parse 0 s
intersect 0 s
conjunction 0 s
compare 0 s
creation 0 s

CSTNUGraphMLReaderTest

testSTN 0.002 s
testCSTNU 0.002 s

STNTest

testMakeDispatchableWithRigidComponent 0.003 s
testVelocity 0.989 s
depthFirstOrder1 0 s
testPredecessorSTN20211230 0.002 s
testBFCT8Nodes 0.002 s
testUndominatedEdgesSTN20211230 0.002 s
testUndominatedEdges1 0 s
depthFirstOrder 0 s
testBFCTWithNegativeCycle 0.001 s
testRigidComponentMethods 0.001 s
testMakeDispatchableStn20211230 0.003 s
testGetRepRigidComponents 0.001 s
testCollapseRigidComponents 0.002 s
testPredecessor 0.001 s
testStrongConnectedComponents 0.001 s