Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data

Authors:
Paulo Marcos Siqueira Bueno;Mario Jino
Affiliations:
-;-
Venue:
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Year:
2000

Citing 0
Cited 11

Testing an Intentional Naming Scheme Using Genetic Algorithms

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Exploring Very Large State Spaces Using Genetic Algorithms

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Detecting large number of infeasible paths through recognizing their patterns

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
GA-based multiple paths test data generator

Computers and Operations Research
Heuristics-based infeasible path detection for dynamic test data generation

Information and Software Technology
Evolutionary software engineering, a review

Applied Soft Computing
PSO based pseudo dynamic method for automated test case generation using interpreter

ICSI'11 Proceedings of the Second international conference on Advances in swarm intelligence - Volume Part I
Grouping target paths for evolutionary generation of test data in parallel

Journal of Systems and Software
Controversy Corner: Search Based Software Engineering: Review and analysis of the field in Brazil

Journal of Systems and Software
Heuristic search-based approach for automated test data generation: a survey

International Journal of Bio-Inspired Computation
Dynamic stopping criteria for search-based test data generation for path testing

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

A tool and techniques are presented for test data generation and identification of a path's likely unfeasibility in structural software testing. The tool is based on the Dynamic Technique and search using Genetic Algorithms. Our work introduces a new fitness function that combines control and data flow dynamic information to improve the process of search for test data. The unfeasibility issue is addressed by monitoring the Genetic Algorithm's search progress. An experiment shows the validity of the developed solutions and the benefit of using the tool.