Metamorphic testing integer overflow faults of mission critical program: A case study

Mathematical Problems in Engineering

Volumn 2013, Issue , 2013, Pages

  Hui, Zhanwei ^a   Huang, Song ^a,b   Ren, Zhengping ^a,b   Yao, Yi ^a,b  

^a PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b PLA Military Training Software Test and Evaluation Centre   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER OVERFLOW; METAMORPHIC RELATIONS; METAMORPHIC TESTING; MISSION CRITICAL; ORACLE PROBLEM; SAFETY PROPERTY; TESTING METHOD; TRAFFIC COLLISION AVOIDANCE SYSTEMS;

DEFECTS; SOFTWARE TESTING; TESTING;

INTEGER PROGRAMMING;

EID: 84875542212     PISSN: 1024123X     EISSN: 15635147     Source Type: Journal    
DOI: 10.1155/2013/381389     Document Type: Article

References (17)

1. Sercord R. C., Secure Coding in C and C++ 2006 Addison Wesley& Person Education Asia
2. Weyuker E. J., On testing non-testable programs. The Computer Journal 1982 25 4 465 470
3. Baresi L., Young M., Test oracles. 2001 CIS-TR01-02 Eugene, Ore, USA Department of Computer and Information Science, University of Oregon
4. Blum M., Kannan S., Designing programs that check their work. Proceedings of the 31st Annual ACM Symposium on Theory of Computing (STOC '89) 1989 New York, NY, USA ACM Press 86 97
5. Blum M., Kannan S., Designing programs that check their work. Journal of the ACM 1995 42 1 269 291
6. Blum M., Luby M., Rubinfeld R., Self-testing/correcting with applications to numerical problems. Proceedings of the 22nd Annual ACM Symposium on Theory of Computing (STOC '90) 1990 New York, NY, USA ACM Press 73 83 (Pubitemid 20729112)
7. Blum M., Luby M., Rubinfeld R., Self-testing/correcting with applications to numerical problems. Journal of Computer and System Sciences 1993 47 3 549 595 10.1016/0022-0000(93)90044-W MR1248868 ZBL0795.68131
8. Ammann P. E., Knight J. C., Data diversity: an approach to software fault tolerance. IEEE Transactions on Computers 1988 37 4 418 425
9. Brumley D., Chiueh T., Johnson R., RICH: automatically protecting against integer-based vulnerabilities. Proceedings of the 14th Annual Network and Distributed System Security (NDSS '07) 2007
10. Chen T. Y., Cheung S. C., Yiu S. M., Metamorphic testing: a new approach for generating next test cases. 1998 HKUST-CS98-01 Departement of Computer Science, Hong Kong University of Science and Technology
11. Chan F., Chen T. Y., Cheung S. C., Lau M., Yiu S., Application of metamorphic testing in numerical analysis. Proceedings of the IASTED Conference in Software Engineering 1998 Acta Press 191 197
12. Chen T. Y., Huang D. H., Tse T. H., Case studies on the selection of useful relations in metamorphic testing. Proceeding of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC '04) 2004 Madrid, Spain Polytechnic University of Madrid 569 583
13. Linger R. C., Mills H. D., Witt B. I., Stuctured Programming Theory and Practice 1979 Reading, Mass, USA Addison-Wesley
14. Do H., Elbaum S. G., Rothermel G., Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact. Empirical Software Engineering 2005 10 4 405 435 (Pubitemid 41408554)
15. Gotlieb A., TCAS software verification using constraint programming. Knowledge Engineering Review 2012 27 3 343 360
16. Andrews J. H., Briand L. C., Labiche Y., Is mutation an appropriate tool for testing experiments? Proceedings of the 27th International Conference on Software Engineering (ICSE '05) May 2005 402 411 2-s2.0-26044454396
17. Chen T. Y., Kuo F. C., Liu Y., Metamorphic testing and testing with special values. Proceedings of the 5th International Conference on Software Engineering, Artificial Intelligence, Networking, and parallel/Distributed Computing 2004 128 134