Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2015 (2015), Article ID 629430, 8 pages
http://dx.doi.org/10.1155/2015/629430
Research Article

Using Fuzzy Logic Techniques for Assertion-Based Software Testing Metrics

College of Computers and Information Technology, University of Tabuk, P.O. Box 1458, Tabuk 71431, Saudi Arabia

Received 11 August 2014; Revised 7 November 2014; Accepted 1 December 2014

Academic Editor: Tian Zhang

Copyright © 2015 Ali M. Alakeel. 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. B. Korel, “Automated software test data generation,” IEEE Transactions on Software Engineering, vol. 16, no. 8, pp. 870–879, 1990. View at Publisher · View at Google Scholar · View at Scopus
  2. B. Korel, “Dynamic method for software test data generation,” Journal of Software Testing, Verification, and Reliability, vol. 2, no. 4, pp. 203–213, 1992. View at Publisher · View at Google Scholar · View at Scopus
  3. R. Ferguson and B. Korel, “The chaining approach for software test data generation,” ACM Transactions on Software Engineering and Methodology, vol. 5, no. 1, pp. 63–86, 1996. View at Publisher · View at Google Scholar · View at Scopus
  4. B. Korel and A. Al-Yami, “Assertion-oriented automated test data generation,” in Proceedings of the 18th International Conference on Software Engineering, pp. 71–80, Berlin, Germany, 1996.
  5. X. Wu and J. Sun, “The study on an intelligent general-purpose automated software testing suite,” in Proceedings of the International Conference on Intelligent Computation Technology and Automation (ICICTA '10), vol. 3, pp. 993–996, May 2010. View at Publisher · View at Google Scholar · View at Scopus
  6. K. Karnavel and J. Santhoshkumar, “Automated software testing for application maintenance by using bee colony optimization algorithms (BCO),” in Proceedings of the International Conference on Information Communication and Embedded Systems (ICICES '13), pp. 327–330, Chennai, India, February 2013. View at Publisher · View at Google Scholar · View at Scopus
  7. P. R. Srivastava and K. Baby, “Automated software testing using metahurestic technique based on an Ant Colony Optimization,” in Proceedings of the International Symposium on Electronic System Design (ISED '10), pp. 235–240, December 2010. View at Publisher · View at Google Scholar · View at Scopus
  8. P. Mitra, S. Chatterjee, and N. Ali, “Graphical analysis of MC/DC using automated software testing,” in Proceedings of the 3rd International Conference on Electronics Computer Technology (ICECT '11), vol. 3, pp. 145–149, Kanyakumari, India, April 2011. View at Publisher · View at Google Scholar · View at Scopus
  9. G. Myers, The Art of Software Testing, John Wiley & Sons, New York, NY, USA, 1979.
  10. L. A. Zadeh, “Fuzzy sets,” Information and Computation, vol. 8, pp. 338–353, 1965. View at Google Scholar · View at MathSciNet
  11. D. M. Rafi, K. R. K. Moses, K. Petersen, and M. V. Mäntylä, “Benefits and limitations of automated software testing: systematic literature review and practitioner survey,” in Proceedings of the 7th International Workshop on Automation of Software Test (AST '12), pp. 36–42, IEEE, Zürich, Switzerland, June 2012. View at Publisher · View at Google Scholar · View at Scopus
  12. D. S. Rosenblum, “Practical approach to programming with assertions,” IEEE Transactions on Software Engineering, vol. 21, no. 1, pp. 19–31, 1995. View at Publisher · View at Google Scholar · View at Scopus
  13. A. M. Alakeel, “An algorithm for efficient assertions-based test data generation,” Journal of Software, vol. 5, no. 6, pp. 644–653, 2010. View at Publisher · View at Google Scholar · View at Scopus
  14. K. Shrestha and M. J. Rutherford, “An empirical evaluation of assertions as oracles,” in Proceedings of the 4th IEEE International Conference on Software Testing, Verification, and Validation (ICST '11), pp. 110–119, Berlin, Germany, March 2011. View at Publisher · View at Google Scholar · View at Scopus
  15. A. Alakeel and M. Mhashi, “Application of intelligent assertion-based testing in string matching algorithms,” The American Journal of Scientific Research, no. 65, pp. 77–91, 2012. View at Google Scholar
  16. S. Khalid, J. Zimmermann, D. Corney, and C. Fidge, “Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types,” in Proceedings of the 4th International Conference on Network and System Security (NSS '10), pp. 351–356, September 2010. View at Publisher · View at Google Scholar · View at Scopus
  17. A. Alakeel, “Intelligent assertions placement scheme for string search algorithms,” in Proceedings of the 2nd International Conference on Intelligent Systems and Applications, pp. 122–128, Venice, Italy, April 2013.
  18. M. Pezze and M. Young, Software Testing and Analysis: Process, Principles and Techniques, John Wiley & Sons, 2008.
  19. T. B. Nguyen, M. Delaunay, and C. Robach, “Testing criteria for data flow software,” in Proceedings of the 10th Asia-Pacific Software Engineering Conference, pp. 332–337, December 2003. View at Publisher · View at Google Scholar
  20. L. J. Lun and X. Chi, “Path numbers analysis of relationships on software architecture testing criteria,” in Proceedings of the 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE '10), vol. 1, pp. V1-118–V1-122, Chengdu, China, August 2010. View at Publisher · View at Google Scholar · View at Scopus
  21. M. Jiang, M. A. Munawar, T. Reidemeister, and P. A. S. Ward, “Efficient fault detection and diagnosis in complex software systems with information-theoretic monitoring,” IEEE Transactions on Dependable and Secure Computing, vol. 8, no. 4, pp. 510–522, 2011. View at Publisher · View at Google Scholar · View at Scopus
  22. L. Lun and X. Chi, “Relationship on path coverage criteria for software architecture testing,” in Proceedings of the 2nd World Congress on Software Engineering (WCSE '10), vol. 2, pp. 33–36, IEEE, Wuhan, China, December 2010. View at Publisher · View at Google Scholar · View at Scopus
  23. M. K. Debbarma, N. Kar, and A. Saha, “Static and dynamic software metrics complexity analysis in regression testing,” in Proceedings of the International Conference on Computer Communication and Informatics (ICCCI '12), pp. 1–6, Coimbatore, India, January 2012. View at Publisher · View at Google Scholar · View at Scopus
  24. M. J. Rutherford, A. Carzaniga, and A. L. Wolf, “Evaluating test suites and adequacy criteria using simulation-based models of distributed systems,” IEEE Transactions on Software Engineering, vol. 34, no. 4, pp. 452–470, 2008. View at Publisher · View at Google Scholar · View at Scopus
  25. Y. Singh, A. Kaur, and R. Malhotra, “Empirical validation of object-oriented metrics for predicting fault proneness models,” Software Quality Journal, vol. 18, no. 1, pp. 3–35, 2009. View at Publisher · View at Google Scholar · View at Scopus
  26. J. Giarratano, Expert Systems: Principles and Programming, PWS-KENT Publishing, Boston, Mass, USA, 1989.
  27. G. A. Stephen, String Searching Algorithms, World Scientific, Singapore, 1994. View at Publisher · View at Google Scholar · View at MathSciNet
  28. A. M. Alakeel, “Assertion-based software testing metrics approach based on fuzzy logic,” in Proceedings of the 22nd International Conference on Software Engineering and Data Engineering (SEDE '13), pp. 9–12, Los Angeles, Calif, USA, September 2013. View at Scopus