Abstract | ||
---|---|---|
Porting 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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1016/j.entcs.2010.08.048 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
fixed-point conversion,different strategy,personal computer,quality assurance,new test adequacy criterion,embedded device,test cases generation,test adequacy criterion,floating-point number,fixed-point conversion.,test suite,well-known mathematical function,test case generation,better test suite,floating point,fixed point,code coverage | Test suite,Code coverage,Function (mathematics),Closeness,Floating point,Computer science,Personal computer,Algorithm,Theoretical computer science,Real-time computing,Porting,Fixed point | Journal |
Volume | ISSN | Citations |
266, | Electronic Notes in Theoretical Computer Science | 2 |
PageRank | References | Authors |
0.41 | 18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tuan Pham | 1 | 503 | 73.75 |
Anh-Hoang Truong | 2 | 26 | 4.98 |
Wei-Ngan Chin | 3 | 868 | 63.37 |
Takenobu Aoshima | 4 | 3 | 0.76 |