Surefire Report

Summary

[Summary] [Package List] [Test Cases]

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

Package List

[Summary] [Package List] [Test Cases]

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

eu.diversify.trio.unit.codecs

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	BuilderTest	8	0	0	0	100%	0.24

eu.diversify.trio.unit

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	RobustnessTest	3	0	0	0	100%	3.575
	TrioTest	12	0	0	0	100%	0.124

eu.diversify.trio.unit.data

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	CSVFormatterTest	3	0	0	0	100%	0
	DataSetListenerTest	2	0	0	0	100%	0.008
	StateTest	1	0	0	0	100%	0
	TraceTest	2	0	0	0	100%	0

eu.diversify.trio.unit.simulation

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	SimulatorTest	2	0	0	0	100%	0
	TopologyTest	11	0	0	0	100%	0

eu.diversify.trio.unit.core.validation

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	ValidatorTest	3	0	0	0	100%	0.002

eu.diversify.trio.unit.analysis

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	AnalysisTest	3	0	0	0	100%	0
	DistributionTest	1	0	0	0	100%	0
	LengthTest	1	0	0	0	100%	0
	LossTest	1	0	0	0	100%	0
	ProbabilityTest	3	0	0	0	100%	0
	RelativeRobustnessTest	3	0	0	0	100%	0
	RobustnessTest	2	0	0	0	100%	0

eu.diversify.trio.unit.core.statistics

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	DensityTest	3	0	0	0	100%	0

eu.diversify.trio.unit.filters

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	FiltersTest	6	0	0	0	100%	0.001

eu.diversify.trio.acceptance.driver

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	TrioResponseTest	5	0	0	0	100%	0.009

eu.diversify.trio.unit.core

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	ComponentTest	7	0	0	0	100%	0.057
	DispatcherTest	16	0	0	0	100%	0.015
	EvaluationTest	6	0	0	0	100%	0.011
	RequirementsTest	10	0	0	0	100%	0
	SystemTest	11	0	0	0	100%	0
	TagTest	7	0	0	0	100%	0

eu.diversify.trio.unit.core.random

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	GeneratorTest	1	0	0	0	100%	1.461

eu.diversify.trio.unit.core.requirements.random

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	RandomTest	3	0	0	0	100%	0.211
	StateTest	6	0	0	0	100%	0

eu.diversify.trio.unit.core.requirements.stats

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	LeafCountTest	5	0	0	0	100%	0
	OperatorDistributionTest	5	0	0	0	100%	0
	VariableCountTest	6	0	0	0	100%	0

eu.diversify.trio.unit.core.requirements

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	ConjunctionTest	2	0	0	0	100%	0
	DisjunctionTest	2	0	0	0	100%	0
	NegationTest	2	0	0	0	100%	0
	NothingTest	2	0	0	0	100%	0
	RequireTest	2	0	0	0	100%	0

eu.diversify.trio.unit.ui

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	CommandTest	15	0	0	0	100%	0.013

Test Cases

[Summary] [Package List] [Test Cases]

TrioResponseTest

	assertRobustnessAboutShouldDetectMissingRobustness	0.001
	shouldDetectInvalidModels	0.002
	assertRobustnessAboutShouldDetectRobustness	0.003
	shouldNotTakeOtherErrorsForInvalidModels	0.003
	assertRobustnessAboutShouldDetectWithinMultilineText	0

AnalysisTest

	metricShouldReturnNullIfTheGivemMetricDoesNotExist	0
	metricShouldReturnTheFirstMetricWithTheGivenName	0
	metricsShouldReturnAllTheMetrics	0

DistributionTest

probabilityOf

0

LengthTest

lengthShouldBETheNumberOfStateInATrace

0

LossTest

aConstantLossesShouldHaveAMeanEqualToTheirValue

0

ProbabilityTest

	choosingOneAmong2ShouldGiveAProbabilityOf0_5	0
	choosing1_4AndThen1_2ShouldGiveAProbabilityOf0_125	0
	certainShouldBe1	0

RelativeRobustnessTest

	regularCaseShouldBeBetween0And1	0
	idealCaseShouldBe1	0
	worstCaseShouldBe0	0

RobustnessTest

	aSingleComponentShouldHaveARobustnessOfOne	0
	threeIndependentComponentsShouldHaveARobustnessOf6	0

