Pham, Hung T.Truong, Anh-HoangChin, Wei-NganAoshima, Takenobu2020-12-102020-12-1020103rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS)https://hdl.handle.net/11299/217422Associated research group: Critical Systems Research GroupPorting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion hence requires the latter be as close as possible to the former. The closeness is orthogonal to code coverage and requires different strategies to generate a test suite that reveals the gap between the two functions. We introduce a new test adequacy criterion and propose several metrics to quantify the closeness of two functions. After that we propose a method to generate a better test suite from a given one for the test adequacy criteria. We also show experimental results on some well-known mathematical functions.Report