Study on the Relationship between Software Testability and Reliability

Software testability and reliability are two important quality features.Till now,the intuition about the relationship between testability and reliability still lacks support from solid theory proof and adequate empirical validation.This paper gives a new testability definition from the view of testing effectiveness,brings forward a quantification testability representation model,builds a formal relationship between testability and reliability,and empirically validates the impact of software testability on test effort for certain reliability assurance target.The conclusion suggests that classical black-box based reliability estimation model is blind to certain degree and testability-based model can give more accurate and specific result.