Testing tools for embedded software