Table of Contents
Advances in Software Engineering
Volume 2010 (2010), Article ID 323429, 7 pages
http://dx.doi.org/10.1155/2010/323429
Research Article

A Strategy for Automatic Quality Signing and Verification Processes for Hardware and Software Testing

School of Electrical and Electronics, Universiti Sains Malaysia, 14300 Nibong Tebal, Malaysia

Received 14 June 2009; Revised 4 August 2009; Accepted 20 November 2009

Academic Editor: Phillip Laplante

Copyright © 2010 Mohammed I. Younis and Kamal Z. Zamli. 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. M. Grindal, J. Offutt, and S. F. Andler, “Combination testing strategies: a survey,” Tech. Rep. ISETR-04-05, GMU, July 2004. View at Google Scholar
  2. M. I. Younis, K. Z. Zamli, and N. A. M. Isa, “Algebraic strategy to generate pairwise test set for prime number parameters and variables,” in Proceedings of the International Symposium on Information Technology (ITSim '08), vol. 4, pp. 1662–1666, IEEE Press, Kuala Lumpur, Malaysia, August 2008. View at Publisher · View at Google Scholar · View at Scopus
  3. M. I. Younis, K. Z. Zamli, and N. A. M. Isa, “IRPS: an efficient test data generation strategy for pairwise testing,” in Proceedings of the 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES '08), vol. 5177 of Lecture Notes in Computer Science, pp. 493–500, 2008. View at Publisher · View at Google Scholar · View at Scopus
  4. Jenny tool, June 2009, http://www.burtleburtle.net/bob/math/.
  5. TVG tool, June 2009, http://sourceforge.net/projects/tvg/.
  6. Y. Lei, R. Kacker, D. R. Kuhn, V. Okun, and J. Lawrence, “IPOG: a general strategy for T-way software testing,” in Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, pp. 549–556, Tucson, Ariz, USA, March 2007. View at Publisher · View at Google Scholar · View at Scopus
  7. Y. Lei, R. Kacker, D. R. Kuhn, V. Okun, and J. Lawrence, “IPOG-IPOG-D: efficient test generation for multi-way combinatorial testing,” Software Testing Verification and Reliability, vol. 18, no. 3, pp. 125–148, 2008. View at Publisher · View at Google Scholar · View at Scopus
  8. M. Forbes, J. Lawrence, Y. Lei, R. N. Kacker, and D. R. Kuhn, “Refining the in-parameter-order strategy for constructing covering arrays,” Journal of Research of the National Institute of Standards and Technology, vol. 113, no. 5, pp. 287–297, 2008. View at Google Scholar · View at Scopus
  9. R. C. Bryce and C. J. Colbourn, “A density-based greedy algorithm for higher strength covering arrays,” Software Testing Verification and Reliability, vol. 19, no. 1, pp. 37–53, 2009. View at Publisher · View at Google Scholar · View at Scopus
  10. M. I. Younis, K. Z. Zamli, and N. A. M. Isa, “A strategy for grid based T-Way test data generation,” in Proceedings the 1st IEEE International Conference on Distributed Frameworks and Application (DFmA '08), pp. 73–78, Penang, Malaysia, October 2008. View at Publisher · View at Google Scholar · View at Scopus
  11. R. Mandl, “Orthogonal latin squares: an application of experiment design to compiler testing,” Communications of the ACM, vol. 28, no. 10, pp. 1054–1058, 1985. View at Publisher · View at Google Scholar · View at Scopus
  12. T. Berling and P. Runeson, “Efficient evaluation of multifactor dependent system performance using fractional factorial design,” IEEE Transactions on Software Engineering, vol. 29, no. 9, pp. 769–781, 2003. View at Publisher · View at Google Scholar · View at Scopus
  13. L. Lazic and D. Velasevic, “Applying simulation and design of experiments to the embedded software testing process,” Software Testing Verification and Reliability, vol. 14, no. 4, pp. 257–282, 2004. View at Publisher · View at Google Scholar · View at Scopus
  14. L. White and H. Almezen, “Generating test cases for GUI responsibilities using complete interaction sequences,” in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE '00), pp. 110–121, IEEE Computer Society, San Jose, Calif, USA, 2000. View at Scopus
  15. A. M. Memon and M. L. Soffa, “Regression testing of GUIs,” in Proceedings of the 9th Joint European Software Engineering Conference (ESEC) and the 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11), pp. 118–127, ACM, September 2003. View at Scopus
  16. C. Yilmaz, M. B. Cohen, and A. A. Porter, “Covering arrays for efficient fault characterization in complex configuration spaces,” IEEE Transactions on Software Engineering, vol. 32, no. 1, pp. 20–34, 2006. View at Publisher · View at Google Scholar · View at Scopus
  17. M. S. Reorda, Z. Peng, and M. Violanate, Eds., System-Level Test and Validation of Hardware/Software Systems, Advanced Microelectronics Series, Springer, London, UK, 2005.
  18. R. Brownlie, J. Prowse, and M. S. Phadke, “Robust testing of AT&T PMX/StarMail using OATS,” AT&T Technical Journal, vol. 71, no. 3, pp. 41–47, 1992. View at Google Scholar · View at Scopus
  19. S. R. Dalal, A. Jain, N. Karunanithi et al., “Model-based testing in practice,” in Proceedings of the International Conference on Software Engineering, pp. 285–294, 1999. View at Scopus
  20. K.-C. Tai and Y. Lei, “A test generation strategy for pairwise testing,” IEEE Transactions on Software Engineering, vol. 28, no. 1, pp. 109–111, 2002. View at Publisher · View at Google Scholar · View at Scopus
  21. D. R. Wallace and D. R. Kuhn, “Failure modes in medical device software: an analysis of 15 years of recall data,” International Journal of Reliability, Quality, and Safety Engineering, vol. 8, no. 4, pp. 351–371, 2001. View at Google Scholar
  22. D. R. Kuhn and M. J. Reilly, “An investigation of the applicability of design of experiments to software testing,” in Proceedings of the 27th NASA/IEEE Software Engineering Workshop, pp. 91–95, IEEE Computer Society, December 2002.
  23. D. R. Kuhn, D. R. Wallace, and A. M. Gallo Jr., “Software fault interactions and implications for software testing,” IEEE Transactions on Software Engineering, vol. 30, no. 6, pp. 418–421, 2004. View at Publisher · View at Google Scholar · View at Scopus
  24. D. R. Kuhn and V. Okun, “Pseudo-exhaustive testing for software,” in Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop (SEW '06), pp. 153–158, April 2006. View at Publisher · View at Google Scholar · View at Scopus
  25. R. Kuhn, Y. Lei, and R. Kacker, “Practical combinatorial testing: beyond pairwise,” IT Professional, vol. 10, no. 3, pp. 19–23, 2008. View at Publisher · View at Google Scholar · View at Scopus
  26. D. T. Tang and C. L. Chen, “Iterative exhaustive pattern generation for logic testing,” IBM Journal of Research and Development, vol. 28, no. 2, pp. 212–219, 1984. View at Google Scholar · View at Scopus
  27. S. Y. Boroday, “Determining essential arguments of Boolean functions,” in Proceedings of the International Conference on Industrial Mathematics (ICIM '98), pp. 59–61, Taganrog, Russia, 1998.
  28. A. K. Chandra, L. T. Kou, G. Markowsky, and S. Zaks, “On sets of Boolean n-vectors with all k-projections surjective,” Acta Informatica, vol. 20, no. 1, pp. 103–111, 1983. View at Publisher · View at Google Scholar · View at Scopus
  29. G. Seroussi and N. H. Bshouty, “Vector sets for exhaustive testing of logic circuits,” IEEE Transactions on Information Theory, vol. 34, no. 3, pp. 513–522, 1988. View at Publisher · View at Google Scholar · View at Scopus
  30. I. I. Dumer, “Asymptotically optimal codes correcting memory defects of fixed multiplicity,” Problemy Peredachi Informatskii, vol. 25, pp. 3–20, 1989. View at Google Scholar
  31. S. Ghosh and J. L. Kelly, “Bytecode fault injection for Java software,” Journal of Systems and Software, vol. 81, no. 11, pp. 2034–2043, 2008. View at Publisher · View at Google Scholar · View at Scopus
  32. A. A. Avizienis, The Methodology of N-Version Programming, Software Fault Tolerance, John Wiley & Sons, New York, NY, USA, 1995.
  33. L. Chen and A. Avizienis, “N-version programming: a fault-tolerance approach to reliability of software operation,” in Proceedings of the 18th IEEE International Symposium on Fault-Tolerant Computing, pp. 3–9, 1995.
  34. Y.-S. Ma, J. Offutt, and Y. R. Kwon, “MuJava: an automated class mutation system,” Software Testing Verification and Reliability, vol. 15, no. 2, pp. 97–133, 2005. View at Publisher · View at Google Scholar · View at Scopus
  35. MuJava Version 3, June 2009, http://cs.gmu.edu/~offutt/mujava/.
  36. M. M. Mano, Digital Design, Prentice Hall, Upper Saddle River, NJ, USA, 3rd edition, 2002.
  37. L. Copeland, A Practitioner's Guide to Software Test Design, STQE Publishing, Norwood, Mass, USA, 2004.