| Revista: | Computación y sistemas |
| Base de datos: | |
| Número de sistema: | 000560688 |
| ISSN: | 1405-5546 |
| Autores: | Pattnaik, Saumendra1 Sahoo, Bidush Kumar2 Panigrahi, Chhabi Rani3 Pattanayak, Binod Kumar1 Pati, Bibudhendu3 |
| Instituciones: | 1Siksha O Ansusandhan University, Department of Computer Science & Engineering, Orissa. India 2Gandhi Institute for Education & Technology Bhubaneswar, Department of Computer Science & Engineering, Bhubaneswar, Odisha. India 3Rama Devi Women’s University, Department of Computer Science, Bhubaneswar, Odisha. India |
| Año: | 2022 |
| Periodo: | Abr-Jun |
| Volumen: | 26 |
| Número: | 2 |
| Paginación: | 1035-1044 |
| País: | México |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Resumen en inglés | 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. |
| Disciplinas: | Ciencias de la computación |
| Palabras clave: | Programación |
| Keyword: | Programming |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
