Path selection in the structural testing: Proposition, implementation and application of strategies

Proceedings - International Conference of the Chilean Computer Science Society, SCCC

Volumn 2001-January, Issue , 2001, Pages 240-246

  Peres, L M ^a   Vergilio, S R ^a   Jino, M ^b   Maldonado, J C ^c  

^a FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

^b UNIVERSITY OF CAMPINAS   (Brazil)

^c UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Selection of Test Paths; Software Metrics; Software Testing; Structural Criteria

Indexed keywords

TEST FACILITIES;

AUTOMATIC TEST DATA GENERATION; INFEASIBLE PATHS; PATH SELECTION; SELECTION OF TEST PATHS; SOFTWARE METRICS; STRUCTURAL CRITERION; STRUCTURAL TESTING; TESTING PROCEDURE;

SOFTWARE TESTING;

EID: 80054970970     PISSN: 15224902     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCCC.2001.972653     Document Type: Conference Paper

References (22)

1. A. Bertolino and M. Marré. Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. IEEE Transactions on Software Engineering, 20(12):885-899, December 1994.
2. A. Bertolino and M. Marré. Unconstrained Duas and Their Use in Achieving All-Uses Coverage. In ISSTA '96- ACM, San Diego, CA, 1996.
3. A. Bertolino and L. Strigini. On the Use of Testability Measures for Dependability Assessment. IEEE Transactions on Software Engineering, 22(2):97-108, February 1996.
4. P.M.S. Bueno. Geração Automática de Dados e Tratamento de Não Executabilidade no Teste Estrutural de Software. Master's thesis, DCA/FEEC/Unicamp, Brazil, 1999 (in Portuguese).
5. M.L. Chaim. POKE-TOOL - Uma Ferramenta para Suporte ao Teste Estrutural de Programas Baseado em Análise de Fluxo de Dados. Master's thesis, DCA/FEE/Unicamp, Campinas/SP, Brazil, 1991.(in Portuguese)
6. S.D. Conte, H.E Dunsmore, and V.Y. Shen. Software Engineering Metrics and Models. Benjamin/Cummings Publishing Company, Inc., 1986.
7. P.G. Frankl and E.J. Weyuker. An Applicable Family of Data Flow Testing Criteria. IEEE Transactions on Software Engineering, 14(10):1483-1498, October 1988.
8. M. Halstead. Elements of Software Science. North-Holland, 1977.
9. W. Harrison and K.I. Magel. A Complexity Measure Based on Nesting Level. SIGPLAN Notices, 16(3), March 1981.
10. J.W. Laski and B. Korel. A Data Flow Oriented Program Testing Strategy. IEEE Transactions on Software Engineering, 9(3), May 1983.
11. J.C. Maldonado. Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software. Doctorate thesis, DCA/FEE/Unicamp, Brazil 1991.(in Portuguese)
12. N. Malevris, D.F. Yates, and A. Veevers. Predictive Metrics for Likely Feasibility of Program Paths. Information and Software Technology, 32(2):115-119, March 1990.
13. T.A. McCabe. A Complexity Measure. IEEE Transactions on Software Engineering, 2(4):308-320, December 1976.
14. B.A. Nejmeh. NPATH: A Measure of Execution Path Complexity and Its Applications. Comm. of the ACM, 31(2):188-210, February 1988.
15. S.C. Ntafos. A Comparison of Some Structural Testing Strategies. IEEE Transactions on Software Engineering, 14(6): 868-873, June 1988.
16. L.M. Peres. Estratégias de Seleção de Caminhos no Contexto de Critérios Estruturais de Teste. Master's thesis, DCA/FEEC/Unicamp, Brazil, 1999 (in Portuguese).
17. L.M. Peres et alli. Path Selection Strategies in the Context of Software Testing Structural Criteria. 1st IEEE Latin American Test Workshop, Rio de Janeiro, Brazil, 2000.
18. S. Rapps and E.J. Weyuker. Data Flow Analysis Techniques for Test Data Selection. Proc. Int. Conf. Software Engineering, Tokyo, Japan, September 1982.
19. S.R. Vergilio, J.C. Maldonado, and M. Jino. Infeasible Paths within the Context of Data Flow Testing Criteria. Proc of the Sixth International Conference on Software Quality, Ottawa, Canada, October 1996.
20. J. Voas, L. Morell, and K. Liller. Predicting where faults can hide from testing. IEEE Software, pages 41-47, March 1991.
21. W.E. Wong. On Mutation and Data Flow. PhD Thesis, Department of Computer Science, Purdue University, West Lafayette-IN, USA, December 1993
22. D.F. Yates and N. Malevris. Reducing The Effects Of Infeasible Paths In Branch Testing. ACM SIGSOFT Software Engineering Notes, 14(8):48-54, December 1989.