def test_refinement(): refinement = Refinement() task = Task("T1") delegation = Delegation("D1") goal = Goal(Decomposition.AND, "G1") assert task.myType() is refinement.TASK assert delegation.myType() is refinement.DELEGATION assert goal.myType() is refinement.GOAL
def test_abidesByInterpretation_only_baseline_not_passing(mpers): locationIsIdentifiedGoal = mpers.goals.locationIsIdentifiedGoal context = [] LongSecondsTask = Task("LongSecondsTask") LongSecondsTask.setProvidedQuality(None, MpersMetrics.SECONDS, 1500) result = PragmaticPlanning().abidesByInterpretation( LongSecondsTask, locationIsIdentifiedGoal.interp, context) assert result == False
def test_OnlyBaselineDefined(): task = Task("T1") baseline = Context(None) fullContext = [] fullContext.append(baseline) task.setProvidedQuality(baseline, MpersMetrics.METERS, 50.0) assert 50.0 == PragmaticPlanning().myProvidedQuality( task, MpersMetrics.METERS, fullContext)
def text_shouldProvideMetricForBaseline(): task = Task("t1") current = Context("C1") fullContext = [] fullContext.append(current) task.setProvidedQuality(None, MpersMetrics.METERS, 30.0) assert 30.0 == PragmaticPlanning().myProvidedQuality( task, MpersMetrics.METERS, fullContext)
def test_shouldAddSeveralContextsAtOnce(): context1 = Context("C1") context2 = Context("C2") task = Task("T1") assert task.applicableContext is None task.addApplicableContext([context1, context2]) assert 2 == len(task.applicableContext)
def test_shouldProvideCorrectValueForMetric(): task = Task("T1") currentContext = Context("C1") fullContext = [] fullContext.append(currentContext) task.setProvidedQuality(currentContext, MpersMetrics.METERS, 30) assert 30 == PragmaticPlanning().myProvidedQuality(task, MpersMetrics.METERS, fullContext)
def metricNotFound(): task = Task("T1") currentContext = Context("C1") fullContext = [] fullContext.append(currentContext) task.setProvidedQuality(currentContext, MpersMetrics.METERS, 30.0) result = PragmaticPlanning().myProvidedQuality(task, MpersMetrics.SECONDS, fullContext) assert result is None
def test_shouldBeUnachievable(): root = Goal(Decomposition.AND, "root") context1 = Context("c1") context2 = Context("c2") current = [] current.append(context1) task1 = Task("T1") task2 = Task("T2") task1.addApplicableContext(context2) task2.addApplicableContext(context2) root.addDependency(task1) root.addDependency(task2) deps = [] deps.append(task1) deps.append(task2) plan = PragmaticPlanning().isAchievable(root, current, None) assert plan is None
def test_plan(): task1 = Task("t1") task2 = Task("t2") task3 = Task("t3") plan1 = Plan(task1) plan2 = Plan(task2) plan3 = Plan(task3) plan1.add(plan2) plan2.add(plan1) plan3.addTask(task2) assert set(plan1.getTasks()) == set(plan2.getTasks()) assert set(plan3.getTasks()) != set(plan2.getTasks())
def test_shouldThereBeMoreThanOneApplicableQCreturnTheStricterOne(): goal = Pragmatic(Decomposition.AND, "Root") task = Task("T1") context = Context("C1") anotherContext = Context("C2") fullContext = [] qc = QualityConstraint(context, CommonMetrics.SECONDS, 15, Comparison.LESS_OR_EQUAL_TO) stricter = QualityConstraint(anotherContext, CommonMetrics.SECONDS, 10, Comparison.LESS_OR_EQUAL_TO) goal.addDependency(task) goal.addApplicableContext(context) goal.interp.addQualityConstraint(qc) goal.interp.addQualityConstraint(stricter) assert stricter == qc.stricterQC(stricter) fullContext.append(context) assert qc in goal.interp.getQualityConstraints(fullContext) fullContext.append(anotherContext) assert stricter in \ goal.interp.getQualityConstraints(fullContext)
def test_shouldBeApplicable(): goal = Goal(Decomposition.AND, "G1") task = Task("T1") delegation = Delegation("D1") contextCurrent = Context("C1") fullContext = [] fullContext.append(contextCurrent) goal.addApplicableContext(contextCurrent) task.addApplicableContext(contextCurrent) delegation.addApplicableContext(contextCurrent) assert True is PragmaticPlanning().isApplicable(goal, fullContext) assert True is PragmaticPlanning().isApplicable(task, fullContext) assert True is PragmaticPlanning().isApplicable(delegation, fullContext)
def test_shouldBeAchievable(): root = Goal(Decomposition.AND, "root") context = Context("c1") current = [] current.append(context) task1 = Task("t1") task2 = Task("t2") task1.addApplicableContext(context) root.addDependency(task1) root.addDependency(task2) plan = PragmaticPlanning().isAchievable(root, current, None) assert plan assert task2 in plan.getTasks()
def test_getApplicableQC(): goal = Pragmatic(Decomposition.AND, "Root") task = Task("T1") context = Context("C1") anotherContext = Context("C2") fullContext = [] qc = QualityConstraint(context, CommonMetrics.SECONDS, 15, Comparison.LESS_OR_EQUAL_TO) stricter = QualityConstraint(anotherContext, CommonMetrics.SECONDS, 10, Comparison.LESS_OR_EQUAL_TO) task.setProvidedQuality(context, CommonMetrics.SECONDS, 13) goal.addDependency(task) goal.addApplicableContext(context) goal.interp.addQualityConstraint(qc) goal.interp.addQualityConstraint(stricter) fullContext.append(context) assert stricter not in goal.interp.getQualityConstraints(fullContext) plan = PragmaticPlanning().isAchievable(goal, fullContext, goal.interp) assert len(plan.getTasks()) == 1 fullContext.append(anotherContext) assert qc in goal.interp.getQualityConstraints(fullContext) assert stricter in goal.interp.getQualityConstraints(fullContext) assert PragmaticPlanning().isAchievable(goal, fullContext, goal.interp) is None fullContext.remove(context) assert qc not in goal.interp.getQualityConstraints(fullContext) assert stricter in goal.interp.getQualityConstraints(fullContext)
def test_shouldIncludeNonApplicableContexts(): goal = Pragmatic(False, "Root") task = Task("T1") context = Context("C1") wrongContext = Context("C2") current = [] qc = QualityConstraint(context, CommonMetrics.SECONDS, 15, Comparison.LESS_OR_EQUAL_TO) task.addApplicableContext(context) task.setProvidedQuality(context, CommonMetrics.SECONDS, 13) goal.addDependency(task) goal.addNonapplicableContext(wrongContext) goal.interp.addQualityConstraint(qc) interp = Interpretation() interp.addQualityConstraint(qc) current.append(wrongContext) assert PragmaticPlanning().isAchievable(goal, current, interp) is None current.append(context) assert PragmaticPlanning().isAchievable(goal, current, interp) is None current.remove(wrongContext) assert PragmaticPlanning().isAchievable(goal, current, interp) assert PragmaticPlanning().isAchievable(goal, current, interp).getTasks() assert 1 == len(goal.isAchievable(current, interp).getTasks())
def test_ApplicableDeps(): goal = Pragmatic(Decomposition.AND, "Root") task = Task("T1") context = Context("C1") wrongContext = Context("C2") qc = QualityConstraint(context, CommonMetrics.SECONDS, 15, Comparison.LESS_OR_EQUAL_TO) task.addApplicableContext(context) task.setProvidedQuality(context, CommonMetrics.SECONDS, 13) goal.addDependency(task) goal.addApplicableContext(context) goal.interp.addQualityConstraint(qc) interp = Interpretation() interp.addQualityConstraint(qc) current = [] current.append(wrongContext) assert PragmaticPlanning().isAchievable(goal, current, interp) is None current.append(context) assert len(goal.isAchievable(current, interp).getTasks()) == 1
def test_shouldGetApplicableDependencies(): root = Goal(Decomposition.AND, "root") context = Context("c1") current = [] current.append(context) task = Task("t1") goal = Goal(Decomposition.AND, "g1") delegation = Delegation("D1") task.addApplicableContext(context) root.addDependency(task) root.addDependency(goal) root.addDependency(delegation) deps = [] deps.append(task) assert 1 == len(deps) assert task in deps
def test_shouldGetDependencies(): root = Goal(Decomposition.AND, "root") task = Task("T1") goal = Goal(Decomposition.AND, "G1") delegation = Delegation("D1") root.addDependency(task) root.addDependency(goal) root.addDependency(delegation) deps = [] deps.append(delegation) deps.append(goal) deps.append(task) for d in deps: assert d in root.dependencies
def test_shouldProvideSpecificContextMetric(): task = Task("T2") currentContext = Context("C1") baseline = None fullContext = [] fullContext.append(currentContext) fullContext.append(baseline) task.setProvidedQuality(currentContext, MpersMetrics.METERS, 50) task.setProvidedQuality(baseline, MpersMetrics.METERS, 30) assert 50 == PragmaticPlanning().myProvidedQuality(task, MpersMetrics.METERS, fullContext)
def aTaskMayNotBeAchievable(): task = Task("T1") current = Context("C1") fullContext = [] fullContext.append(current) qc = QualityConstraint(current, CommonMetrics.SECONDS, 15, Comparison.LESS_OR_EQUAL_TO) task.addApplicableContext(current) task.setProvidedQuality(current, CommonMetrics.SECONDS, 16) interp = Interpretation() interp.addQualityConstraint(qc) assert PragmaticPlanning().isAchievable(task, fullContext, interp) is None
def test_aTaskShouldBeAchievable(): task = Task("T1") currentContext = Context("C1") fullContext = [] fullContext.append(currentContext) qc = QualityConstraint(currentContext, CommonMetrics.SECONDS, 15, Comparison.LESS_OR_EQUAL_TO) task.addApplicableContext(currentContext) task.setProvidedQuality(currentContext, CommonMetrics.SECONDS, 12) interp = Interpretation() interp.addQualityConstraint(qc) assert task in PragmaticPlanning().isAchievableTask( task, fullContext, interp).getTasks()
def test_aGoalWithATaskMayBeAchievable(): goal = Goal(Decomposition.AND, "Root") task = Task("T1") current = Context("C1") fullContext = [] fullContext.append(current) qc = QualityConstraint(current, CommonMetrics.SECONDS, 15, Comparison.LESS_OR_EQUAL_TO) interp = Interpretation() interp.addQualityConstraint(qc) task.addApplicableContext(current) task.setProvidedQuality(current, CommonMetrics.SECONDS, 13) goal.addDependency(task) goal.addApplicableContext(current) plan = PragmaticPlanning().isAchievable(goal, fullContext, interp) assert len(plan.getTasks()) == 1
def __init__(self, task): Task.__init__(self, task)
def __init__(self): # Tasks self.notifyCentralBySMSTask = Task("notifyCentralBySMSTask") self.notifyCentralByInternetTask = Task("notifyCentralByInternetTask") self.acceptEmergencyTask = Task("acceptEmergencyTask") self.confirmEmergencyByCallTask = Task("confirmEmergencyByCallTask") self.processDataFromSensorsTask = Task("processDataFromSensorsTask") self.identifySituationTask = Task("identifySituationTask") self.collectDataFromSensorsTask = Task("collectDataFromSensorsTask") self.persistDataToDatabaseTask = Task("persistDataToDatabaseTask") self.notifyByMobileVibrationTask = Task("notifyByMobileVibrationTask") self.notifyBySoundAlertTask = Task("notifyBySoundAlertTask") self.notifyByLightAlertTask = Task("notifyByLightAlertTask") self.centralCallTask = Task("centralCallsPTask") self.sendInfoBySMSTask = Task("sendInfoBySMSTask") self.sendInfoByInternetTask = Task("sendInfoByInternetTask") self.considerLastKnownLocationTask = Task( "considerLastKnownLocationTask") self.identifyLocationByVoiceCallTask = Task( "identifyLocationByVoiceCallTask") self.accessLocationFromTriangulationTask = Task( "accessLocationFromTriangulationTask") self.accessLocationFromGPSTask = Task("accessLocationFromGPSTask") self.accessDataFromDatabaseTask = Task("accessDataFromDatabaseTask") self.getInfoFromResponsibleTask = Task("getInfoFromResponsibleTask") self.ambulanceDispatchDelegationTask = Task( "ambulanceDispatchDelegationTask")
def test_aGoalOrDecomposedWithTwoTasksMayNotBeAchievable(): goal = Goal(Decomposition.OR, "Root") task1 = Task("T1") task2 = Task("T2") current = Context("C1") fullContext = [] fullContext.append(current) qc = QualityConstraint(current, CommonMetrics.SECONDS, 15, Comparison.LESS_OR_EQUAL_TO) task1.addApplicableContext(current) task1.setProvidedQuality(current, CommonMetrics.SECONDS, 16) task2.addApplicableContext(current) task2.setProvidedQuality(current, CommonMetrics.SECONDS, 17) goal.addDependency(task1) goal.addDependency(task2) goal.addApplicableContext(current) interp = Interpretation() interp.addQualityConstraint(qc) plan = PragmaticPlanning().isAchievable(goal, fullContext, interp) assert goal.decomposition is Decomposition.OR assert plan is None