{"title":"A New Approach for Assertions Processing during Assertion-Based Software Testing","authors":"Ali M. Alakeel","volume":96,"journal":"International Journal of Computer and Information Engineering","pagesStart":2166,"pagesEnd":2170,"ISSN":"1307-6892","URL":"https:\/\/publications.waset.org\/pdf\/9999959","abstract":"<p>Assertion-Based software testing has been shown to<br \/>\r\nbe a promising tool for generating test cases that reveal program<br \/>\r\nfaults. Because the number of assertions may be very large for<br \/>\r\nindustry-size programs, one of the main concerns to the applicability<br \/>\r\nof assertion-based testing is the amount of search time required to<br \/>\r\nexplore a large number of assertions. This paper presents a new<br \/>\r\napproach for assertions exploration during the process of Assertion-<br \/>\r\nBased software testing. Our initial exterminations with the proposed<br \/>\r\napproach show that the performance of Assertion-Based testing may<br \/>\r\nbe improved, therefore, making this approach more efficient when<br \/>\r\napplied on programs with large number of assertions.<\/p>\r\n","references":"[1] C. Ramamoorthy, S. Ho, W. Chen, \u201cOn the Automated Generation of\r\nProgram Test Data,\u201d IEEE Transactions on Software Engineering, vol. 2,\r\nNo. 4, 1976, pp. 293-300.\r\n[2] B. Jones, H. Sthamer, D. Eyres, \u201cAutomatic Structural Testing Using\r\nGenetic Algorithms,\u201d Software Eng. Journal, 11(5), 1996, pp.299-306.\r\n[3] B. Korel, \u201cAutomated Test Data Generation,\u201d IEEE Transactions on\r\nSoftware Engineering, vol. 16, No. 8, 1990, pp. 870-879.\r\n[4] B. Korel, \u201cDynamic Method for Software Test Data Generation,\u201d\r\nJournal of Software Testing, Verification, and Reliability, vol. 2, 1992,\r\npp. 203-213.\r\n[5] B. Korel, \u201cTESTGEN \u2013 An Execution-Oriented Test Data Generation\r\nSystem,\u201d Technical Report TR-SE-95-01, Dept. of Computer Science,\r\nIllinois Institute of Technology, 1995.\r\n[6] B. Korel, A. Al-Yami \u201cAssertion-Oriented Automated Test Data\r\nGeneration,\u201d Proc. 18th Intern. Conference on Software Eng., Berlin,\r\nGermany, 1996, pp. 701-80.\r\n[7] B. Korel, , Q. Zhang, L. Tao, \u201cAssertion-Based Validation of Modified\r\nPrograms,\u201d Proc. 2009 2nd Intern. Conference on Software Testing,\r\nVerification and Validation, Denver, USA, 2009, pp. 426-435.\r\n[8] Ali M. Alakeel, \"Using Fuzzy Logic in Test Case Prioritization for\r\nRegression Testing Programs with Assertions,\" The Scientific World\r\nJournal, vol. 2014, Article ID 316014, 9 pages, 2014.\r\ndoi:10.1155\/2014\/316014.\r\n[9] C. Michael, G. Mcgraw, M. Schatz., \u201cGenerating Software Test Data by\r\nEvolution,\u201d IEEE Tran. on Software Engineering, 27(12), 2001, pp.\r\n1085-1110.\r\n[10] D. Bird, C. Munoz, \u201cAutomatic Generation of Random Self-Checking\r\nTest Cases,\u201d IBM Systems Journal, vol. 22, No. 3, 1982, pp. 229-245.\r\n[11] D. Rosenblum, \u201cToward A Method of Programming With Assertions,\u201d\r\nProceedings of the International Conference on Software Engineering,\r\n1992, pp. 92-104.\r\n[12] G. Myers, \u201cThe Art of Software Testing,\u201d John Wiley & Sons, New\r\nYork, 1979.\r\n[13] Ali M. Alakeel, \u201cA Testability Transformation Approach for Programs\r\nwith Assertions,\u201d Proceedings of the Sixth International Conference on\r\nAdvances in System Testing and Validation Lifecycle, Nice, France, pp.\r\n9-13, October 2014.\r\n[14] Ali M. Alakeel, \u201cIntelligent Assertions Placement Scheme for String\r\nSearch Algorithms,\u201d Proceedings of the Second International\r\nConference on Intelligent Systems and Applications, Venice, Italy, pp.\r\n122-128, April 2013.\r\n[15] J. Wegener, A. Baresel, H. Sthamer, \u201cEvolutionary Test Environment for\r\nAutomatic Structural Testing,\u201d Information and Software Technology,\r\n43, 2001, pp. 841-854.\r\n[16] L. Clarke, \u201cA System to Generate Test Data and Symbolically Execute\r\nPrograms,\u201d IEEE Transactions on Software Engineering, vol. 2, No. 3,\r\n1976, pp. 215-222.\r\n[17] Ali M. Alakeel, \"Assertion-Based Software Testing Metrics Approach\r\nBased on Fuzzy Logic,\" Proceedings of the 22nd International\r\nConference on Software Engineering and Data Engineering (SEDE\u2013\r\n2013), Los Angeles, California, USA, pp. 9-12, September 2013.\r\n[18] P. Mcminn, M. Holcombo, \u201cThe State Problem for Evolutionary\r\nTesting,\u201d Proc. Genetic and Evolutionary Computation Conference,\r\n2003, pp. 2488-2498.\r\n[19] R. Boyer, B. Elspas, K. Levitt, \u201dSELECT - A Formal System for Testing\r\nand Debugging Programs By Symbolic Execution,\u201c SIGPLAN Notices,\r\nvol. 10, No. 6, 1975, pp. 234-245.\r\n[20] R. DeMillo, A. Offutt, \u201cConstraint-Based Automatic Test Data\r\nGeneration,\u201d IEEE Transactions on Software Engineering, vol. 17, No.\r\n9, 1991, pp. 900-910.\r\n[21] R. Ferguson, B. Korel, \u201cChaining Approach for Automated Test Data\r\nGeneration,\u201d ACM Tran. on Software Eng. and Methodology, (5)1,\r\n1996, pp.63-68.\r\n[22] R. Pargas, M. Harrold, R. Peck, \u201cTest Data Generation Using Genetic\r\nAlgorithms,\u201d Journal of Software Testing, Verification, and Reliability,\r\n9, 1999, pp. 263-282.\r\n[23] S. Yau, R. Cheung, \u201cDesign of Self-Checking Software,\u201d Proceedings of\r\nthe International Conference on Reliable Software, 1975, pp. 450-457.\r\n[24] N. Levenson, S. Cha, J Knight, T. Shimeall, \u201cThe Use of Self Checks\r\nand Voting in Software Error Detection: An empirical study,\u201d IEEE\r\nTrans. on Software Eng., 16(4), 1990, pp. 432-443.","publisher":"World Academy of Science, Engineering and Technology","index":"Open Science Index 96, 2014"}