L-star-Algorithm/test.py at main · rasofema/L-star-Algorithm · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
from automata.dfa_generator import DFA_Generator
from automata.mealy_machine_generator import Mealy_Machine_Generator
from oracles.cache_oracle import Cache_Oracle
from oracles.membership_oracle import Membership_Oracle
from oracles.equivalence_oracle import Equivalence_Oracle
from tests import dfa_test, mealy_machine_test, dfa_operations_test, membership_oracle_test, equivalence_oracle_test, observation_table_test, classification_tree_test
from tests.mealy_machine_test import mealy_machine_outputs


def membership_oracle(dfa):
    return Membership_Oracle(dfa)

def equivalence_oracle(dfa):
    return Equivalence_Oracle(Cache_Oracle(membership_oracle(dfa)))


if __name__ == "__main__":
    dfa1 = DFA_Generator(3, {'0'})
    dfa2 = DFA_Generator(2, {'0'})
    dfa3 = DFA_Generator(2, {'1'})
    mealy1 = Mealy_Machine_Generator(3, {'0'})

    print("-----------START TESTING-----------")
    print(dfa_test.main(dfa1))
    print(mealy_machine_test.main(mealy1))
    print(dfa_operations_test.main(dfa1, dfa2, dfa3))
    print(membership_oracle_test.main(dfa1, mealy1))
    print(equivalence_oracle_test.main(equivalence_oracle(dfa1), dfa1, dfa2))
    print(observation_table_test.main([dfa1, dfa2, dfa3]))
    print(classification_tree_test.main([dfa1, dfa2, dfa3]))
    print("-------------ALL PASSED------------")