A Model for the Measurement of the Runtime Testability of Component-based Systems