BuilderTest

	shouldReadRequirementWithBrackets	0.225
	shouldReadConjunction	0
	shouldReadASystemWithoutTags	0.006
	shouldBuildComponentWithoutRequirements	0
	shouldReadASystemWithTags	0.005
	shouldReadASystemWithTagsAndName	0.002
	shouldReadComponentWithRequirements	0.002
	shouldReadDisjunction	0

ComponentTest

	shouldRejectNullNames	0
	shouldProvideAccessToItsName	0
	subPartShouldNeverBeEmpty	0
	beginShouldTriggerEnterOnTheVisitor	0.056
	endShouldTriggerExitOnTheVisitor	0.001
	shouldRejectNullRequirement	0
	shouldProvideAccessToItsRequirement	0

DispatcherTest

	enterConjunctionShouldBeProperlyDispatched	0
	enterNothingShouldBeProperlyDispatched	0
	enterSystemShouldBeProperlyDispatched	0.002
	enterNegationShouldBeProperlyDispatched	0.001
	enterComponentShouldBeProperlyDispatched	0.001
	exitNegationShouldBeProperlyDispatched	0.002
	exitTagShouldBeProperlyDispatched	0.001
	enterDisjunctionShouldBeProperlyDispatched	0.001
	enterTagShouldBeProperlyDispatched	0.001
	exitConjunctionShouldBeProperlyDispatched	0.001
	exitComponentShouldBeProperlyDispatched	0
	exitRequireShouldBeProperlyDispatched	0.001
	exitSystemShouldBeProperlyDispatched	0.001
	exitDisjunctionShouldBeProperlyDispatched	0.001
	enterRequireShouldBeProperlyDispatched	0.001
	exitNothingShouldBeProperlyDispatched	0.001

EvaluationTest

	shouldTraverseConjunction	0.002
	shouldTraverseRequire	0.002
	shouldTraverseNegation	0.001
	shouldTraverseComponent	0.002
	shouldTraverseNothing	0.002
	shouldTraverseDisjunction	0.002

GeneratorTest

durationForLargeSystems

1.461

ConjunctionTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

DisjunctionTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

NegationTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

NothingTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

RandomTest

	resultShouldHaveTheCorrectSize	0.062
	testSpeed	0.025
	testAccumulation	0.124

StateTest

	addLeavesShouldBeDisallowedAtFirst	0
	sequenceOfNegationShouldBeDisallowed	0
	negationShouldBeAllowAfterABranch	0
	addingBranchShouldBeDisallowedWhenItExceedsTheDesiredSize	0
	negationShouldBeAllowedAfterAddingALeaf	0
	addingBranchShouldDisallowedWhenTheTreeGetsTheProperSize	0

RequireTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

LeafCountTest

	shouldCountLeavesCorrectly[require]	0
	shouldCountLeavesCorrectly[nothing]	0
	shouldCountLeavesCorrectly[and]	0
	shouldCountLeavesCorrectly[or]	0
	shouldCountLeavesCorrectly[not]	0

OperatorDistributionTest

	shouldCountOperatorsCorrectly[require]	0
	shouldCountOperatorsCorrectly[nothing]	0
	shouldCountOperatorsCorrectly[and]	0
	shouldCountOperatorsCorrectly[or]	0
	shouldCountOperatorsCorrectly[not]	0

VariableCountTest

	shouldCountVariableCorrectly[require]	0
	shouldCountVariableCorrectly[nothing]	0
	shouldCountVariableCorrectly[disjunction]	0
	shouldCountVariableCorrectly[conjunction]	0
	shouldCountVariableCorrectly[negation]	0
	shouldCountVariableCorrectly[disjunction with duplicates]	0

RequirementsTest

	shouldDetectConjunctionOfSurvivors	0
	shouldDetectSingleDeadComponent	0
	disjunctionShouldBeSatisifiedWhenOneEndIsMissing	0
	nothingShouldBeSatifisfied	0
	disjunctionShouldNotBeSatisifiedWhenOneEndIsMissing	0
	negationShouldNotBeSatisfiedWhenOperandExists	0
	shouldDetectSurivor	0
	negationShouldBeSatisfiedWhenOperandIsMissing	0
	conjunctionShouldNotBeSatisifiedWhenBothEndsAreMissing	0
	conjunctionShouldNotBeSatisifiedWhenOneEndIsMissing	0

