Fundamentals of software engineering
Fundamentals of software engineering
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
IEEE Transactions on Software Engineering
ADTEST: A Test Data Generation Suite for Ada Software Systems
IEEE Transactions on Software Engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
A Test Generation Strategy for Pairwise Testing
IEEE Transactions on Software Engineering
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics
IEEE Transactions on Software Engineering
A Theory of Specification-Based Testing for Object-Oriented Software
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
TATOO: Testing and Analysis Tool for Object- Oriented Software
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
On Using Static Analysis in Distributed System Testing
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
IEEE Transactions on Software Engineering
Probe mechanism for object-oriented software testing
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
The graphical format of TTCN-3 in the context of MSC and UML
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Using automatable proof obligations for component-based design checking
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Hi-index | 0.00 |
The basic features of object-oriented software makes it difficult to apply traditional testing methods in object-oriented systems. Control Flow Graph (CFG) is a well-known model used for identification of independent paths in procedural software. This paper highlights the problem of constructing CFG in object-oriented systems and proposes a new model named Extended Control Flow Graph (ECFG) for code based analysis of Object-Oriented (OO) software. ECFG is a layered CFG where nodes refer to methods rather than statements. A new metrics --Extended Cyclomatic Complexity (E-CC) is developed which is analogous to McCabe's Cyclomatic Complexity (CC) and refers to the number of independent execution paths within the OO software. The different ways in which CFG's of individual methods are connected in an ECFG are presented and formulas for E-CC for these different cases are proposed. Finally we have considered an example in Java and based on its ECFG, applied these cases to arrive at the E-CC of the total system as well as proposed a methodology for calculating the basis set, i.e., the set of independent paths for the OO system that will help in creation of test cases for code testing.