Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion