文摘
英文文摘
ACKNOWLEDGEMENTS
CHAPTER 1INTRODUCTION
1.1 Motivation
1.2 Problem Statement
1.3 Setbacks
1.4. Backbone of O-O Software testing with C++
1.4.1. Practical Testing Issues of C++
1.4.4.Sata Folw Analysis in the presence of scalar variables, pointer and induction variables
1.5. Proposed Solutions
1.6. Organization of the Thesis
CHAPTER 2 DERIVATION OF WHITE-BOX TEST CASES USING CYCLOMATIC COMPLEXITY AND TEST COVERAGE CRITERIA
2.1. Types of class level testing
2.2.White-Box Testing
2.3 Comparison between White-box and Black-box techniques
2.4. Test Case
2.4.1 Functional Test Case
2.4.2. White-Box Test Case
2.5. Control Flow Graph
2.5.1 An Example C++ Program in the absence of pointer and array variables
2.5.2. An Algorithm for Constructing Control Flow Graph Of A Class
2.5.3. Cyclomatic complexity
2.5.4. Control flow testing criteria
2.6. Class Data Flow Analysis
2.6.1. Data flow testingcriteria
2.6.2. Computing Def-Use Associations in the absence of pointer variables using Reaching Definitions
2.7. Computation of Def-Use Associations in the presence of pointer and array variables using Reaching Definitions
2.7.1 Control Flow Graph In The Presence Of Scalar and Pointer Variables
CHAPTER 3 DYNAMIC PROGRAM SLICING
3.1 Program Dependence Graph
3.2. Dynamic Slicing In The Absence Of Pointers
3.3. Dynamic Slicing In The Presence Of Scalar and C/C++ Pointer Variables
CHAPTER 4 EXPERIMENTAL RESULTS AND ANALYSIS
4.1 Overview of Testing Classes
4.2.Implementation of the Elevator class
4.3. Using Program Slicing to locate a failure
4.4 Related Work
CHAPTER 5 CONCLUSION AND FUTURE WORK
5.1 Conclusion
5.2. Problems Encountered
5.3. Future Work
REFERENCES