@TECHREPORT{R-96-13,
NUMBER = {R-96-13},
INSTITUTION = ida,
ADDRESS = idaaddr,
YEAR = {1996},
AUTHOR = {Byers, David},
TITLE = {Static Estimation of Software Testability},
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-96-13+abstr},
ABSTRACT = {Testability measurement of code has been of interest for many years in software development and maintenance. Complexity measures of various kinds have been proposed, but these do not have direct bearing on software testing.

More refined measures, such as dynamic measurement of testability are better, but are expensive. Our goal is to develop a testability metric that can be determined through static analysis. Although not as precise as metrics based on dynamic analysis, it should provide a useful complement.

In this paper we outline our first efforts in that direction. We define a metric that will predict the number of randomly generated test cases that will be required to reach a certain level of branch coverage in structured program code.
}