Selecting Software Test Data Using Data Flow Information

Rapps, S.; Weyuker, Elaine J.

doi:10.1109/tse.1985.232226

Cited by 896 publications

(699 citation statements)

References 10 publications

Supporting

Mentioning

530

Contrasting

Unclassified

168

Order By: Relevance

“…Hong et al [59] show how model checkers can be used to derive test cases for different data flow coverage criteria using witness formulas. In this survey, we use the criteria by Rapps and Weyuker [60] to illustrate this approach; trap properties for further criteria are given in Hong et al [59]. The basic idea of data flow criteria is to find definition-use pairs…”

Section: Control and Data Flow Coverage Criteriamentioning

confidence: 99%

Testing with model checkers: a survey

Fraser

Wotawa

Ammann

2008

Software Testing Verif & Rel

146

View full text Add to dashboard Cite

Abstract.About a decade after the initial proposal to use model checkers for the generation of test cases we take a look at the achievements in this field of research. Model checkers are formal verification tools, capable of providing counterexamples to violated properties. Normally, these counterexamples are meant to guide an analyst when searching for the root cause of a property violation. They are, however, also very useful as test cases. Many different approaches have been presented, many problems have been solved, yet many issues remain. This survey paper reviews the state of the art in testing with model checkers.

show abstract

Section: Control and Data Flow Coverage Criteriamentioning

confidence: 99%

Testing with model checkers: a survey

Fraser

Wotawa

Ammann

2008

Software Testing Verif & Rel

146

View full text Add to dashboard Cite

show abstract

“…Control flow coverage criteria include path testing [4], condition testing [5], branch testing [6,7], etc. Data flow coverage criteria include all-uses [8], all-du (definition use) paths [9,23,26,27] etc. Reliability based criteria aims to generate a set of reliable test cases.…”

Section: Introductionmentioning

confidence: 99%

An Adequacy Based Test Data Generation Technique Using Genetic Algorithms

Malhotra¹,

Garg²

2011

Journal of Information Processing Systems

View full text Add to dashboard Cite

Abstract-As the complexity of software is increasing, generating an effective test data has become a necessity. This necessity has increased the demand for techniques that can generate test data effectively. This paper proposes a test data generation technique based on adequacy based testing criteria. Adequacy based testing criteria uses the concept of mutation analysis to check the adequacy of test data. In general, mutation analysis is applied after the test data is generated. But, in this work, we propose a technique that applies mutation analysis at the time of test data generation only, rather than applying it after the test data has been generated. This saves significant amount of time (required to generate adequate test cases) as compared to the latter case as the total time in the latter case is the sum of the time to generate test data and the time to apply mutation analysis to the generated test data. We also use genetic algorithms that explore the complete domain of the program to provide near-global optimum solution. In this paper, we first define and explain the proposed technique. Then we validate the proposed technique using ten real time programs. The proposed technique is compared with path testing technique (that use reliability based testing criteria) for these ten programs. The results show that the adequacy based proposed technique is better than the reliability based path testing technique and there is a significant reduce in number of generated test cases and time taken to generate test cases.

show abstract

“…Assim, para derivação de casos de teste tais critérios baseiam-se nas associações existentes entre uma definição de variável e seus possíveis usos subsequentes. Dois exemplos de famílias de critérios de teste baseados em fluxo de dados são: a família de critérios proposta por Rapps e Weyuker (1985) e a Potenciais-Usos, proposta por (Maldonado, 1991).…”

Section: Critérios Baseados Em Fluxo De Dadosunclassified

“…Sendo assim, por questões de produtividade e tempo, o objetivoé utilizar casos de teste que tenham alta probabilidade de revelar um defeito com o mínimo de tempo e esforço (Delamaro et al, 2007b). Para chegar nesse objetivo, diversos critérios, métodos e técnicas têm sido propostos de forma a oferecer ao testador uma abordagem sistemática e teoricamente fundamentada na condução e na avaliação da atividade de teste (Rapps e Weyuker, 1985). Esses critérios dividem o domínio de entrada de forma que o conjunto de teste seja eficiente em revelar defeitos.…”

unclassified

“…Nesse contexto Rapps e Weyuker (1985) propuseram alguns conceitos importantes, como o de "Grafo Def-Uso" (def-use graph), semelhante ao GFC. Como complemento, foram definidos dois conceitos importantes: o de definição de uma variável, que ocorre no momento em que um valor lheé atribuído e o de uso de uma variável, que expressa uma referência ao valor daquela variável.…”

unclassified

See 1 more Smart Citation

Critérios de teste baseados em grafo de cena para aplicações de realidade virtual

Bezerra¹

View full text Add to dashboard Cite

Selecting Software Test Data Using Data Flow Information

Cited by 896 publications

References 10 publications

Testing with model checkers: a survey

Testing with model checkers: a survey

An Adequacy Based Test Data Generation Technique Using Genetic Algorithms

Critérios de teste baseados em grafo de cena para aplicações de realidade virtual

Contact Info

Product

Resources

About