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')

Bases: unittest.case.TestCase

setUp()

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

test_afw_complementation()

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

test_afw_complementation_empty_states()

Tests a complementation of a afw without states

test_afw_complementation_empty_transitions()

Tests a complementation of a afw without transitions

test_afw_complementation_side_effects()

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

test_afw_complementation_wrong_dict()

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

test_afw_complementation_wrong_input()

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

class tests.test_AFW.TestAfwCompletion(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

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

test_afw_completion()

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

test_afw_completion_empty_states()

Tests a completion of a afw without states

test_afw_completion_empty_transitions()

Tests a completion of a afw without transitions

test_afw_completion_side_effects()

Tests the function makes side effect on the input

test_afw_completion_wrong_dict()

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

test_afw_completion_wrong_input()

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

class tests.test_AFW.TestAfwIntersection(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

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

test_afw_intersection_disjoint()

Tests a correct afw intersection with completely disjoint afws

test_afw_intersection_empty_states_1()

Tests a afw intersection where the first afw is empty

test_afw_intersection_empty_states_2()

Tests a afw intersection where the second afw is empty

test_afw_intersection_equals()

Tests a correct afw intersection with the same afw

test_afw_intersection_intersecting()

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

test_afw_intersection_side_effects_1()

Tests the function makes side effect on the first input

test_afw_intersection_side_effects_2()

Tests the function makes side effect on the second input

test_afw_intersection_wrong_dict_1()

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

test_afw_intersection_wrong_dict_2()

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

test_afw_intersection_wrong_input_1()

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

test_afw_intersection_wrong_input_2()

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

class tests.test_AFW.TestAfwNonemptinessCheck(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

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

test_afw_nonemptiness_check()

Tests a correct afw nonemptiness check

test_afw_nonemptiness_check_empty()

Tests the nonemptiness of an empty afw

test_afw_nonemptiness_check_false()

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

test_afw_nonemptiness_check_side_effects()

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

test_afw_nonemptiness_check_wrong_dict()

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

test_afw_nonemptiness_check_wrong_input()

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

class tests.test_AFW.TestAfwNonuniversalityCheck(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

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

test_afw_nonuniversality_check()

Tests a correct afw nonuniversality check

test_afw_nonuniversality_check_empty()

Tests the nonuniversality of an empty afw

test_afw_nonuniversality_check_false()

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

test_afw_nonuniversality_check_side_effects()

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

test_afw_nonuniversality_check_wrong_dict()

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

test_afw_nonuniversality_check_wrong_input()

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

class tests.test_AFW.TestAfwToNfaConversion(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

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

test_afw_to_nfa_conversion_empty_states()

Tests a AFW to NFA conversion with an empty AFW

test_afw_to_nfa_conversion_empty_transitions()

Tests a AFW to NFA conversion with a AFW without transitions

test_afw_to_nfa_conversion_language()

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

test_afw_to_nfa_conversion_language_bis()

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()

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

test_afw_to_nfa_conversion_side_effects()

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

test_afw_to_nfa_conversion_wrong_dict()

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

test_afw_to_nfa_conversion_wrong_input()

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

class tests.test_AFW.TestAfwUnion(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

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

test_afw_union_disjoint()

Tests a correct afw union with completely disjoint afws

test_afw_union_empty_states_1()

Tests a afw union where the first afw is empty

test_afw_union_empty_states_2()

Tests a afw union where the second afw is empty

test_afw_union_equals()

Tests a correct afw union with the same afw

test_afw_union_intersecting()

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

test_afw_union_side_effects_1()

Tests the function makes side effect on the first input

test_afw_union_side_effects_2()

Tests the function makes side effect on the second input

test_afw_union_wrong_dict_1()

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

test_afw_union_wrong_dict_2()

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

test_afw_union_wrong_input_1()

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

test_afw_union_wrong_input_2()

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

class tests.test_AFW.TestAfwWordAcceptance(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

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

test_word_acceptance()

Tests a correct word acceptance

test_word_acceptance_check_side_effects()

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

test_word_acceptance_empty_word()

Tests an empty word

test_word_acceptance_false()

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

test_word_acceptance_wrong_alphabet()

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

test_word_acceptance_wrong_dict()

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

test_word_acceptance_wrong_input_1()

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

test_word_acceptance_wrong_input_2()

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

class tests.test_AFW.TestNfaToAfwConversion(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

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

test_nfa_to_afw_conversion()

Tests a correct nfa to afw conversion

test_nfa_to_afw_conversion_empty_states()

Tests converting an empty nfa

test_nfa_to_afw_conversion_empty_transition()

Tests converting an nfa without transition

test_nfa_to_afw_conversion_side_effects()

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

test_nfa_to_afw_conversion_wrong_dict()

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

test_nfa_to_afw_conversion_wrong_input()

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