Efficiently monitoring data-flow test coverage

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 343-352

  Santelices, Raul ^a   Harrold, Mary Jean ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

data flow testing; definition use association; inference; instrumentation; test coverage

Indexed keywords

BRANCH COVERAGE; DATA-FLOW TESTING; DATAFLOW; EMPIRICAL STUDIES; MONITORING ACTIVITIES; NOVEL TECHNIQUES; STRUCTURAL TESTING; TEST CASE; TEST COVERAGE; TESTING STRATEGIES; TESTING TIME;

COMPUTER SOFTWARE; INSTRUMENTS; JAVA PROGRAMMING LANGUAGE; TESTING;

MONITORING;

EID: 77949895199     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321682     Document Type: Conference Paper

References (22)

1. AGRAWAL, H. On slicing programs with jump statements. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation (June 1994), pp. 302-12.
2. AGRAWAL, H. Efficient coverage testing using global dominator graphs. In PASTE '99: Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (September 1999).
3. ARNOLD, M., AND RYDER, B. G. A framework for reducing the cost of instrumented code. In SIGPLAN Conference on Programming Language Design and Implementation (June 2001), pp. 168-179.
4. BALL, T., AND LARUS, J. R. Optimally profiling and tracing programs. In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (New York, NY, USA, 1992), ACM Press, pp. 59-70.
5. BERTOLINO, A. Unconstrained edges and their application to branch analysis and testing of programs. Journal of Systems and Software 20, 2 (Feb. 1993), 125-133.
6. BUCK, B., AND HOLLINGSWORTH, J. K. An API for runtime code patching. The International Journal of High Performance Computing applications 14 (2000), 317-329.
7. FERRANTE, J., OTTENSTEIN, K. J., AND WARREN, J. D. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems 9, 3 (July 1987), 319-349. (Pubitemid 17641083)
8. FRANKL, P., AND WEYUKER, E. J. An applicable family of data flow criteria. IEEE Transactions on Software Engineering 14, 10 (Oct. 1988), 1483-1498.
9. HARROLD, M., AND ROTHERMEL, G. Performing dataflow testing on classes. In Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering (December 1994), pp. 154-163.
10. HARROLD, M. J., AND SOFFA, M. L. Efficient computation of interprocedural definition-use chains. ACM Trans. Program. Lang. Syst. 16, 2 (1994), 175-204.
11. HUTCHINS, M., FOSTER, H., GORADIA, T., AND OSTRAND, T. Experiments on the effectiveness of dataflow-and controlflow-based test adequacy criteria. In Proceedings of the 16th International Conference on Software Engineering (May 1994), pp. 191-200.
12. KAM, J. B., AND ULLMAN, J. D. Global data flow analysis and iterative algorithms. Journal of the ACM 23, 1 (Jan. 1976), 158-171.
13. LASKI, J.W., AND KOREL, B. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering 9, 3 (May 1983), 347-54.
14. MARRÉ, M., AND BERTOLINO, A. Unconstrained duas and their use in achieving all-uses coverage. In ISSTA '96: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis (New York, NY, USA, 1996), ACM Press, pp. 147-157.
15. MARRÉ, M., AND BERTOLINO, A. Using spanning sets for coverage testing. IEEE Transactions on Software Engineering 29, 11 (November 2003), 974-984.
16. MERLO, E. M., AND ANTONIOL, G. A static measure of a subset of intra-procedural data flow testing coverage based on node coverage. In CASCON '99: Proceedings of the 1999 IBM conference of the Centre for Advanced Studies on Collaborative research (November 1999).
17. MISURDA, J., CLAUSE, J., REED, J., CHILDERS, B. R., AND SOFFA, M. L. Demand-driven structural testing with dynamic instrumentation. In International Conference on Software Engineering (May 2005), pp. 156-165.
18. NTAFOS, S. On required elements testing. IEEE Transactions on Software Engineering SE-10 (November 1984), 795-803.
19. PANDE, H. D., LANDI, W. A., AND RYDER, B. G. Interprocedural def-use associations for c systems with single level pointers. IEEE Trans. Softw. Eng. 20, 5 (May 1994), 385-403.
20. SANTELICES, R., SINHA, S., AND HARROLD, M. J. Subsumption of program entities for efficient coverage and monitoring. In SOQUA '06: Proceedings of the 3rd international workshop on Software quality assurance (New York, NY, USA, 2006), ACM Press, pp. 2-5.
21. TIKIR, M., AND HOLLINGSWORTH, J. Efficient instrumentation for code coverage testing. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (July 2002).
22. VALLEE-RAI, R., HENDREN, L., SUNDARESAN, V., LAM, P., GAGNON, E., AND CO, P. Soot - a java optimization framework. In Proceedings of CASCON 1999 (Sept. 1999), pp. 125-135.