Reliability of Object Oriented Systems with Markov Transfer of Control

Object oriented systems are considered which can be decomposed into a finite number of objects. These systems are composed at runtime of interacting objects, residing in computer memory and holding the data to be processed. Every object is described in the realm of software by its class. So, at the architectural and language level, Object Oriented Systems are composed of classes, the basic object oriented building blocks. Each object has an associated reliability which gives the probability that the method will operate correctly when called by that object.