Небольшое тестирование кода МК

[teplofizik]

Чем мне нравится код, управляемый событиями, так это тем, что он позволяет его потестировать в автоматическом режиме. Код не знает, кто генерирует событие (нажатие кнопки или кручение энкодера), да и не важно ему это.
И никто не запрещает сделать тест, который эмулировал бы нужную последовательность действий пользователя/системы или целый ряд их вариантов, чтобы посмотреть, как устройство отреагирует.

Есть прибор, например, часы, с кнопками настройки: «Режим настройки», «+», «-», «Ок». Есть обработчик нажатия кнопки какой-либо:

void ctrl_onButton(uint8_t Button)
{
	// что-то
}

И надо бы проверить, что настройка выполняется корректно. Что если мы жамкнем кнопку программирования, потом пощёлкаем кнопочками плюс или минус, применим изменения и проверим, получили ли ожидаемый результат. Или там пожамкаем без режима настройки, и убедимся, что ничего при этом не поменялось. Вручную всё это прогонять может быть лень. Или при разработке устройства временно может не быть кнопочек (не успели сделать панель управления), а код писать всё же как-то надо. Или код вручную проверить весьма затруднительно, там, например, обработка какого-нибудь хитрого пакета от недоступного в данный момент устройства.
Мало ли может быть причин это сделать.

Грубо это можно сделать как-то так:

// Вызывается раз в 4 секунды
static void button_Test(void)
{
	static uint8_t state = 0;
	
	switch(state)
	{
	case 0: rtc_SetHour(0); break; // Установить состояние перед тестом
	case 1: ctrl_onButton(BUTTON_PROG); break; // Режим программирования
	case 2: ctrl_onButton(BUTTON_INC); break; // +час
	case 3: ctrl_onButton(BUTTON_INC); break; // +час
	case 4: ctrl_onButton(BUTTON_INC); break; // +час
	case 5: ctrl_onButton(BUTTON_INC); break; // +час
	case 6: ctrl_onButton(BUTTON_OK); break; // сохранить часы
	case 7: ctrl_onButton(BUTTON_PROG); break; // пропустить минуты
	case 8: // Проверить состояние после теста
		if(rtc_GetHour() != 4)
		{
			led_On();
			printf("TEST FAILED: button_Test, Hour: %u (expected 4)", rtc_GetHour());
		}
		break;
	}

	if(state < 9) state++;
}

И можно поглядеть, как циферки мило моргают и сами меняются. Причём, такие тесты могут исполняться достаточно быстро, если не требуется визуальный контроль за поведением прибора.
Код может быть и совершенно иной, как и контроль выполнения, это так, пример.

Думаю, понятно, почему меня не очень привлекает код вида:

if(PINA & (1 << PA4)) // Нажали кнопку "+"
{

}

Или даже такой:

while(1)
{
	// ...
	switch(button_Get())
	{
	case BUTTON_PROG:
	// ...
	}
	// ...
}

Они, конечно, работоспособны, но куда как более неудобны и закостенелы. И потестировать их автоматически куда как сложнее.

В общем-то это мои первые пробы на пути самотестируемого кода для МК, так что посмотрим, куда это приведёт.

@темы: мии, программизмы, тестирование