Exemple #1
0
/**
 * In case you are curious: this treats the FSM like a recognizer. It
 * resets the FSM to a default state and then processes each character
 * in the input string. If at the end of the string it is in an
 * accepting state, it means the FSM matched that string.
 *
 * the 'exp' param tells us if we actually expect it to recognize it.
 *
 * the 'is_bogus' param tells us if we expect the FSM to go into a
 * terminally bogus state, meaning it absolutely won't recognize the
 * input, no matter what comes next.
 *
 * It is possible for it to be in an unaccepted state without being
 * bogus. For example the string "BA" is not accepted, but if the next
 * character is "G", then the FSM would be in an accepted state.
 **/
void recognize(FSM& fsm, string input, bool exp, bool is_bogus) {
    fsm.setState(fsm.getDefaultState());
    State* st;
    st = fsm.getState(fsm.getCurrentState());
    if (st == NULL) {
        IsTrue("Null", false, "Current State is NULL");
        return;
    }
    //  cout << "Initial state: " << st << endl;
    string::iterator it = input.begin();
    for(; it != input.end(); it++) {
        char c = *it;
        int sig = (int) c;
        fsm.handleSignal(sig);
        st = fsm.getState(fsm.getCurrentState());
        //    cout << "After " << c << ", current state: " << st << endl;
    }
    IsTrue(input, fsm.isAcceptState() == exp, "Wrong Accept State");
    if (is_bogus) {
        st = fsm.getState(fsm.getCurrentState());
        IsTrue("Bogus", st->label == "Bogus State", "Should be in Bogus state");
    }
}
Exemple #2
0
}

SUITE_BEGIN("Finite State Machines")

TEST_BEGIN("Defaults")
{
    FSM fsm;
    int current = fsm.getCurrentState();
    IsTrue("Current State", current == -1, "Default current state should be -1");
    bool accept = fsm.isAcceptState();
    IsTrue("Accept", accept == false, "Default accept state should be false");
    State* bogus = fsm.getState(0);
    IsTrue("State", bogus == NULL, "Default getState should give NULL");
    int defstate = fsm.getDefaultState();
    IsTrue("DefState", defstate == -1, "Default default state should be -1");
    bool handle = fsm.handleSignal(0);
    IsTrue("Handle Signal", handle == false,
           "Default fsm should not be able to handle signals");
    bool numStates = fsm.countStates();
    IsTrue("NumStates", numStates == 0, "Default num states should be 0");
    bool numTrans = fsm.countTransitions();
    IsTrue("NumTrans", numTrans == 0, "Default num transitions should be 0");
}
TEST_END

TEST_BEGIN("Add States")
{
    FSM fsm;
    int even = fsm.addState("even", true);
    int odd = fsm.addState("odd");
    IsTrue("Non-Negative IDs", (even >= 0 && odd >= 0),