Testing criteria for data flow software

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2003-January, Issue , 2003, Pages 332-337

  Nguyen, Thanh Binh ^a   Delaunay, Michel ^a   Robach, Chantal ^a  

^a Grenoble Institute of Technology   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA TRANSFER; SOFTWARE ENGINEERING;

ACCESSIBILITY MEASURES; DATA-FLOW DESIGN; DATA-FLOW SOFTWARE; FAULTS DIAGNOSTICS; FUNCTIONAL MODEL; INFORMATION TRANSFERS; TESTING CRITERIA; TESTING STRATEGIES;

SOFTWARE TESTING;

EID: 15744376575     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2003.01254387     Document Type: Conference Paper

References (19)

1. T. Ball and J. R. Larus. Branch prediction for free. In SIG-PLAN Conference on Programming Language Design and Implementation, pages 300-313, 1993.
2. T. Ball and J. R. Larus. Optimally profiling and tracing programs. ACM Transactions on Programming Languages and Systems, 16(4):1319-1360, 1994.
3. R. A. DeMillo. Mutation analysis as a tool for software quality assurance. In Proc. COMPSAC'80, pages 390-393, Los Alamitos, CA, 1980. IEEE Computer Society Press.
4. W. E. Howden. Methodology for the generation of program test data. IEEE Transactions on Software Engineering, SE-24(5), 1975.
5. J. C. Huang. An approach to program testing. ACM Computing Surveys, 7(3):114-128, September 1975.
6. A. Mathur and W. Wong. A formal evaluation of mutation and data flow based test adequacy criteria. In Proceedings of 1994 ACM Computer Science Conference (CSC'94), 1994.
7. T. Nguyen, M. Delaunay, and C. Robach. Testability analysis for software components. In Proceedings of the International Conference on Software Maintenance, pages 422-429, Montréal, Canada, October 2002.
8. S. C. Ntafos. A comparison of some structural testing strategies. IEEE Transactions on Software Engineering, 14(6):868-874, June 1988.
9. F. Ouabdesselam and I. Parissis. Testing synchronous critical software. In 5th International Symposium on Software Reliability Engineering (ISSRE'94), Monterey, USA, November 1994.
10. F. Ouabdesselam and I. Parissis. Testing techniques for dataflow synchronous programs. In Automated and Algorithmic Debugging, pages 249-260, 1995.
11. S. R. Petrick. A direct determination of the irredundant forms of a boolean function from the set of prime impli-cants. Technical report, U. S. Air Force Cambridge Res. Center, April 1956.
12. S. Rapps and E. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE-11(4):367-375, April 1985.
13. C. Robach, P. Malecha, and G. L. Michel. Cata: A computer-test analysis system. IEEE Design & Test, pages 68-79, May 1984.
14. Y. L. Traon. Analyse conjointe logiciel-matériel de la testa-bilité de systèmes flots de donneés. PhD thesis, Institut National Polytechnique de Grenoble, 1997.
15. Y. L. Traon and C. Robach. From hardware to software testability. In International Test Conference, pages 710-719, Albuquerque, New Mexico, USA, 1995.
16. Y. L. Traon and C. Robach. Testability measurements for data flow design. In International Software Metrics Symposium, pages 91-98, Albuquerque, New Mexico, USA, November 1997.
17. T. Wagner, V. Maverick, S. Graham, and M. Harrison. Accurate static estimators for program optimization. In Proceedings of the Conference on Programming Language Design and Implementation, pages 85-96, Orlando, Florida, 1994.
18. D. W. Wall. Predicting program behavior using real or estimated profiles. In Proceedings of ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, pages 59-70, Toronto, Ontario, Canada, 1991.
19. M. R. Woodward, D. Hedley, and M. A. Hennel. Experience with path analysis and testing of programs. IEEE Transactions on Software Engineering, SE-6:278-286, May 1980.