DensityTest

	densityShouldBeCorrectlyComputed[Maximum]	0
	densityShouldBeCorrectlyComputed[Minimum]	0
	densityShouldBeCorrectlyComputed[Middle range value]	0

SystemTest

	shouldHaveTheDefaultNameWhenNoneIsGiven	0
	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerExitOnTheVisitor	0
	shouldRejectNullListOfComponents	0
	shouldProvideTheIndexOfAComponentWithAGivenNmae	0
	shouldGiveAccessToTheGivenName	0
	shouldValidateComponentNames	0
	shouldGivenAccessToTheComponentByIndex	0
	shouldInstantiateNewTopology	0
	shouldRejectEmptyListOfComponent	0
	shouldProvideTheNumberOfComponentItContains	0

TagTest

	shouldRejectNullNames	0
	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerExitOnTheVisitor	0
	shouldRejectNullTargets	0
	shouldRejectEmptyTargets	0
	shouldHaveALabel	0
	shouldHaveTargets	0

ValidatorTest

	shouldDetectUnknownDependencies	0
	shouldDetectUnknownComponentInTags	0
	shouldValidateCorrectSystems	0.002

CSVFormatterTest

	shouldFormatDataSetCorrectly	0
	traceShouldBeProperlyFormatted	0
	stateShouldBeProperlyFormatted	0

DataSetListenerTest

	dispatcherShouldDispatch	0.006
	listenerShouldBeProperlyNotified	0.002

StateTest

shouldHandleInactivationProperly

0

TraceTest

	shouldGiveAccessToAnyDisruptionLevel	0
	shouldRecordActivityLevel	0

FiltersTest

	twoSimilarFiltersShouldBeEqual	0
	twoDifferentFiltersShouldNotBeEqual	0
	filtersShouldBeEffective	0.001
	allShouldSelectAllComponents	0
	twoDifferentFiltersShouldHaveFifferentHashCode	0
	twoSimilarFiltersShouldHaveTheSameHashcode	0

RobustnessTest

	testExample[0]	1.912
	testExample[1]	1.032
	testExample[2]	0.631

SimulatorTest

	test	0
	predefinedSequencesShouldRunJustFine	0

TopologyTest

	shouldSupportSelectingActiveComponents	0
	capacityShouldRemainConstantRegardlessOfAction	0
	shouldSupportDisablingSpecificComponent	0
	inactivityShouldPropagatesAlongDependencies	0
	disjunctionShouldBeInactiveWhenAllRequirementsAreMissing	0
	shouldProvideTheNumberOfSurvivors	0
	shouldSupportDetectingExistenceOfActiveComponents	0
	conjunctionShouldBeInactiveRegarlessOfWhichDependencyIsMissing	0
	conjunctionShouldBeInactiveWhenAllDependenciesAreMissing	0
	shouldSupportEnablingSpecificComponent	0
	disjunctionShouldRemainActiveDespiteOneRequirementMissing	0

TrioTest

	test[R(A -> B or C)]	0.001
	test[R(A -> B and C)]	0.017
	test[R(A -> B -> C -> A)]	0.02
	test[R(A -> B -> C)]	0.015
	test[NR(A -> B or C)]	0.024
	test[NR(A -> B and C)]	0.018
	test[NR(A -> B -> C -> A)]	0.008
	test[NR(A -> B -> C)]	0.007
	test[L(A -> B or C)]	0.004
	test[L(A -> B and C)]	0.004
	test[L(A -> B -> C -> A)]	0.002
	test[L(A -> B -> C)]	0.004

CommandTest

	shouldAcceptShortVersionForObserve	0.006
	shouldAcceptShortVersionRunCount	0.001
	shouldProvideDefaultValuesForAllOptions	0
	shouldAcceptLongVersionTraceFile	0.001
	shouldAcceptShortVersionOfTraceFile	0.001
	shouldRejectShortInvalidOptions	0
	shouldRejectNegativeRunCounts	0
	shouldAcceptLongVersionObserve	0.001
	shouldAcceptShortVersionForControl	0
	shouldAcceptCombinationOfLongAndShortOptions	0.001
	shouldRejectMissingInputFile	0
	shouldAcceptLongVersionForControl	0.001
	shouldRejectLongInvalidOptions	0
	shouldAcceptLongVersionRunCount	0
	shouldRejectZeroRunCounts	0.001