Тестирование модулей с boost :: statechart

Question

Мы используем библиотеку форматированного состояния и имеем проблемы с написанием модульных тестов для кода.

В нашем нормальном исполнении государственная машина начинает в 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 > {... 

EDIT адресация комментарий

#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 для отладки (тем более, что остальная часть statechart).