def setUp(self):
self.parser = YakinduParser('spec/resources/refrigerator.odt')
class Yakindu_Spec(TestCase):
def setUp(self):
self.parser = YakinduParser('spec/resources/refrigerator.odt')
def test_file_exists(self):
(YakinduParser, 'spec/resources/refrigerator.odt') |should_not| throw(NameError)
def test_file_not_exists(self):
(YakinduParser, 'spec/resources/not_exist') |should| throw(NameError)
def test_file_is_valid(self):
(YakinduParser, 'spec/resources/trabalho-fsi.pdf') |should| throw(NameError)
def test_content_was_extracted(self):
self.parser._clean_content() |should| equal_to('initially the initial_state refrigerator '+\
'door is closed end , consequently the '+\
'specification light off is true end and the '+\
'specification light on is false end ; '+\
'the specification thermostat power minimum is '+\
'true end and the specification thermostat '+\
'power maximum is false end . when one '+ \
'transition opens the door end , the state '+ \
'refrigerator door is opened end , the '+\
'specification light on is true end and the ' +\
' specification light off is false end ; '+\
'the specification thermostat power maximum is '+\
'true end and the specification thermostat '+\
'power minimum is false end . when one transition '+\
'closes the door end , the state '+\
'refrigerator door is closed end .')
def test_content_was_tokenized(self):
self.parser._tokenize_content() |should| equal_to([['initially', 'initial_state', 'refrigerator',
'door', 'closed', 'end', 'specification',
'light', 'off', 'true', 'end', 'specification',
'light', 'on', 'false', 'end', 'specification',
'thermostat', 'power', 'minimum', 'true', 'end',
'specification', 'thermostat', 'power', 'maximum',
'false', 'end'],
['transition', 'opens', 'door', 'end', 'state',
'refrigerator' ,'door', 'opened', 'end',
'specification', 'light', 'on', 'true', 'end',
'specification', 'light', 'off', 'false', 'end',
'specification', 'thermostat', 'power', 'maximum',
'true', 'end', 'specification', 'thermostat', 'power',
'minimum', 'false', 'end'], ['transition', 'closes',
'door', 'end', 'state', 'refrigerator', 'door',
'closed', 'end']])
def test_tags_was_ordered_by_sent(self):
self.parser._order_tags_by_sent() |should| equal_to([['initial_state', 'end', 'specification'],
['transition', 'end', 'state', 'specification'],
['transition', 'end', 'state']])
def test_indexes_were_acquired(self):
self.parser._indexes_of_process_intersections() |should| equal_to([[1, 5, 10, 15, 21, 27, 6, 11, 16, 22],
[0, 3, 8, 13, 18, 24, 30, 4, 9, 14, 19, 25],
[0, 3, 8, 4]])
def test_indexes_were_sorted_by_bigrams(self):
self.parser._sort_tag_indexes_bigrams() |should| equal_to([[(1, 5), (5, 6), (6, 10), (10, 11), (11, 15),
(15, 16), (16, 21), (21, 22), (22, 27), (27, None)],
[(0, 3), (3, 4), (4, 8), (8, 9), (9, 13), (13, 14),
(14, 18), (18, 19), (19, 24), (24, 25), (25, 30),
(30, None)], [(0, 3), (3, 4), (4, 8), (8, None)]] )
def test_tags_content_tuples_were_cut_by_sent(self):
indexes = [(0, 0), (0, 1), (1, 3), (3, 3), (3, 4), (4, 4), (4, 5), (5, 6), (6, 7), (7, 8),
(8, 8), (8, 9), (9, 10), (10, 12), (12, 13), (13, 14), (14, None)]
content = ['initial_state', 'refrigerator', 'door', 'closed', 'end', 'specification',
'light', 'off', 'end', 'specification', 'thermostat', 'power', 'minimum', 'end']
second_indexes = [(0, 0), (0, 1), (1, 3), (3, 3), (3, 4), (4, 4), (4, 5), (5, 6), (6, 7),
(7, 8), (8, 8), (8, 9), (9, 10), (10, 12), (12, 13), (13, 14), (14, None)]
second_content = ['transition', 'opens', 'door', 'end', 'state', 'refrigerator', 'door',
'opened', 'end', 'specification', 'light', 'turns', 'on', 'end', 'specification',
'thermostat', 'power', 'maximum']
third_indexes = [(0, 0), (0, 1), (1, 3), (3, 3), (3, 4), (4, 4), (4, 5), (5, 6), (6, 7),
(7, 8), (8, 8), (8, 9), (9, 10), (10, 12), (12, 13), (13, 14), (14, None)]
third_content = ['transition', 'closes', 'door', 'end', 'state', 'refrigerator', 'door',
'closed', 'end']
self.parser._cut_tag_content_tuples_from_sent(indexes, content) \
|should| equal_to([['initial_state'], ['refrigerator', 'door'], ['closed'], ['end'],
['specification'], ['light'], ['off'], ['end'], ['specification'],
['thermostat', 'power'], ['minimum'], ['end']])
self.parser._cut_tag_content_tuples_from_sent(second_indexes, second_content) \
|should| equal_to([['transition'], ['opens', 'door'], ['end'], ['state'],
['refrigerator'], ['door'], ['opened'], ['end'], ['specification'],
['light', 'turns'], ['on'], ['end'],
['specification', 'thermostat', 'power', 'maximum']])
self.parser._cut_tag_content_tuples_from_sent(third_indexes, third_content) \
|should| equal_to([['transition'], ['closes', 'door'], ['end'], ['state'],
['refrigerator'], ['door'], ['closed'], ['end']])
def test_content_was_tagged(self):
sorted_indexes_tags = self.parser._sort_tag_indexes_bigrams()
tokenized_content = self.parser._tokenize_content()
self.parser._take_tagged_content(sorted_indexes_tags, tokenized_content) \
|should| equal_to([[['initial_state', 'refrigerator', 'door', 'closed'],
['end'], ['specification', 'light', 'off', 'true'],
['end'], ['specification', 'light', 'on', 'false'],
['end'], ['specification', 'thermostat', 'power', 'minimum', 'true'],
['end'], ['specification', 'thermostat', 'power', 'maximum', 'false'], ['end']],
[['transition', 'opens', 'door'], ['end'],
['state', 'refrigerator', 'door', 'opened'], ['end'],
['specification', 'light', 'on', 'true'], ['end'],
['specification', 'light', 'off', 'false'], ['end'],
['specification', 'thermostat', 'power', 'maximum', 'true'],
['end'], ['specification', 'thermostat', 'power', 'minimum', 'false'], ['end']],
[['transition', 'closes', 'door'], ['end'],
['state', 'refrigerator', 'door', 'closed'], ['end']]])
def test_lean_content_was_created(self):
self.parser._create_cleaned_content() |should| equal_to([[['initial_state', 'refrigerator', 'door', 'closed'],
['specification', 'light', 'off', 'true'],
['specification', 'light', 'on', 'false'],
['specification', 'thermostat', 'power', 'minimum', 'true'],
['specification', 'thermostat', 'power', 'maximum', 'false']],
[['transition', 'open', 'door'],
['state', 'refrigerator', 'door', 'opened'],
['specification', 'light', 'on', 'true'],
['specification', 'light', 'off', 'false'],
['specification', 'thermostat', 'power', 'maximum', 'true'],
['specification', 'thermostat', 'power', 'minimum', 'false']],
[['transition', 'close', 'door'],
['state', 'refrigerator', 'door', 'closed']]])
def test_content_was_classified(self):
self.parser._pos_tag_lean_content() |should| equal_to([[[('initial_state', 'NN'), ('refrigerator', 'NN'),
('door', 'NN'), ('closed', 'VBD')],
[('specification', 'NN'), ('light', 'NN'),
('off', 'IN'), ('true', 'JJ')],
[('specification', 'NN'), ('light', 'NN'),
('on', 'IN'), ('false', 'JJ')],
[('specification', 'NN'), ('thermostat', 'NNP'),
('power', 'NN'), ('minimum', 'JJ'), ('true', 'JJ')],
[('specification', 'NN'), ('thermostat', 'NNP'),
('power', 'NN'), ('maximum', 'JJ'), ('false', 'JJ')]],
[[('transition', 'NN'), ('opens', 'VBZ'), ('door', 'NN')],
[('state', 'NN'), ('refrigerator', 'NN'),
('door', 'NN'), ('opened', 'VBD')],
[('specification', 'NN'), ('light', 'NN'),
('on', 'IN'), ('true', 'JJ')],
[('specification', 'NN'), ('light', 'NN'),
('off', 'IN'), ('false', 'JJ')],
[('specification', 'NN'), ('thermostat', 'NNP'),
('power', 'NN'), ('maximum', 'JJ'), ('true', 'JJ')],
[('specification', 'NN'), ('thermostat', 'NNP'),
('power', 'NN'), ('minimum', 'JJ'), ('false', 'JJ')]],
[[('transition', 'NN'), ('closes', 'VBZ'), ('door', 'NN')],
[('state', 'NN'), ('refrigerator', 'NN'),
('door', 'NN'), ('closed', 'VBD')]]])
def test_term_specification_was_removed_from_content(self):
first_sent = [[('initial_state', None), ('refrigerator', 'NN')], [('door', 'NN')],
[('closed', 'VBD')], [('specification', None)], [('light', 'JJ')],
[('off', 'RP')], [('specification', None), ('thermostat', None)],
[('power', 'NN')], [('minimum', 'JJ')]]
second_sent = [[('transition', 'NN')], [('opens', 'VBZ'), ('door', 'NN')],
[('state', 'NN')], [('door', 'NN')], [('opened', 'VBD')],
[('specification', None)], [('light', 'JJ')],
[('turns', 'VBZ'), ('on', 'IN')], [('specification', None)],
[('thermostat', None), ('power', 'NN'), ('maximum', 'NN')]]
third_sent = [[('transition', 'NN')], [('closes', None), ('door', 'NN')],
[('state', 'NN')], [('refrigerator', 'NN')], [('door', 'NN')],
[('closed', 'VBD')]]
self.parser._clean_pos_tagged_content(first_sent) |should| equal_to([['initial_state', 'refrigerator'],
['door'], ['closed'], ['specification'],
['light'], ['off'],
['specification', 'thermostat'],
['power'], ['minimum']])
self.parser._clean_pos_tagged_content(second_sent) |should| equal_to([['transition'], ['opens', 'door'],
['state'], ['door'], ['opened'],
['specification'], ['light'],
['turns', 'on'], ['specification'],
['thermostat', 'power', 'maximum']])
self.parser._clean_pos_tagged_content(third_sent) |should| equal_to([['transition'], ['closes', 'door'],
['state'], ['refrigerator'],
['door'], ['closed']])
def test_content_was_cleaned(self):
self.parser._create_cleaned_content() |should| equal_to( [[['initial_state', 'refrigerator', 'door', 'closed'],
['specification', 'light', 'off', 'true'],
['specification', 'light', 'on', 'false'],
['specification', 'thermostat', 'power', 'minimum', 'true'],
['specification', 'thermostat', 'power', 'maximum', 'false']],
[['transition', 'open', 'door'],
['state', 'refrigerator', 'door', 'opened'],
['specification', 'light', 'on', 'true'],
['specification', 'light', 'off', 'false'],
['specification', 'thermostat', 'power', 'maximum', 'true'],
['specification', 'thermostat', 'power', 'minimum', 'false']],
[['transition', 'close', 'door'],
['state', 'refrigerator', 'door', 'closed']]])
def test_states_were_exchanged(self):
self.parser._exchange_states() |should| equal_to([[['initial_state', 'refrigerator', 'door', 'closed'],
['specification', 'light', 'off', True],
['specification', 'light', 'on', False],
['specification', 'thermostat', 'power', 'minimum', True],
['specification', 'thermostat', 'power', 'maximum', False]],
[['transition', 'open', 'door'],
['state', 'refrigerator', 'door', 'opened'],
['specification', 'light', 'on', True],
['specification', 'light', 'off', False],
['specification', 'thermostat', 'power', 'maximum', True],
['specification', 'thermostat', 'power', 'minimum', False]],
[['transition', 'close', 'door'],
['initial_state', 'refrigerator', 'door', 'closed']]])
def test_specification_components(self):
self.parser._verify_specification_components() |should| equal_to([['specification', 'light', 'off', True],
['specification', 'light', 'on', False],
['specification', 'thermostat', 'power', 'minimum', True],
['specification', 'thermostat', 'power', 'maximum', False],
['specification', 'light', 'on', True],
['specification', 'light', 'off', False],
['specification', 'thermostat', 'power', 'maximum', True],
['specification', 'thermostat', 'power', 'minimum', False]])
def test_objects_interface_are_created(self):
self.parser._create_objects_interface() |should| equal_to('\n\ninterface light:\nvar off:boolean\nvar '+\
'on:boolean\n\ninterface thermostat:\nvar '+\
'minimum:boolean\nvar maximum:boolean')
def test_events_interface_are_created(self):
self.parser._create_events_interface() |should| equal_to('\n\ninterface:\nin event opendoor\nin event closedoor')
def test_default_specifications_are_created(self):
self.parser._create_default_specification() |should| equal_to(' statechart.setSpecification'+\
'("\\n\\ninterface light:\\nvar off:boolean\\nvar'+
' on:boolean\\n\\ninterface thermostat:\\nvar'+\
' minimum:boolean\\nvar maximum:boolean\\n\\n'+\
'interface:\\nin event opendoor\\nin event'+\
' closedoor");\n\n ')
def test_states_were_taken(self):
self.parser._get_states_content()|should_not| be_empty
self.parser._get_states_content() |should| be_greater_than_or_equal_to(2)
self.parser._get_states_content() |should| equal_to(['refrigeratordoorclosed', 'refrigeratordooropened'])
def test_states_interface_was_created(self):
self.parser._create_states_specification_interface() \
|should| equal_to({'refrigeratordoorclosed': ' State refrigeratordoorclosed = SGraphFactory'+\
'.eINSTANCE.createState();\n refrigeratordoorclosed.setName("refrigeratordoorclosed"); \n '+\
' refrigeratordoorclosed.setSpecification("entry/\\nlight.off = true;\\nlight.on = false;\\n'+\
'thermostat.minimum = true;\\nthermostat.maximum = false"); \n region.getVertices().add'+\
'(refrigeratordoorclosed); \n Node refrigeratordoorclosedNode = ViewService.createNode('+\
'\n getRegionCompartmentView(regionView), refrigeratordoorclosed,\n SemanticHints.STATE,'+\
' preferencesHint);\n setStateViewLayoutConstraintrefrigeratordoorclosed(refrigeratordoorclosedNode);'+\
'\n\n', 'refrigeratordooropened': ' State refrigeratordooropened = SGraphFactory.eINSTANCE.createState();'+\
'\n refrigeratordooropened.setName("refrigeratordooropened"); \n refrigeratordooropened.'+\
'setSpecification("entry/\\nlight.on = true;\\nlight.off = false;\\nthermostat.maximum = true;\\n'+\
'thermostat.minimum = false"); \n region.getVertices().add(refrigeratordooropened); \n '+\
'Node refrigeratordooropenedNode = ViewService.createNode(\n getRegionCompartmentView(regionView),'+\
' refrigeratordooropened,\n SemanticHints.STATE, preferencesHint);\n '+\
'setStateViewLayoutConstraintrefrigeratordooropened(refrigeratordooropenedNode);\n\n'})
def test_initial_state_was_taken(self):
self.parser._get_initial_state() |should_not| be_empty
self.parser._get_initial_state() |should| be_greater_than_or_equal_to(1)
self.parser._get_initial_state() |should| equal_to([['refrigerator', 'door', 'closed'],
['refrigerator', 'door', 'closed']])
def test_initial_state_transition_was_created(self):
self.parser._create_initial_state_interface() |should| equal_to([' Transition transition = '+\
'SGraphFactory.eINSTANCE.createTransition();'+\
'\n transition.setSource(initialState);'+\
'\n transition.setTarget'+\
'(refrigeratordoorclosed);\n '+\
'initialState.getOutgoingTransitions()'+\
'.add(transition);\n ViewService.'+\
'createEdge(initialStateView, '+\
'refrigeratordoorclosedNode, transition,'+\
'\n SemanticHints.TRANSITION, '+\
'preferencesHint);\n Node '+\
'textCompartment = ViewService.createNode'+\
'(diagram, statechart,\n '+\
'SemanticHints.STATECHART_TEXT, preferencesHint);'+\
'\n setTextCompartmentLayoutConstraint'+\
'(textCompartment);\n }\n\n'])
def test_sequence_transitions_were_taken(self):
self.parser._get_sequence_transitions() |should| equal_to([[['refrigerator', 'door', 'closed'],
['open', 'door'],
['refrigerator', 'door', 'opened']],
[['refrigerator', 'door', 'opened'],
['close', 'door'],
['refrigerator', 'door', 'closed']]])
def test_sequence_transitions_were_joined(self):
self.parser._join_sequence_transitions() |should_not| be_empty
self.parser._join_sequence_transitions() |should| be_greater_than_or_equal_to(1)
self.parser._join_sequence_transitions() |should| equal_to([['refrigeratordoorclosed', 'opendoor',
'refrigeratordooropened'],
['refrigeratordooropened', 'closedoor',
'refrigeratordoorclosed']])
def test_transitions_interface_were_created(self):
self.parser._create_transitions_interface() |should| equal_to([' Transition opendoor = '+\
'SGraphFactory.eINSTANCE.createTransition();'+\
'\n opendoor.setSpecification("opendoor");'+\
'\n opendoor.setSource(refrigeratordoorclosed);'+\
'\n opendoor.setTarget(refrigeratordooropened);'+\
'\n\n', ' Transition closedoor = '+\
'SGraphFactory.eINSTANCE.createTransition();'+\
'\n closedoor.setSpecification("closedoor");'+\
'\n closedoor.setSource(refrigeratordooropened);'+\
'\n closedoor.setTarget(refrigeratordoorclosed);'+\
'\n\n'])
def test_states_layout_methods_were_created(self):
self.parser._create_states_layout_methods() |should| equal_to([' private static void '+\
'setStateViewLayoutConstraintrefrigeratordoorclosed'+\
'(Node refrigeratordoorclosedNode) '+\
'{\n Bounds boundsrefrigeratordoorclosedNode '+\
'= NotationFactory.eINSTANCE.createBounds();\n '+\
'boundsrefrigeratordoorclosedNode.setX(50);\n '+\
'boundsrefrigeratordoorclosedNode.setY(60);\n '+\
'refrigeratordoorclosedNode.setLayoutConstraint'+\
'(boundsrefrigeratordoorclosedNode);\n }\n\n',
' private static void setStateViewLayout'+\
'Constraintrefrigeratordooropened(Node '+\
'refrigeratordooropenedNode) {\n Bounds '+\
'boundsrefrigeratordooropenedNode = '+\
'NotationFactory.eINSTANCE.createBounds();\n '+\
'boundsrefrigeratordooropenedNode.setX(350);\n '+\
'boundsrefrigeratordooropenedNode.setY(60);\n '+\
'refrigeratordooropenedNode.setLayoutConstraint'+\
'(boundsrefrigeratordooropenedNode);\n }\n\n'])
def test_class_FactoryUtils_was_created(self):
self.parser.create_class_factory_utils()
exists(os.getcwd().replace('/spec', '') + '/FactoryUtils.java') |should| equal_to(True)
