Тесты для тестовой среды

Существуют ли простые тесты, которые я могу выполнить в моей тестовой среде (cmocka, Windows, дистрибутив Mingw32), чтобы проверить, работает ли он так, как ожидалось.

Как и ожидалось, означает, что типы данных корректно обрабатываются компилятором (uint8_t, int16_t, ...), переполнения, приводящие к правильному неправильному содержимому переменной и так далее...

Спасибо всем за ответ.