使用 boost::statechart 进行单元测试

Question

我们正在使用 boost 状态图库，并且在为代码编写单元测试时遇到了麻烦。

在我们的正常执行中，状态机从ClosedState开始：

struct BoostStateMachine : sc::state_machine<BoostStateMachine, ClosedState >

我们想测试一个特定的状态转换，而不必遍历状态机直到那个状态，例如我们想在AnotherState 开始测试。问题是sc::state_machine 在其初始状态下被模板化。向状态机提供导致测试状态的所有事件通常需要大量工作并使测试复杂化。

一个原始的解决方案是编写特殊的仅调试事件并将其添加到ClosedState。此事件将触发立即转换到 AnotherState。

你知道完成任务的其他方法吗？

Answer 1

我承认这不是很好，但是

#ifdef DEBUG
typedef AnotherState StartingState;
#else
typedef ClosedState StartingState;
#endif
struct BoostStateMachine : sc::state_machine<BoostStateMachine, StartingState > {...

编辑地址注释

#ifndef INITIAL_STATE
#define INITIAL_STATE ClosedState
#endif
struct BoostStateMachine : sc::state_machine<BoostStateMachine, INITIAL_STATE > {...

当然这意味着您需要重新编译才能进行每个测试 =[

我们可以尝试以下方法：

typedef<class InitialState>
struct StateMachine : sc::state_machine< typename /*?*/ StateMachine<InitialState>, InitialState > {...}

typedef StateMachine<ClosedState> BoostStateMachine; //default case

#ifdef DO_TESTS
    ...
    StateMachine<AnotherState> astate1;
    ...
    StateMachine<AnotherState2> astate2;
    ...
    StateMachine<AnotherState3> astate3;
    ...
#endif

当它是一个需要以不同状态开始的子状态时，这当然没有帮助。但同样的事情也适用：

typedef <typename InitialChild>
struct ClosedState : sc::simple_state< ClosedState<InitialChild>, BoostStateMachine, InitialChild > {...};

或类似的东西。我以前做过模板化状态（这样我就可以有共同的子状态序列），它是一个皇家 PITA 来调试（更多的是状态图的其余部分）。