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.509

eu.diversify.trio.unit

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	TrioTest	12	0	0	0	100%	1.103

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.017
	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.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

eu.diversify.trio.acceptance.driver

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

eu.diversify.trio.unit.core

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	ComponentTest	7	0	0	0	100%	0.111
	DispatcherTest	16	0	0	0	100%	0.025
	EvaluationTest	6	0	0	0	100%	0.02
	RequirementsTest	10	0	0	0	100%	0.002
	SystemTest	10	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%	3.876

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

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	RandomTest	3	0	0	0	100%	0.689
	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.001
	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.002

eu.diversify.trio.unit.ui

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

Test Cases

[Summary] [Package List] [Test Cases]

TrioResponseTest

	assertRobustnessAboutShouldDetectMissingRobustness	0.001
	assertRobustnessAboutShouldDetectRobustness	0.019
	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.475
	shouldReadConjunction	0.001
	shouldReadASystemWithoutTags	0.011
	shouldBuildComponentWithoutRequirements	0.001
	shouldReadASystemWithTags	0.013
	shouldReadASystemWithTagsAndName	0.004
	shouldReadComponentWithRequirements	0.003
	shouldReadDisjunction	0.001

ComponentTest

	shouldRejectNullNames	0
	shouldProvideAccessToItsName	0
	subPartShouldNeverBeEmpty	0
	beginShouldTriggerEnterOnTheVisitor	0.108
	endShouldTriggerExitOnTheVisitor	0.002
	shouldRejectNullRequirement	0.001
	shouldProvideAccessToItsRequirement	0

DispatcherTest

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

EvaluationTest

	shouldTraverseConjunction	0.008
	shouldTraverseRequire	0.003
	shouldTraverseNegation	0.002
	shouldTraverseComponent	0.002
	shouldTraverseNothing	0.002
	shouldTraverseDisjunction	0.003

GeneratorTest

durationForLargeSystems

3.876

ConjunctionTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

DisjunctionTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

NegationTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

NothingTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0

RandomTest

	resultShouldHaveTheCorrectSize	0.209
	testSpeed	0.081
	testAccumulation	0.399

StateTest

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

RequireTest

	beginShouldTriggerEnterOnTheVisitor	0
	endShouldTriggerEnterOnTheVisitor	0.002

LeafCountTest

	shouldCountLeavesCorrectly[require]	0.001
	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.001
	negationShouldNotBeSatisfiedWhenOperandExists	0
	shouldDetectSurivor	0
	negationShouldBeSatisfiedWhenOperandIsMissing	0
	conjunctionShouldNotBeSatisifiedWhenBothEndsAreMissing	0
	conjunctionShouldNotBeSatisifiedWhenOneEndIsMissing	0.001

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
	shouldGivenAccessToTheComponentByIndex	0
	shouldInstantiateNewTopology	0
	shouldRejectEmptyListOfComponent	0
	shouldProvideTheNumberOfComponentItContains	0

TagTest

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

CSVFormatterTest

	shouldFormatDataSetCorrectly	0
	traceShouldBeProperlyFormatted	0
	stateShouldBeProperlyFormatted	0

DataSetListenerTest

	dispatcherShouldDispatch	0.011
	listenerShouldBeProperlyNotified	0.006

StateTest

shouldHandleInactivationProperly

0

TraceTest

	shouldGiveAccessToAnyDisruptionLevel	0
	shouldRecordActivityLevel	0

FiltersTest

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

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.334
	test[R(A -> B and C)]	0.193
	test[R(A -> B -> C -> A)]	0.091
	test[R(A -> B -> C)]	0.084
	test[NR(A -> B or C)]	0.193
	test[NR(A -> B and C)]	0.065
	test[NR(A -> B -> C -> A)]	0.04
	test[NR(A -> B -> C)]	0.036
	test[L(A -> B or C)]	0.03
	test[L(A -> B and C)]	0.014
	test[L(A -> B -> C -> A)]	0.007
	test[L(A -> B -> C)]	0.016

CommandTest

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