测试作为映射实现的状态机转换

Question

我有一个状态机，它有一组相对较小的状态和输入，我想详尽地测试转换。

enum State {
    S1,
    // ...
}

enum Input {
    I1,
    // ...
}

class StateMachine {
    State current;

    Map<State, Map<Input, State>> transitions = {
        S1: {
            I1: S2,
            // ...
        },
        // ...
    };

    State changeState(Input x) {
        if (transitions[current] == null)
            throw Error('Unknows state ${current}');
        if (transitions[current][x] == null)
            throw Error('Unknown transition from state ${current} with input ${x}');

        current = transitions[current][x];
        return current;
    }

    void execute() {
        // ...
    }
}

为了测试它，我看到了3种方法：
1）编写大量样板代码来检查每个组合
2）自动创建测试：对我来说，这似乎是一种更好的方法，但最终使用的结构与状态机中使用的映射相同。我该怎么办？在测试文件中复制映射，还是从实现文件中导入映射？后者会使测试文件依赖于实现，这似乎不是一个好主意
3）相等性测试图，与之前相同的问题：与自身相等还是与副本相等？这种方法基本上就是我对另外两种方法所做的，但看起来不像是一种规范测试

Answer 1

也许你想看看这个：https://www.itemis.com/en/yakindu/state-machine/documentation/user-guide/sctunit_test-driven_statechart_development_with_sctunit

它展示了如何进行基于模型和测试驱动的状态机开发，包括生成单元测试代码和测量测试覆盖率的选项。