Tests NFA

List

TestNfaIntersection([methodName])
TestNfaUnion([methodName])
TestNfaDeterminization([methodName])
TestNfaComplementation([methodName])
TestNfaNonemptinessCheck([methodName])
TestNfaNonuniversalityCheck([methodName])
TestNfaInterestingnessCheck([methodName])
TestNfaWordAcceptance([methodName])

Functions

class tests.test_NFA.TestNfaComplementation(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_complementation()[source]

Tests a correct nfa complementation

test_nfa_complementation_empty_states()[source]

Tests a NFA complementation with an empty NFA

test_nfa_complementation_empty_transitions()[source]

Tests a NFA complementation with a NFA without transitions

test_nfa_complementation_side_effects()[source]

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

test_nfa_complementation_wrong_dict()[source]

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

test_nfa_complementation_wrong_input()[source]

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

class tests.test_NFA.TestNfaDeterminization(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_determinization()[source]

Tests a correct nfa determinization

test_nfa_determinization_bis()[source]

Tests an other correct nfa determinization

test_nfa_determinization_empty_states()[source]

Tests a NFA determinization with an empty NFA

test_nfa_determinization_empty_transitions()[source]

Tests a NFA determinization with a NFA without transitions

test_nfa_determinization_side_effects()[source]

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

test_nfa_determinization_wrong_dict()[source]

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

test_nfa_determinization_wrong_input()[source]

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

class tests.test_NFA.TestNfaInterestingnessCheck(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_interestingness_check()[source]

Tests a correct nfa interestingness check

test_nfa_interestingness_check_empty()[source]

Tests the interestingness of an empty nfa

test_nfa_interestingness_check_false()[source]

Tests a correct nfa interestingness check, where the nfa is universal

test_nfa_interestingness_check_side_effects()[source]

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

test_nfa_interestingness_check_wrong_dict()[source]

Tests the interestingness of an input dict different from a dict representing a nfa. [EXPECTED FAILURE]

test_nfa_interestingness_check_wrong_input()[source]

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

class tests.test_NFA.TestNfaIntersection(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_intersection()[source]

Tests a correct NFAs intersection

test_nfa_intersection_empty()[source]

Tests a NFAs intersection where one of them is empty

test_nfa_intersection_side_effects()[source]

Tests that the intersection function doesn’t make side effects on input DFAs

test_nfa_intersection_wrong_dict_1()[source]

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

test_nfa_intersection_wrong_dict_2()[source]

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

test_nfa_intersection_wrong_input_1()[source]

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

test_nfa_intersection_wrong_input_2()[source]

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

class tests.test_NFA.TestNfaNonemptinessCheck(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_nonemptiness_check()[source]

Tests a correct nfa nonemptiness check

test_nfa_nonemptiness_check_empty()[source]

Tests the nonemptiness of an empty nfa

test_nfa_nonemptiness_check_false()[source]

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

test_nfa_nonemptiness_check_side_effects()[source]

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

test_nfa_nonemptiness_check_wrong_dict()[source]

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

test_nfa_nonemptiness_check_wrong_input()[source]

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

class tests.test_NFA.TestNfaNonuniversalityCheck(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_nonuniversality_check()[source]

Tests a correct nfa nonuniversality check

test_nfa_nonuniversality_check_empty()[source]

Tests the nonuniversality of an empty nfa

test_nfa_nonuniversality_check_false()[source]

Tests a correct nfa nonuniversality check, where the nfa is universal

test_nfa_nonuniversality_check_side_effects()[source]

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

test_nfa_nonuniversality_check_wrong_dict()[source]

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

test_nfa_nonuniversality_check_wrong_input()[source]

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

class tests.test_NFA.TestNfaUnion(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_dfa_union_side_effects()[source]

Tests that the union function doesn’t make side effects on input NFAs

test_nfa_union_djsoint()[source]

Tests a nfa union between NFAs with no state in common

test_nfa_union_empty()[source]

Tests a nfa union where one of the input is an empty nfa

test_nfa_union_intersecting()[source]

Tests a nfa union between NFAs with some state in common

test_nfa_union_same()[source]

Tests a nfa union bewtween the same nfa

test_nfa_union_wrong_dict_1()[source]

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

test_nfa_union_wrong_dict_2()[source]

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

test_nfa_union_wrong_input_1()[source]

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

test_nfa_union_wrong_input_2()[source]

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

class tests.test_NFA.TestNfaWordAcceptance(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

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, with good alphabet

test_word_acceptance_wrong_alphabet()[source]

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

test_word_acceptance_wrong_dict()[source]

Tests a dict() in input different from a well formatted dict() representing a NFA. [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_NFA.TestRenameNfaStates(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_rename_nfa_states()[source]

Tests a correct NFA states renaming