def test_automaton_phase_0_actions(self): view_est_mod = ViewEstablishmentModule(0, self.resolver, 2, 0) pred_module = PredicatesAndAction(view_est_mod, 0, self.resolver, 2, 0) # Case 0 should call adopt and next_view in view Establishment module view_est_mod.next_phs = Mock() pred_module.adopt = Mock() pred_module.reset_v_change = Mock() pred_module.view_pair_to_adopt = pred_module.RST_PAIR self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 0, 0), ViewEstablishmentEnums.NO_RETURN_VALUE) view_est_mod.next_phs.assert_any_call() #pred_module.reset_v_change.assert_any_call() pred_module.adopt.assert_called_once_with(pred_module.RST_PAIR) # Case 1a should call next_view and next_phs in view Establishment module pred_module.next_view = Mock() view_est_mod.next_phs = Mock() pred_module.vChange = [True for i in range(2)] self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 0, 1), ViewEstablishmentEnums.NO_RETURN_VALUE) pred_module.next_view.assert_any_call() view_est_mod.next_phs.assert_any_call() # Case 1b should call next_phs in View Establishment module pred_module.vChange = [False for i in range(2)] view_est_mod.next_phs = Mock() pred_module.views[pred_module.id] = pred_module.RST_PAIR self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 0, 1), ViewEstablishmentEnums.NO_RETURN_VALUE) view_est_mod.next_phs.assert_any_call() # Case 2 should return "No action" and call reset_v_change pred_module.reset_v_change = Mock() self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 0, 2), ViewEstablishmentEnums.NO_ACTION) # pred_module.reset_v_change.assert_any_call() # Case 3 should return "Reset" pred_module.reset_all = MagicMock( return_value=ViewEstablishmentEnums.RESET) #pred_module.reset_v_change = Mock() self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 0, 3), ViewEstablishmentEnums.RESET)
def test_added_logic_phase_0_case_1_b(self): # No mocking needed, establishable should return true view_est_mod = ViewEstablishmentModule(0, self.resolver, 2, 0) pred_module = PredicatesAndAction(view_est_mod, 0, self.resolver, 2, 0) pred_module.vChange = [False for i in range(2)] pred_module.views = [pred_module.RST_PAIR, pred_module.RST_PAIR] view_est_mod.phs = [0, 0] self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 1))
def test_automaton_phase_1_actions(self): view_est_mod = ViewEstablishmentModule(0, self.resolver, 2, 0) pred_module = PredicatesAndAction(view_est_mod, 0, self.resolver, 2, 0) # Case 0 should call adopt and next_view in view Establishment module pred_module.adopt = Mock() pred_module.reset_v_change = Mock() pred_module.view_pair_to_adopt = pred_module.RST_PAIR self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 1, 0), ViewEstablishmentEnums.NO_RETURN_VALUE) pred_module.adopt.assert_called_once_with(pred_module.RST_PAIR) pred_module.reset_v_change.assert_any_call() # Case 1 should call next_view and next_phs in view Establishment module view_est_mod.next_phs = Mock() pred_module.reset_v_change = Mock() pred_module.establish = Mock() self.resolver.execute = Mock() pred_module.views[pred_module.id] = pred_module.RST_PAIR self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 1, 1), ViewEstablishmentEnums.NO_RETURN_VALUE) view_est_mod.next_phs.assert_any_call() pred_module.reset_v_change.assert_any_call() pred_module.establish.assert_any_call() # self.resolver.execute.assert_called_once_with(module=Module.REPLICATION_MODULE, # func=Function.REPLICA_FLUSH) # Case 2 should return "No action" and call reset_v_change pred_module.reset_v_change = Mock() self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 1, 2), ViewEstablishmentEnums.NO_ACTION) pred_module.reset_v_change.assert_any_call() # Case 3 should return "Reset" pred_module.reset_all = MagicMock( return_value=ViewEstablishmentEnums.RESET) self.assertEqual( pred_module.automation(ViewEstablishmentEnums.ACTION, 1, 3), ViewEstablishmentEnums.RESET)
def test_automaton_phase_1_predicates(self): view_est_mod = ViewEstablishmentModule(0, self.resolver, 2, 0) pred_module = PredicatesAndAction(view_est_mod, 0, self.resolver, 2, 0) # Case 0 pred_module.views = [{CURRENT: 0, NEXT: 4}, {CURRENT: 1, NEXT: 1}] pred_module.transit_adopble = MagicMock(return_value=True) self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 1, 0)) # Not a adoptable view in transit pred_module.transit_adopble = MagicMock(return_value=False) self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 1, 0)) # The adoptable view is the same as processor i pred_module.views = [{CURRENT: 0, NEXT: 0}, {CURRENT: 0, NEXT: 0}] pred_module.transit_adopble = MagicMock(return_value=True) self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 1, 0)) # Case 1 pred_module.establishable = MagicMock(return_value=True) self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 1, 1)) # The threshold to move to a view change is not fulfilled pred_module.establishable = MagicMock(return_value=False) self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 1, 1)) # Case 2 # There is not an adoptable view in transit self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 1, 2)) # There is not an adoptable view in transit pred_module.transit_adopble = MagicMock(return_value=False) self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 1, 2)) # Case 3 should return True self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 1, 3))
def test_automaton_phase_0_predicates(self): view_est_mod = ViewEstablishmentModule(0, self.resolver, 2, 0) pred_module = PredicatesAndAction(view_est_mod, 0, self.resolver, 2, 0) # Case 0 pred_module.views = [{CURRENT: 0, NEXT: 0}, {CURRENT: 1, NEXT: 1}] pred_module.transit_adopble = MagicMock(return_value=True) self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 0)) # Not a adoptable view in transit pred_module.transit_adopble = MagicMock(return_value=False) self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 0)) # The adoptable view is the same as processor i pred_module.views = [{CURRENT: 0, NEXT: 0}, {CURRENT: 0, NEXT: 0}] pred_module.transit_adopble = MagicMock(return_value=True) self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 0)) # Case 1b pred_module.vChange = [False for i in range(2)] pred_module.establishable = MagicMock(return_value=True) pred_module.views[pred_module.id] = pred_module.RST_PAIR self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 1)) # Case 1a pred_module.views[pred_module.id] = { "current": 1, "next": 1 } # NOT the RST_PAIR pred_module.establishable = MagicMock(return_value=True) pred_module.vChange = [True for i in range(2)] self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 1)) # View change is not required pred_module.vChange = [False for i in range(2)] pred_module.views[1] = {"current": 1, "next": 1} self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 1)) # The threshold to move to a view change is not fulfilled pred_module.establishable = MagicMock(return_value=False) pred_module.vChange = [True for i in range(2)] self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 1)) # Case 2 # There is a adoptable view in transit self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 2)) # None of the condition is fulfilled pred_module.transit_adopble = MagicMock(return_value=False) self.assertFalse( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 2)) # Processor i view_pair is the default pair pred_module.views[pred_module.id] = pred_module.RST_PAIR self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 2)) # Case 3 should return True self.assertTrue( pred_module.automation(ViewEstablishmentEnums.PREDICATE, 0, 3))