Test Driven Development Practice with code from State Charts in C/C++