Error detection in C++ through dynamic data flow analysis

Software-Concepts and Tools

Volumn 18, Issue 1, 1997, Pages 1-13

  Chen, Tsong Yueh ^a   Low, Chi Keen ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

C++; Dynamic data flow analysis; Object oriented programming; Software testing

Indexed keywords

EID: 0002371769     PISSN: 09458115     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (25)

1. Booch G (1994) Object-Oriented Design with Applications. 2nd Edition, Benjamin / Cummings
2. Booch G, Rumbaugh J (1995) Unified Method for Object-Oriented Development: Documentation Set Rational Software Corporation. Santa Clara, California
3. Chan FT, Chen TY (1987) AIDA - A Dynamic Data Flow Anomaly Detection System for Pascal Programs. Software - Practice and Experience, Vol. 17, 227-239
4. Chen TY, Kao H, Luk MS, Ying WC (1987) COD - A Dynamic Data Flow Analysis System for COBOL. Information and Management, 65-72
5. Chen TY, Low CK (1995) Dynamic Data Flow Analysis for C++. In Proceedings of the 2nd Asia-Pacific Software Engineering Conference, 22-28
6. Chen TY, Poole PC (1988) Dynamic Data Flow Analysis. Information and Software Technology, Vol. 30, 497-505
7. Cox BJ (1986) Object-Oriented Programming. Addison-Wesley
8. Doong RK, Frankl PG (1994) The ASTOOT Approach to Testing Object-Oriented Programs. ACM Transactions on Software Engineering and Methodology, Vol. 3, No. 2, 101-130
9. Harrold MJ, McGregor JD, Fitzpatrick KJ (1992) Incremental Testing of Object-Oriented Class Structures. In Proceedings of the Fourteenth International Conference on Software Engineering, May, 68-80
10. Huang JC (1979) Detection of Data Flow Anomaly through Program Instrumentation. IEEE Transactions on Software Engineering, Vol. 5, 226-236
11. Laski JW, Korel B (1983) A Data Flow Oriented Program Testing Strategy. IEEE Transactions on Software Engineering, Vol. 9, 347-354
12. Leavens, GT (1991) Modular Specification and Verification of Object-oriented Programs. IEEE Software, 72-80
13. Marick B (1995) The Craft of Software Testing: Subsystem Testing including Object Based and Object Oriented Testing. Prentice Hall
14. Osterweil LJ, Fosdick LD (1976) DAVE - A Validation Error Detection and Documentation System for FORTRAN Programs. Software - Practice and Experience, Vol. 6, 473-486
15. Parish AS, Borie RB, Cordes DW (1993) Automated Flow Graph Based Testing of Object-Oriented Software Modules. Journal of Systems and Software, Vol. 23, 95-109
16. Price DA (1985) Program Instrumentation for the Detection of Software Anomalies. M. Sc. thesis, Department of Computer Science, University of Melbourne
17. Price DA, Poole PC (1986) Dynamic Data Flow Analysis - A Tool for Reliability. In Proceedings of the First Australian Software Engineering Conference, 97-100
18. Rapps S, Weyuker EJ (1985) Selecting Test Data Using Data Flow Information. IEEE Transactions on Software Engineering, Vol. 11, 365-375
19. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W (1991) Object-Oriented Systems Analysis. Prentice Hall
20. Stroustrup B (1988) What is Object-Oriented Programming. IEEE Software, Vol. 5, 10-20
21. Stroustrup B (1992) The C++ Programming Language. 2nd Edition. Addison-Wesley
22. Tse TH, Chan FT, Chen HY (1995) An Axiom-Based Test Case Selection Strategy for Object-Oriented Programs. Software Quality and Productivity: Theory, Practice, Education, and Training, Lee M, Barta BZ, Juliff P (eds.), Chapman and Hall, London, 107-114
23. Turner CD, Robson DJ (1993) The State-Based Approach to the Testing of Class-Based Programs. Software Concepts and Tools, Vol. 16, 106-112
24. White I (1994) Rational Rose Essentials: Using the Booch Method. Addison-Wesley, Reading, Massachusetts
25. Wilson C, Osterweil LJ (1982) Omega - A Data Flow Analysis Tool for the C Programming Language. In Proceedings of COMPSAC 82, 9-18