Embedded C Test Framework
Thingspector is (will be) a framework for testing embedded C code. In the basics it performs unit tests. However, in addition it will have a mocking and simulation framework.
Thingspector depends on pycparser and pycparserext.