A Study on the Relationship Between Software Priori Knowledge and Test-Based Reliability Assessment

赵亮,王建民,孙家广
DOI: https://doi.org/10.3321/j.issn:0469-5097.2005.z1.109
2005-01-01
Tien Tzu Hsueh Pao/Acta Electronica Sinica
Abstract:Software testing can provide a priori-operation reliability assessment. It is generally accepted that priori knowledge about the software can decrease the number of test cases to achieve certain reliability goal. Several models have been proposed to address this problem. But few empirical works have been done to validate their result. In this paper we refine the definition of software testing system and make a comparison of the input space of specification, implementation and testing, investigate the factors that affect the effectiveness of testing. Then we conduct experiment to validate whether priori knowledge decreases the numbers of test cases to certain reliability goal. Our conclusion is that not priori knowledge but the testability characteristics of certain software determines the number of cases to achieve certain reliability goal. The conclusion helps to understand the impact of software design to testing effectiveness.
What problem does this paper attempt to address?