提升状态图，单元测试状态机的分数

Question

我正在寻找一种方法来执行（仅用于单元测试）复杂状态机器的一部分 - 机器。为此我正在评估boost :: statechart框架。

我考虑的一种方法是设计一个分层状态机，其中每个状态都被定义为嵌套状态机，应该单独测试。

从以下代码片段中考虑FSM定义：

struct Fsm: boost::statechart::state_machine< Fsm, StateA >
{
  ...
}

struct StatA : boost::simple_state< StateA, Fsm, StateA1 >
{
  ...
}

struct StateB : boost::simple_state< StateB, Fsm, StateB1 >  
{
  ....
}

struct StateA1 : boost::simple_state< StateA1, StateA >
{
  ....
}

struct StateA2 : boost::simple_state< StateA2, StateA >
{
  ....
}

struct StateB1 : boost::simple_state< StateB1, StateB >  
{
  ....
}

struct StateB2 : boost::simple_state< StateB2, StateB >  
{
  ....
}

是否可以对状态B内定义的逻辑进行单元测试，即B1和B2内部状态，而不执行甚至编译为状态A定义的逻辑，包括其内部A1和A2状态？

提前致谢， AmirH