Testing object‐oriented software: a survey

• 1 September 1996
• journal article
• research article
• Published by Wiley in Software Testing, Verification and Reliability
• Vol. 6  (34) , 125-252
• https://doi.org/10.1002/(sici)1099-1689(199609/12)6:3/4<125::aid-stvr121>3.0.co;2-x

Abstract

Keywords

• ABSTRACT DATA TYPES
• BUILT-IN TEST
• C++
• CLOS
• DESIGN FOR TESTABILITY
• EIFFEL
• FAULT TAXONOMY
• FORMAL METHODS
• FORMAL VERIFICATION
• INTEGRATION TESTING
• MODEL VALIDATION
• OBJECT-ORIENTED ANALYSIS
• OBJECT-ORIENTED DESIGN
• OBJECT-ORIENTED TESTING
• OBJECT-ORIENTED PROGRAMMING
• OBJECTIVE-C
• ORACLES
• REGRESSION TESTING
• SMALLTALK
• SOFTWARE PROCESS