Symbolic path-oriented test data generation for floating-point programs

Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013

Volumn , Issue , 2013, Pages 1-10

  Bagnara, Roberto ^a   Carlier, Matthieu ^b   Gori, Roberta ^c   Gotlieb, Arnaud ^d  

^a UNIVERSITY OF PARMA   (Italy)

^b INRIA   (France)

^c UNIVERSITY OF PISA   (Italy)

^d SIMULA RESEARCH LABORATORY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SOLVERS; FILTERING PROPERTIES; FLOATING POINT NUMBERS; FLOATING-POINT COMPUTATION; FLOATING-POINT PROGRAMS; PROJECTION FUNCTION; SEARCH-BASED TEST DATA GENERATIONS; TEST DATA GENERATION;

DATA COMMUNICATION SYSTEMS; HEURISTIC ALGORITHMS; SOFTWARE TESTING; TOOLS;

DIGITAL ARITHMETIC;

EID: 84883398999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2013.17     Document Type: Conference Paper

References (28)

1. R. Skeel, "Roundoff error and the Patriot missile," SIAM News, vol. 25, no. 4, p. 11, Jul. 1992.
2. E. J. Weyuker, "On testing non-testable programs," The Computer Journal, vol. 25, no. 4, pp. 465-470, 1982.
3. V. V. Kuliamin, "Standardization and testing of mathematical functions," in Perspectives of Systems Informatics, ser. LNCS, 2010, vol. 5947, pp. 257-268.
4. P. E. Ammann and J. C. Knight, "Data diversity: An approach to software fault tolerance," IEEE Trans. Comput., vol. 37, no. 4, pp. 418-425, 1988.
5. F. T. Chan, T. Y. Chen, S. C. Cheung, M. F. Lau, and S. M. Yiu, "Application of metamorphic testing in numerical analysis," in Proc. of the IASTED Int'l Conf. on Software Engineering, 1998, pp. 191-197.
6. E. Goubault, "Static analyses of the precision of floating-point operations," in Static Analysis: 8th Int'l Symp., ser. LNCS, vol. 2126, 2001, pp. 234-259.
7. E. Tang, E. T. Barr, X. Li, and Z. Su, "Perturbing numerical calculations for statistical analysis of floating-point program (in)stability," in Proc. of the 19th Int'l Symp. on Software Testing and Analysis, 2010, pp. 131-142.
8. W. Miller and D. L. Spooner, "Automatic generation of floating-point test data," IEEE Trans. Software Eng., vol. 2, no. 3, pp. 223-226, 1976.
9. B. Korel, "Automated software test data generation," IEEE Trans. Software Eng., vol. 16, no. 8, pp. 870-879, 1990.
10. K. Lakhotia, M. Harman, and H. Gross, "AUSTIN: A tool for search based software testing for the C language and its evaluation on deployed automotive systems," in Proc. of the 2nd Int'l Symp. on Search Based Software Engineering, 2010, pp. 101-110.
11. P. McMinn, "Search-based software test data generation: A survey," Software Testing, Verification and Reliability, vol. 14, no. 2, pp. 105-156, 2004.
12. A. Arcuri, "Theoretical analysis of local search in software testing," in Proc. of the 5th Int'l Symp. on Stochastic Algorithms: Foundations and Applications, ser. LNCS, vol. 5792, 2009, pp. 156-168.
13. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," in Proc. of the ACM SIGPLAN 2005 Conf. on Programming Language Design and Implementation, 2005, pp. 213-223.
14. C. Michel, M. Rueher, and Y. Lebbah, "Solving constraints over floating-point numbers," in Proc. of the 7th Int'l Conf. on Principles and Practice of Constraint Programming, ser. LNCS, vol. 2239, 2001, pp. 524-538.
15. C. Michel, "Exact projection functions for floating point number constraints," in Proc. of the 7th Int'l Symp. on Artificial Intelligence and Mathematics, 2002.
16. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jeron, B. Legeard, B. Marre, C. Michel, and M. Rueher, "The V3F project," in Proc. of the 1st Workshop on Constraints in Software Testing, Verification and Analysis, 2006.
17. B. Botella, A. Gotlieb, and C. Michel, "Symbolic execution of floating-point computations," Software Testing, Verification and Reliability, vol. 16, no. 2, pp. 97-121, 2006.
18. B. Marre and B. Blanc, "Test selection strategies for Lustre descriptions in GATeL," in Proc. of the Workshop on Model Based Testing, ser. ENTCS, vol. 111, 2005, pp. 93-111.
19. M. S. Belaid, C. Michel, and M. Rueher, "Boosting local consistency algorithms over floating-point numbers," in Proc. of the 18th Int'l Conf. on Principles and Practice of Constraint Programming, ser. LNCS, vol. 7514, 2012, pp. 127-140.
20. B. Marre and C. Michel, "Improving the floating point addition and subtraction constraints," in Proc. of the 16th Int'l Conf. on Principles and Practice of Constraint Programming, ser. LNCS, vol. 6308, 2010, pp. 360-367.
21. M. Carlier and A. Gotlieb, "Filtering by ULP maximum," in Proc. of the 23rd IEEE Int'l Conf. on Tools with Artificial Intelligence, 2011, pp. 209-214.
22. IEEE Standard for Floating-Point Arithmetic, IEEE Std 754-2008 (revision of IEEE Std 754-1985) ed., The Institute of Electrical and Electronics Engineers, Inc., Aug. 2008.
23. D. Goldberg, "What every computer scientist should know about floating-point arithmetic," ACM Computing Surveys, vol. 23, no. 1, pp. 5-48, 1991.
24. J.-M. Muller, "On the definition of ulp(x)," INRIA, Rapport de recherche 5504, 2005.
25. R. Bagnara, M. Carlier, R. Gori, and A. Gotlieb, "Filtering floating-point constraints by maximum ULP," 2013, submitted for publication.
26. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer, "CIL: Intermediate language and tools for analysis and transformation of C programs," in Compiler Construction: Proc. of the 11th Int'l Conf., ser. LNCS, vol. 2304, 2002, pp. 213-228.
27. K. Lakhotia, N. Tillmann, M. Harman, and J. De Halleux, "FloPSy: Search-based floating point constraint solving for symbolic execution," in Proc. of the 22nd IFIP WG 6.1 Int'l Conf. on Testing Software and Systems, 2010, pp. 142-157.
28. M. Borges, M. d'Amorim, S. Anand, D. Bushnell, and C. S. Pasareanu, "Symbolic execution with interval solving and meta-heuristic search," in Proc. of the 5th IEEE Int'l Conf. on Software Testing, Verification and Validation, 2012, pp. 111-120.