Object-oriented systems testing methodology: an overview