Test Case Generation for Embedded Control System