Testify - a testing automation system for embed systems like cell phone. It includes a compiler of the language - Tata, a light-weight IDE based on Notepad++ and a virtual machine that runs the code generated by Tata compiler.