Constraint based criteria: An approach for test case selection in the structural testing

Journal of Electronic Testing: Theory and Applications (JETTA)

Volumn 17, Issue 2, 2001, Pages 175-183

  Vergilio, Silvia Regina ^a   Maldonado, José Carlos ^b   Jino, Mario ^c  

^a FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

^c UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Constraint based testing; Mutation analysis; Structural testing criteria

Indexed keywords

CONSTRAINT THEORY; DATA FLOW ANALYSIS; FAILURE ANALYSIS; QUALITY ASSURANCE;

CONSTRAINT BASED CRITERIA; MUTATION ANALYSIS; STRUCTURAL TESTING;

COMPUTER SOFTWARE;

EID: 0035299870     PISSN: 09238174     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011130028226     Document Type: Article

References (26)

1. POKE-TOOL-Uma Ferramenta para Suporte ao Teste Estrutural de Programas Baseado em Análise de Fluxo de Dados
2. A tool for the assesment of test adequacy for C programs
3. Constraint-based automatic test data generation
4. Experimental results on automatic test case generation
5. Data flow testing in the presence of unexecutable paths
6. A formal analysis of the fault-detecting ability of testing methods
7. A data flow oriented program testing strategy
8. Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software
9. Briding the Gap in the presence of infeasible paths: Potential uses testing criteria
10. On required element testing
11. Selecting software test data using data flow information
12. Análise de Mutantes e Potenciais-usos: Uma Avaliação Empírica
13. Predicate-based test generation for computer programs
14. Theory of fault-based predicate testing for computer programs
15. A structural test selection criterion
16. Critérios Restritos de Teste de Software: Uma Contribuição para Gerar Dados de Teste mais Eficazes
17. Resultados da Aplicação de Diferentes Técnicas de Geração de Dados de Teste Sensíveis a Erros
18. An experimental evaluation of different testing techniques
19. Infeasible paths within the context of data flow based criteria
20. Constraint based selection of test sets to satisfy structural software testing criteria
21. An empirical study of the complexity of data flow testing
22. The cost of data flow testing: An empirical study
23. A domain strategy for computer program testing
24. Mutation versus all-uses: An empirical evaluation of cost, strength and effectiveness