Test Case Generation using Symbolic Execution

Authors

  • Saumendra Pattnaik Siksha ‘O’ Anusandhan Deemed to be University
  • Bidush Kumar Sahoo Gandhi institute for Education & Technology Bhubaneswar
  • Chhabi Rani Panigrahi Rama Devi Women's University
  • Binod Kumar Pattanayak Siksha ‘O’ Anusandhan Deemed to be University
  • Bibudhendu Pati Rama Devi Women's University

DOI:

https://doi.org/10.13053/cys-26-2-3887

Keywords:

Symbolic execution, path coverage, unreachable path, test input generation

Abstract

Testing is a well-known technique for identifying errors in software programs. Testing can be done in two ways: Static analysis and Dynamic analysis. Symbolic execution plays a vital role in static analysis for test case generation and to find the unreachable path with minimum test cases. Unreachable path is a part of a program which can never be executed i.e., the symbolic execution doesn’t continue for that path and the current execution stops there. It generates a test suite for loop-free programs that is achieved by path coverage. In the best case program loops implies increase in the number of paths exponentially and in the worst case the program will not terminate. The functions of symbolic execution are test input generation, unreachable path detection, finding bugs in software programs, debugging. In this paper, we focus on dead code detection and test input generation using symbolic execution. Our execution for Java programs uses Java Path Finder (JPF) model tester. Our analysis shows that the symbolic execution method can be used to reduce symbolic execution time and to find out the unreachable path with less number of test cases.

Author Biographies

Saumendra Pattnaik, Siksha ‘O’ Anusandhan Deemed to be University

Dept. of Computer Science & Engineering

Bidush Kumar Sahoo, Gandhi institute for Education & Technology Bhubaneswar

Dept. of Computer Science & Engineering

Chhabi Rani Panigrahi, Rama Devi Women's University

Department of Computer Science

Binod Kumar Pattanayak, Siksha ‘O’ Anusandhan Deemed to be University

Dept. of Computer Science & Engineering

Bibudhendu Pati, Rama Devi Women's University

Department of Computer Science

Downloads

Published

2022-06-15

Issue

Vol. 26 No. 2 (2022): Emerging Issues and Applications of Fuzzy Systems, Neural Networks and Metaheuristics (Castillo, Melin, Montiel, Valdez)

Section

Articles

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.