Embedded Software Testing and Code Verification