Reducing Complexity of Java Source Codes in Structural Testing by Using Program Slicing
Abstract
Structural testing is one of the techniques of software testing. It tests only the structure of the source code while comparing expected results and actual results. Generally, structural testing takes a long time to perform its task and not possible. Sometimes, only a small portion of the program is relevant. This can be done by program slicing. Program Slicing is to decompose the program into smaller units that depends on different types of dependencies between the program statements. The different types of program slicing are forward slicing, backward slicing, complete slicing, dynamic and static slicing, etc. Moreover, there is Tree Slicing which is also a key technique to slice and merge different Symbolic Execution (SE) sub-trees under some specific conditions. In this paper, we combine Tree Slicing technique and Indus Kaveri where Indus is a robust framework for analyzing and slicing concurrent Java programs, and Kaveri is a feature-rich Eclipse-based GUI front end for Indus slicing. Then we present the experimental results in order to reduce the complexity of the java source code.
References
J Arora, “Static Program Slicing- An Efficient Approach for Prioritization of Test Cases for Regression Testing”, International Journal of Computer Applications (0975 – 8887) Volume 135 – No.13 (2016), 18-23
A Tamrawi, S Kothari, “Event-Flow Graphs for Efficient Path-Sensitive Analyses”, arXiv preprint arXiv:1404.1279, 2014 - arxiv.org
J Jaffar, V Murali, J A. Navas, and A E. Santosa, “Path-Sensitive Backward Slicing, International Static Analysis …”, 2012 – Springer
C Hammer, J Krinke, G Snelting, “Information Flow Control for Java Based on Path Conditions in Dependence Graphs”, Proceedings IEEE International Symposium on Secure Software Engineering, 2006.
G Jayaraman, V Prasad Ranganath, and J Hatcliff, “Kaveri: Delivering the Indus Java Program Slicer to Eclipse”, DARPA/IXO’s PCES program (AFRL Contract F33615-00-C-3044), by NSF (CCR-0306607) by Lockheed Martin, and by Intel Corporation.
J. Jaffar, V. Murali, “A Path-Sensitively Sliced Control Flow Graph”, presented at FSE ’14, November 16-22, 2014, San Hong Kong, China. Copyright 2014 ACM.
V Prasad Ranganath • J Hatcliff, “Slicing Concurrent Java Programs using Indus and Kaveri”, in International Journal on Software Tools for Technology Transfer, 1-15
Authors who submit papers with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
- By submitting the processing fee, it is understood that the author has agreed to our terms and conditions which may change from time to time without any notice.
- It should be clear for authors that the Editor In Chief is responsible for the final decision about the submitted papers; have the right to accept\reject any paper. The Editor In Chief will choose any option from the following to review the submitted papers:A. send the paper to two reviewers, if the results were negative by one reviewer and positive by the other one; then the editor may send the paper for third reviewer or he take immediately the final decision by accepting\rejecting the paper. The Editor In Chief will ask the selected reviewers to present the results within 7 working days, if they were unable to complete the review within the agreed period then the editor have the right to resend the papers for new reviewers using the same procedure. If the Editor In Chief was not able to find suitable reviewers for certain papers then he have the right to reject the paper.
- Author will take the responsibility what so ever if any copyright infringement or any other violation of any law is done by publishing the research work by the author
- Before publishing, author must check whether this journal is accepted by his employer, or any authority he intends to submit his research work. we will not be responsible in this matter.
- If at any time, due to any legal reason, if the journal stops accepting manuscripts or could not publish already accepted manuscripts, we will have the right to cancel all or any one of the manuscripts without any compensation or returning back any kind of processing cost.
- The cost covered in the publication fees is only for online publication of a single manuscript.