Metamorphic relations to improve the test accuracy of Multi Precision Arithmetic software applications

Proceedings of the 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014

Volumn , Issue , 2014, Pages 2244-2248

  Aruna, Chittineni ^a   Prasad, R Siva Ram ^b  

^a India   (India)

^b ACHARYA NAGARJUNA UNIVERSITY   (India)

Author keywords

Follow up test cases; Metamorphic relations; Metamorphic Testing; Multi Precision Arithmetic; Software Testing

Indexed keywords

APPLICATION PROGRAMS; TESTING;

METAMORPHIC RELATIONS; METAMORPHIC TESTING; MULTI PRECISION ARITHMETIC; N VERSION PROGRAMMING; SCIENTIFIC APPLICATIONS; SOFTWARE APPLICATIONS; SOFTWARE TESTING TECHNIQUES; TEST CASE;

SOFTWARE TESTING;

EID: 84927582804     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICACCI.2014.6968586     Document Type: Conference Paper

References (19)

1. Ch Aruna, Dr. R. Siva Ram Prasad "Testing Approach for Dynamic Web applications basedonAutomated Test Strategies" proceedings of 48th Annual convocation of CSI-Volume II, Advances in intelligent systems and Computer, Apr-2014 cited by Springer.
2. S. Beydeda. Self-metamorphic-testing components. In Proc. of the 30th Annual Computer Science and Applications Conference (COMPSAC), pages 265-272, 2006.
3. L. Briand. Novel applications of machine learning in software testing. In Proc. of the Eighth International Conference on Quality Software, pages 3-10, 2008.
4. W. Chan, S. Cheung, and K. Leung, "Towards a metamorphic testing methodology for service-oriented software applications," in Proceedings of the 5th Inter-national Conference on Quality Software (QSIC 2005), September 2005, pp. 470-476.
5. Fousse, L., Hanrot, G., Lefèvre, V., Pélissier, P., Zimmermann, P.: MPFR: A multiple-precision binary -oating-point library with correct rounding. ACM Trans. Math. Softw. 33(2) (2007) 13.
6. Weyuker, E. J., 1982. On testing non-testable programs. Comput. J., 25: 465-470.
7. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, New York, NY, 1990.
8. H. Lu, W. K. Chan, and T. H. Tse. Testing context-aware middlewarecentric programs: A data flow approach and an RFID-based experimentation. In Proceedings of the 14th ACM SIGSOFT ISFS pages 242-252. ACM Press, New York, NY, 2006.
9. D. Hamlet. Random testing. Encyclopedia of Software Engineering, pages 970-978, 1994.
10. Chen, T. Y., Cheung, S. C., Yiu, S. M.: Metamorphic testing: A new approach for generating next test cases. Technical Report HKUSTCS98-01, Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong (1998).
11. David H. Bailey, "Integer Relation Detection," Computing in Science and Engineering, Jan-Feb 2000.
12. Yozo Hida, Xiaoye S. Li and David H. Bailey, "Algorithms for Quad-Double PrecisionFloating Point Arithmetic," Proceedings of ARITH-15, IEEE Computer Society, 2001.
13. Université Pierre et Marie Curie, Paris, F.: CADNA: Control of Accuracy and Debugging for Numerical Applications (2010) http://www. lip6. fr/cadna.
14. T. Y. Chen, T. H. Tse, and Z. Q. Zhou. Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. In Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pages 191-195. ACM Press, New York, NY, 2002.
15. T. Y. Chen, F.-C. Kuo, T. H. Tse, and Z. Q. Zhou. Metamorphic testing and beyond. In Proc. of theInternational Workshop on Software Technology and Engineering Practice (STEP), pages 94-100,2004.
16. R. C. Sercord, Secure Coding in C and C++, Addison Wesley& Person Education Asia, 2006.
17. Richard P Brent:"The complexity of multiple precision arithmetic " in complexity of computer computations Plenum press, Newyork, 1999, vol-32, 61-68.
18. Université Pierre et Marie Curie, Paris, F.: CADNA: Control of Accuracy and Debugging for Numerical Applications (2010).
19. Yao, L. S.: Computed chaos or numerical errors. Nonlinear Analysis: Modeling and Control 15(1) (2010) 109-126.