Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2013, Article ID 381389, 6 pages
http://dx.doi.org/10.1155/2013/381389
Research Article

Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study

1Command Information Institute, PLA University of Science and Technology, Nanjing, Jiangsu Province 210007, China
2PLA Military Training Software Testing and Evaluation Centre, Nanjing, Jiangsu Province 210007, China

Received 14 November 2012; Accepted 8 January 2013

Academic Editor: Tsung-Chih Lin

Copyright © 2013 Zhanwei Hui et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

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