IMPLEMENTATION OF CONCOLIC UNIT TESTING IN TESTING BINARY SEARCH ALGORITHM USING JCUTE

  • Neneng Rachmalia Feta (1*) Institut Teknologi dan Bisnis BRI
  • Fitria Fitria (2) Institut Teknologi dan Bisnis BRI

  • (*) Corresponding Author
Keywords: Testing, Concolic Unit Testing Engine, JCute, Binary Search.

Abstract

Testing is a process of implementing a program with the aim of finding an error. A good test case is one of the tests that have the possibility of finding an undisclosed error. One of the existing types of testing is the Concolic Unit Testing Engine. In this research, testing is applied using the Jcute tool, which is a tool to systematically and automatically test sequential C programs (including instructions) and Java programs together. This test is carried out on the search function of an element of data in the Binary Search Search Algorithm. However, to check whether concolic testing can detect bugs in the software practically through case studies. This research describes a case study of the application of a test tool to a Java application. Through this research, we tested the path coverage and Branches Covered. We can also find out the details of total branches covered; total functions invoked, percentage of branches covered and the number of iterations. JCUTE can also find an interleaving of two sequences or circuits that results in an infinite loop.

Downloads

Download data is not yet available.

References

B. B. Agarwal, S. P. Tayal, and M. Gupta, Software Engineering and Testing. 2010.

A. Bertolino, “Software testing research: Achievements, challenges, dreams,” FoSE 2007 Futur. Softw. Eng., no. September, pp. 85–103, 2007, doi: 10.1109/FOSE.2007.25.

K. Sen and G. Agha, “CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools,” Lect. Notes Comput. Sci. (including Subser. Lect. Notes Artif. Intell. Lect. Notes Bioinformatics), vol. 4144 LNCS, pp. 419–423, 2006, doi: 10.1007/11817963_38.

M. Kim, Y. Kim, and Y. Jang, “Industrial application of concolic testing on embedded software: Case studies,” Proc. - IEEE 5th Int. Conf. Softw. Testing, Verif. Validation, ICST 2012, pp. 390–399, 2012, doi: 10.1109/ICST.2012.119.

S. Godboley, A. Dutta, A. Das, and D. P. Mohapatra, “Measuring MC/DC at design phase using UML sequence diagram and concolic testing,” 2016 IEEE Annu. India Conf. INDICON 2016, pp. 0–5, 2017, doi: 10.1109/INDICON.2016.7839079.

S. Godboley, D. P. Mohapatra, A. Das, and R. Mall, “An improved distributed concolic testing approach,” 2017, doi: 10.1002/spe.2405.

M. E. Ruse and S. Basu, “Detecting cross-site scripting vulnerability using concolic testing,” Proc. 2013 10th Int. Conf. Inf. Technol. New Gener. ITNG 2013, pp. 633–638, 2013, doi: 10.1109/ITNG.2013.97.

R. Ahmadi, K. Jahed, and J. Dingel, “MCUTE: A model-level concolic unit testing engine for UML state machines,” 2019, doi: 10.1109/ASE.2019.00132.

R. Pröll, “Towards a model-centric software Testing life cycle For early and consistent testing Activities,” University of Augsburg, 2021.

I. Bhatti, J. A. Siddiqi, A. Moiz, and Z. A. Memon, “Towards Ad hoc testing technique effectiveness in software testing life cycle,” 2019, doi: 10.1109/ICOMET.2019.8673390.

Guddi Singh, “A study on software testing life cycle in software engineering,” Int. J. Manag. IT, vol. Vol 9, no. No 2, 2018, [Online]. Available: https://globusjournal.com/wp-content/uploads/2018/12/9227Guddi.pdf.

N. Honest, “Role of Testing in Software Development Life Cycle,” Int. J. Comput. Sci. Eng., 2019, doi: 10.26438/ijcse/v7i5.886889.

Published
2022-02-16
How to Cite
[1]
N. Feta and F. Fitria, “IMPLEMENTATION OF CONCOLIC UNIT TESTING IN TESTING BINARY SEARCH ALGORITHM USING JCUTE”, jitk, vol. 7, no. 2, pp. 37-44, Feb. 2022.
Article Metrics

Abstract viewed = 200 times
PDF downloaded = 189 times