Infeasible paths in the context of data flow based testing criteria: Identification, classification and prediction

Vergílio, Silvia Regina; Maldonado, José Carlos; Jino, Mário

doi:10.1007/bf03192389

Cited by 12 publications

(9 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…8 supports the belief that the sample used in the experiment has a representative behaviour with the independent sets used in the previous studies such as in [14]. These results are also verified by Vergilio et al [56] study. In their study the authors repeated an experiment involving the number of predicates and feasibility, and they concluded the same findings.…”

Section: Threats To Validitysupporting

confidence: 86%

Mutation based test case generation via a path selection strategy

Papadakis

Malevris

2012

Information and Software Technology

View full text Add to dashboard Cite

a b s t r a c tContext: Generally, mutation analysis has been identified as a powerful testing method. Researchers have shown that its use as a testing criterion exercises quite thoroughly the system under test while it achieves to reveal more faults than standard structural testing criteria. Despite its potential, mutation fails to be adopted in a widespread practical use and its popularity falls significantly short when compared with other structural methods. This can be attributed to the lack of thorough studies dealing with the practical problems introduced by mutation and the assessment of the effort needed when applying it. Such an incident, masks the real cost involved preventing the development of easy and effective to use strategies to circumvent this problem. Objective: In this paper, a path selection strategy for selecting test cases able to effectively kill mutants when performing weak mutation testing is presented and analysed. Method: The testing effort is highly correlated with the number of attempts the tester makes in order to generate adequate test cases. Therefore, a significant influence on the efficiency associated with a test case generation strategy greatly depends on the number of candidate paths selected in order to achieve a predefined coverage goal. The effort can thus be related to the number of infeasible paths encountered during the test case generation process. Results: An experiment, investigating well over 55 million of program paths is conducted based on a strategy that alleviates the effects of infeasible paths. Strategy details, along with a prototype implementation are reported and analysed through the experimental results obtained by its employment to a set of program units. Conclusion:The results obtained suggest that the strategy used can play an important role in making the mutation testing method more appealing and practical.

show abstract

Section: Threats To Validitysupporting

confidence: 86%

Mutation based test case generation via a path selection strategy

Papadakis

Malevris

2012

Information and Software Technology

View full text Add to dashboard Cite

show abstract

“…Selecting input values to create good test cases that are likely to reveal faults is a fundamental challenge in this field. However, testing a software with all possible input values is, in general, impossible [Vergilio et al 2006].…”

Section: Introductionmentioning

confidence: 99%

Covering User-Defined Data-flow Test Requirements Using Symbolic Execution

Eler¹,

Endo²,

Durelli³

2014

Anais Do XIII Simpósio Brasileiro De Qualidade De Software (SBQS 2014)

View full text Add to dashboard Cite

Symbolic execution has been used in software testing as a effective technique to automatically generate test data. Most of approaches are based only on control-flow criteria and generate input data only for a whole program or function. However, testers may want to generate test data for covering data-flow criteria and also for satisfying specific test requirements. This paper presents an approach for generating test data to cover only test requirements selected by users, considering both control- and data-flow criteria. A prototype was implemented to support test data generation for Java programs and to perform a preliminary evaluation of the approach. The results, although in a limited context, are encouraging and motivate future experiments.

show abstract

“…These rules are quite efficient as they solely based on syntax analysis. Later Vergilio et al [164] showed that, by a fast scan, Hedley and Hennell's rules were able to identify nearly half paths as infeasible in a path set with 880 sample paths.…”

Section: Syntax-based Approachmentioning

confidence: 99%

“…They stated "the number of predicates involved in a path being a good heuristic for assessing a path's feasibility". The greater the number of predicates exist in a path, the greater the probability for the path being The advantage of such metrics is that they are easy to implement and provide a fast way to predict path infeasibility within a confidence level [164]. However, it is an approach of rough estimation rather than accurate detection.…”

Section: Infeasibility Estimation Approachmentioning

confidence: 99%

Augmenting static program analysis and design verification with pattern recognition

Sun¹

View full text Add to dashboard Cite

Infeasible paths in the context of data flow based testing criteria: Identification, classification and prediction

Abstract: Abstract

Cited by 12 publications

References 25 publications

Mutation based test case generation via a path selection strategy

Mutation based test case generation via a path selection strategy

Covering User-Defined Data-flow Test Requirements Using Symbolic Execution

Augmenting static program analysis and design verification with pattern recognition

Contact Info

Product

Resources

About