# Tests AFW¶

List

 TestAfwWordAcceptance([methodName]) TestNfaToAfwConversion([methodName]) TestAfwToNfaConversion([methodName]) TestAfwCompletion([methodName]) TestAfwComplementation([methodName]) TestAfwUnion([methodName]) TestAfwIntersection([methodName]) TestAfwNonemptinessCheck([methodName]) TestAfwNonuniversalityCheck([methodName])

Functions

class tests.test_AFW.TestAfwComplementation(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_afw_complementation()[source]

Test a correct afw complementation comparing the language read, that must be discording

test_afw_complementation_empty_states()[source]

Tests a complementation of a afw without states

test_afw_complementation_empty_transitions()[source]

Tests a complementation of a afw without transitions

test_afw_complementation_side_effects()[source]

Tests the function doesn’t make any side effect on the input

test_afw_complementation_wrong_dict()[source]

Tests a dict() in input different from a well formatted dict() representing a DFA. [EXPECTED FAILURE]

test_afw_complementation_wrong_input()[source]

Tests an input different from a dict() object. [EXPECTED FAILURE]

class tests.test_AFW.TestAfwCompletion(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_afw_completion()[source]

Tests a correct afw completion comparing the language read, that must be the same

test_afw_completion_empty_states()[source]

Tests a completion of a afw without states

test_afw_completion_empty_transitions()[source]

Tests a completion of a afw without transitions

test_afw_completion_side_effects()[source]

Tests the function makes side effect on the input

test_afw_completion_wrong_dict()[source]

Tests a dict() in input different from a well formatted dict() representing a AFW. [EXPECTED FAILURE]

test_afw_completion_wrong_input()[source]

Tests an input different from a dict() object. [EXPECTED FAILURE]

class tests.test_AFW.TestAfwIntersection(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_afw_intersection_disjoint()[source]

Tests a correct afw intersection with completely disjoint afws

test_afw_intersection_empty_states_1()[source]

Tests a afw intersection where the first afw is empty

test_afw_intersection_empty_states_2()[source]

Tests a afw intersection where the second afw is empty

test_afw_intersection_equals()[source]

Tests a correct afw intersection with the same afw

test_afw_intersection_intersecting()[source]

Tests a correct afw intersection where the afws have some state in common

test_afw_intersection_side_effects_1()[source]

Tests the function makes side effect on the first input

test_afw_intersection_side_effects_2()[source]

Tests the function makes side effect on the second input

test_afw_intersection_wrong_dict_1()[source]

Tests a dict() in input different from a well formatted dict() representing a AFW. [EXPECTED FAILURE]

test_afw_intersection_wrong_dict_2()[source]

Tests a dict() in input different from a well formatted dict() representing a AFW. [EXPECTED FAILURE]

test_afw_intersection_wrong_input_1()[source]

Tests an input different from a dict() object. [EXPECTED FAILURE]

test_afw_intersection_wrong_input_2()[source]

Tests an input different from a dict() object. [EXPECTED FAILURE]

class tests.test_AFW.TestAfwNonemptinessCheck(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_afw_nonemptiness_check()[source]

Tests a correct afw nonemptiness check

test_afw_nonemptiness_check_empty()[source]

Tests the nonemptiness of an empty afw

test_afw_nonemptiness_check_false()[source]

Tests a correct afw nonemptiness check, where the afw is empty

test_afw_nonemptiness_check_side_effects()[source]

Tests that the function doesn’t make any side effect on the input

test_afw_nonemptiness_check_wrong_dict()[source]

Tests the nonemptiness of an input dict different from a dict representing a afw. [EXPECTED FAILURE]

test_afw_nonemptiness_check_wrong_input()[source]

Tests the nonemptines of an input different from a dict object. [EXPECTED FAILURE]

class tests.test_AFW.TestAfwNonuniversalityCheck(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_afw_nonuniversality_check()[source]

Tests a correct afw nonuniversality check

test_afw_nonuniversality_check_empty()[source]

Tests the nonuniversality of an empty afw

test_afw_nonuniversality_check_false()[source]

Tests a correct afw nonuniversality check, where the afw is empty

test_afw_nonuniversality_check_side_effects()[source]

Tests that the function doesn’t make any side effect on the input

test_afw_nonuniversality_check_wrong_dict()[source]

Tests the nonuniversality of an input dict different from a dict representing a afw. [EXPECTED FAILURE]

test_afw_nonuniversality_check_wrong_input()[source]

Tests the nonuniversality of an input different from a dict object. [EXPECTED FAILURE]

class tests.test_AFW.TestAfwToNfaConversion(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_afw_to_nfa_conversion_empty_states()[source]

Tests a AFW to NFA conversion with an empty AFW

test_afw_to_nfa_conversion_empty_transitions()[source]

Tests a AFW to NFA conversion with a AFW without transitions

test_afw_to_nfa_conversion_language()[source]

Test a correct afw conversion to nfa comparing the language read by the two automaton

test_afw_to_nfa_conversion_language_bis()[source]

Test a correct afw conversion to nfa comparing the language read by the two automaton.

Here we take a nfa, we covert it to afw and back to nfa, then the original and final nfa are compared trough the language read.
test_afw_to_nfa_conversion_language_bis_bis()[source]

Test a correct afw conversion to nfa comparing the language read by the two automaton

test_afw_to_nfa_conversion_side_effects()[source]

Tests the function doesn’t make any side effect on the input

test_afw_to_nfa_conversion_wrong_dict()[source]

Tests the function using an input different from a well formatted dict representing a afw. [EXPECTED FAILURE]

test_afw_to_nfa_conversion_wrong_input()[source]

Tests the function using an input different from a dict object. [EXPECTED FAILURE]

class tests.test_AFW.TestAfwUnion(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_afw_union_disjoint()[source]

Tests a correct afw union with completely disjoint afws

test_afw_union_empty_states_1()[source]

Tests a afw union where the first afw is empty

test_afw_union_empty_states_2()[source]

Tests a afw union where the second afw is empty

test_afw_union_equals()[source]

Tests a correct afw union with the same afw

test_afw_union_intersecting()[source]

Tests a correct afw union where the afws have some state in common

test_afw_union_side_effects_1()[source]

Tests the function makes side effect on the first input

test_afw_union_side_effects_2()[source]

Tests the function makes side effect on the second input

test_afw_union_wrong_dict_1()[source]

Tests a dict() in input different from a well formatted dict() representing a AFW. [EXPECTED FAILURE]

test_afw_union_wrong_dict_2()[source]

Tests a dict() in input different from a well formatted dict() representing a AFW. [EXPECTED FAILURE]

test_afw_union_wrong_input_1()[source]

Tests an input different from a dict() object. [EXPECTED FAILURE]

test_afw_union_wrong_input_2()[source]

Tests an input different from a dict() object. [EXPECTED FAILURE]

class tests.test_AFW.TestAfwWordAcceptance(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_word_acceptance()[source]

Tests a correct word acceptance

test_word_acceptance_check_side_effects()[source]

Tests that the function doesn’t make any side effect on the input

test_word_acceptance_empty_word()[source]

Tests an empty word

test_word_acceptance_false()[source]

Tests a non correct word to be refused, with good alphabet

test_word_acceptance_wrong_alphabet()[source]

Tests a non correct word, with letters not form the afw alphabet

test_word_acceptance_wrong_dict()[source]

Tests a dict() in input different from a well formatted dict() representing a AFW. [EXPECTED FAILURE]

test_word_acceptance_wrong_input_1()[source]

Tests an input different from a dict() object. [EXPECTED FAILURE]

test_word_acceptance_wrong_input_2()[source]

Tests an input different from a list() object. [EXPECTED FAILURE]

class tests.test_AFW.TestNfaToAfwConversion(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

Hook method for setting up the test fixture before exercising it.

test_nfa_to_afw_conversion()[source]

Tests a correct nfa to afw conversion

test_nfa_to_afw_conversion_empty_states()[source]

Tests converting an empty nfa

test_nfa_to_afw_conversion_empty_transition()[source]

Tests converting an nfa without transition

test_nfa_to_afw_conversion_side_effects()[source]

Tests the function doesn’t make any side effect on the input

test_nfa_to_afw_conversion_wrong_dict()[source]

Tests the function using an input different from a well formatted dict representing a afw. [EXPECTED FAILURE]

test_nfa_to_afw_conversion_wrong_input()[source]

Tests the function using an input different from a dict object. [EXPECTED FAILURE]