Services on Demand
- Cited by SciELO
- Access statistics
- Cited by Google
- Similars in SciELO
- Similars in Google
Print version ISSN 0104-6500
J. Braz. Comp. Soc. vol.12 no.3 Campinas Dec. 2006
Swapna S. GokhaleI; Robert E. MullenII
IDept. of Computer Science & Engineering Univ. of Connecticut , Storrs CT 06269. Phone: 860-486-2772. Fax: 860-486-4817. firstname.lastname@example.org
IINew England Development Center Cisco Systems. 1414 Massachusetts Avenue, Boxborough MA, 01719, Phone: 978-936-1585. email@example.com
This paper presents an empirical comparison of the growth characteristics of four code coverage measures, block, decision, c-use and p-use, as testing is increased. Due to the theoretical foundations underlying the lognormal software reliability growth model, we hypothesize that the growth for each coverage measure is lognormal. Further, since for a given program the breadth and the depth of the different coverage measures are similar, we expect that the parameters of the lognormal coverage growth model for each of the four coverage measures to be similar. We confirm these hypotheses using coverage data generated from extensive testing of an application which has 30 KLOC. We then discuss how the lognormal coverage growth function could be used to control the testing process and to guide decisions about when to stop testing, since it can provide an estimate of the marginal testing effort necessary to achieve a given level of improvement in the coverage.
Keywords: lognormal, code coverage, data flow coverage, software reliability, software testing, testing criteria.
The growing dependence of our society on the services provided by software applications places a high premium on their reliable operation. Ensuring high reliability in the face of increasing size and complexity of these applications, however, is elusive. Software testing is a commonly used approach to reveal defects so as to improve the application reliability. It is natural then that a significant portion of the development costs (approximately one-third to one-half) of a software application are spent in testing. For testing to be cost-effective, it is thus necessary to use a good sample of test cases, one which has a high potential of exposing defects. To guide the selection of such test cases, varied criteria have been proposed. An important class of these criteria is based on code coverage. In the ideal case, the code-based criteria attempt to select test cases that would exercise all the possible paths along the program control flow graph at least once. The code-based criteria are thus often referred to as path-based. Since exhaustive testing to cover all the possible paths is infeasible in practice, all the proposed code-based criteria attempt to approximate path coverage by identifying specific elements (control flow and data flow) of a program that may be relevant for revealing defects, and by requiring that enough paths be executed to cover all such elements. In data-flow based testing, the graph model is annotated with information about how the program variables are defined and used, and a test case is aimed at exercising how a value assigned to a variable is used along different control-flow graphs. Rapps et al. provide an example of a family of code coverage measures based on both control flow and data flow .
Logical relationships among coverage measures have been derived statically in the form of subsumption hierarchies . The dynamic characteristics of code coverage measures which are manifested upon code execution have also been examined by some researchers. These dynamic characteristics include the fault detection effectiveness of the coverage measures    and the relationship between code coverage and defect coverage . The connection between code coverage and reliability has also been explored, in many cases by incorporating the coverage parameter into time-based software reliability growth models   .
Due to the intuitive correlation between code coverage and defect coverage , , ,   , achieving a high level of code coverage is often considered an objective to be pursued towards ensuring high reliability. Further, since the amount of testing depends on the level of coverage that needs to be achieved, code coverage growth may be a useful parameter to control the testing process. This makes it critical to understand and analyze the coverage growth phenomenon and possibly characterize it using a well-known distribution which can then form the basis of projections such as determining the level of testing necessary for achieving a given level of coverage. A few research efforts have studied code coverage growth as a function of testing. Piworaski, Ohba and Caruso  analyze block coverage growth during function test and derive an exponential model isomorphic to the Goel-Okumoto  and Musa's Basic Execution Time  software reliability growth model relating the number of tests to block coverage. Grottke  presents a vector Markov model of code coverage growth and extends it to a model of failure occurrences. The model, however, is not validated with empirical data.
The above efforts did not seek to compare the growth phenomenon of the different coverage measures. Such a comparison is needed to serve three purposes. First, practitioners need a quantitative sense of efforts and benefits to choose among coverage measures and concomitant goals. Second, it can provide a common yardstick enabling translation and interchange of methods and results. Lastly, we wish to understand and model the way in which coverage increases without being tied to a specific measure. Put simply: if achieving 100% coverage is not feasible, understanding the growth curve is essential to select a practical stopping point.
In this paper we study the coverage growth of different data-flow and control-flow coverage measures as a function of testing. We consider four coverage measures, namely, block, decision, computation use (c-use) and predicate use (p-use) . For each one of these measures we hypothesize the coverage growth to be lognormal, due to the theoretical foundations underpinning the lognormal software reliability growth model . To validate this hypothesis we generate empirical coverage data from extensive testing of a software application named SHARPE , which has approximately 30 KLOC. We then fit three functions to this empirical data, namely, exponential, lognormal and log-Poisson and compare the quality of the fits using Akaike Information Criteria (AIC)  and log likelihood (LLH)  . A comparison of the quality of fits according to the above two indicators supports the hypothesis that the coverage growth is lognormal for all the coverage measures considered. Further, the parameters of the fitted lognormal distributions for the coverage measures are close. We then discuss how these observations could be used to control the software testing process. The paper thus takes a significant step in using the context of software execution to link concepts from prior studies of software test sufficiency, test efficiency and reliability.
The layout of the paper is as follows: Section 2 provides some insights behind the lognormal hypothesis and derives the lognormal coverage growth model. Section 3 describes the experimental set up used to obtain empirical coverage measurements from SHARPE. Section 4 presents an analysis of the coverage data, discusses the results of the analysis and its implications for testing. Section 5 provides conclusions and directions for future research.
2. LOGNORMAL HYPOTHESIS
The lognormal distribution is related to the normal or Gaussian distribution: By definition, the logarithm of a lognormal random variable follows the normal distribution . Alternatively, one may say it is the exponentiation of a normal random variable. Plotted on a log-axis the lognormal is symmetric, but on a linear axis the lognormal variate is always positive and may have a long tail to the right, possibly spanning many orders of magnitude. Just as a normal distribution is approached by sums of random variables, the lognormal is approached by products of random variables. A detailed overview of the lognormal distribution and alternative forms of the central limit theorem can be obtained from     and the references in these. In this section we summarize prior evidence for the lognormal distribution of event rates in software as well as its causes. We then extend that research to develop a coverage growth model based on the lognormal and interpret its parameters.
2.1. ORIGIN OF LOGNORMAL EXECUTION RATES
There is increasing evidence that the lognormal distribution can be successfully applied to a number of software reliability engineering problems, particularly those dependent on rates of events. Mullen  suggested the distribution of failure rates of software faults tends to the lognormal because software event rates, including block execution rates, tend to the lognormal. The proposed lognormal failure rate distribution was validated by analyzing careful studies of failure rates of faults previously published by IBM and Boeing. Bishop and Bloomfield  showed block execution rates, as well as fault failure rates, are indeed lognormal in the PREPRO application of the European Space Agency. Mullen and Gokhale   determined that the distribution of occurrence counts of defects encountered during customer usage follows a Discrete Lognormal distribution which can be derived from an underlying Lognormal distribution of rates. Miller  pointed out the mathematical transformation from a rate distribution to first occurrence times (discovery times) is equivalent to the Laplace transform of the rate distribution. Mullen  derived the Lognormal Software Reliability Growth Model by approximating the Laplace transform of the lognormal. This model was validated using Stratus computer data and Musa data.
In short, key elements of the lognormal hypothesis have already been confirmed in studies of over 30 applications ranging from several thousand to several million lines of code, in both test and production environments. We use those results to motivate our derivation of a lognormal coverage growth model.
2.2. LOGNORMAL COVERAGE GROWTH MODEL
In this section we discuss the origin of the lognormal execution rates of code elements. We then formulate the Lognormal coverage growth model, based on the same techniques used to derive Lognormal Software Reliability Growth Model .
The branching nature of software programs tends to generate a lognormal distribution of execution rates of code elements. We first make the argument for block execution rates. The probability of execution flowing to a given block in the code is the product of the probabilities of the conditional branches leading to that block. There are a large number of conditional statements guarding the execution of typical code blocks; therefore there will be a large number of factors multiplied in order to determine the probability. The central limit theorem tells us that under very general conditions the distribution of the products of those factors is asymptotically lognormal. Therefore the distribution of the block execution rates tends to the lognormal. A more specific model of the processes that lead to the lognormal distribution of block execution rates is provided by Bishop and Bloomfield . They also provide reasons and evidence that the distribution remains lognormal even in the presence of loops and other variations in program structure. Similar arguments can be made for the execution rates of the decisions, c-uses, and p-uses.
To say the execution rate distribution is lognormal is to say the logarithms of the execution rates, ln (□), follow the Gaussian or normal probability distribution function (pdf). For (λ > 0)
There are two parameters, the mean of the log rates, μ, and the variance of the log rates, σ. If σ is zero, all blocks have the same execution rate.
Let N be the number of blocks in the application. The probability of a single block of execution rate (per test) λ is not encountered during the first t tests is exp (-λt). The probability that block was executed at least once during the execution of the first t tests is 1 - exp(-λt). The mean contribution of that block to the rate of increasing block coverage of the system at test t is λexp(-λt). If λ is distributed as L(λ|μ, σ2) then M(t), the cumulative mean number of blocks covered (that is, having at least one execution) at the completion of t tests, can be obtained by integrating over blocks of all rates, and is given by
This integral is formally equivalent to the Laplace transform of the lognormal, which has no simple form. Details of how to numerically approximate this function are provided in . In what follows we will refer to this proposed coverage growth model as the lognormal model because it is based on an underlying lognormal distribution of execution rates, although in fact it is the Laplace transform of the lognormal.
An important benchmark is that many coverage measures provide insight into the behavior of program features that relate to defect discovery, but inevitably they all must relate to the same defect discovery rate. Because they cannot differ significantly from one another, we hypothesize that one model will fit all four measures and that their parameters will be close.
2.3. INTERPRETATION OF PARAMETERS
Conceptual advantages of the lognormal include the relative transparency of its parameters and the way it links various observed properties of coverage growth. Here we provide a brief discussion of how the parameter values are related to the characteristics of software applications.
The parameter σ makes the greatest qualitative difference and allows the lognormal its flexibility. The standard deviation of the log rates, σ increases with increasing complexity of the software, in particular with greater depth of conditionals . It determines the ratio of the highest and the lowest coverage rates of the code elements. It thus determines the range over which the rates vary: the higher the σ, the higher the range of variation. If σ is zero, all code elements have the same coverage rate, leading to the exponential model [M75] of software reliability growth. Values from 1 to 3 are more commonly seen. Values of 4 or above are unusual and carry large uncertainties .
The parameter μ has a simple interpretation: if rates are plotted on a log scale, changing μ merely moves the distribution to the right or left. A change in is obtained by changing the coverage rates of all the code elements by a constant factor, for example a system speedup or merely using different units of time. For μ = -3, the median rate is exp (-3) or .05 per test. At that rate almost half the code will not be covered by the first twenty tests (the exact proportions depending on σ). Changing either μ or σ --- both of which relate to ln(rate) --- does not affect the other. However changing either μ or σ affects both the mean and variance of the rates themselves .
The final parameter is N, the total number of code elements, which scales the pdf. We can view N in a formal sense as just another number needed to fit the model, or we can view it more physically as the maximum level of coverage that is feasible. If the coverage is measured in terms of the actual number of code elements, then under the latter interpretation, the maximum value of N would the total number of elements, which can be obtained directly from the code. However, due to the presence of unreachable code, the maximum feasible value of N is likely to be smaller than the maximum number of code elements. Further, in practice, limited testing time and resources will prevent coverage from reaching its maximum feasible value. Coverage may also be measured as a percentage, in which case the maximum value of N would be 100% and the estimate of N will represent the approximate feasible percentage coverage that can be achieved given infinite testing time and resources. In this paper, we use coverage measurements reported as a percentage.
3. EXPERIMENTAL SETUP
In this section we describe the experimental set up used to obtain empirical coverage measurements from the testing of an application termed SHARPE, to validate the lognormal coverage growth model derived in Section 2.2.
3.1. Overview of SHARPE
The Symbolic Hierarchical Automated Reliability and Performance Evaluator (SHARPE) that solves stochastic models was selected as our subject . This application was first developed in 1986 for three user groups: practicing engineers, researchers in performance and reliability modeling, and science and engineering students. SHARPE was chosen as our system-under-test because it is well-known, of manageable size, well instrumented and has a readily available test suite with fairly high coverage. It is important to note that we do not use SHARPE for our modeling and calculations. Instead, we use SHARPE only as the application being studied. In other words, we did not use the output of SHARPE, we measured how its code coverage increased as a function of testing.
SHARPE contains 35,081 lines of C code in 29 files and has a total of 373 functions. Table 1 shows the number of lines of code, blocks, decisions, c-uses and p-uses in each file of SHARPE.
3.2. Testing of SHARPE
We used an existing suite of 735 test cases created by developers and testers for testing modifications and enhancements in previous releases of SHARPE. When SHARPE is exercised once with this test suite, a single realization of code coverage growth is obtained. It is necessary to generate additional coverage growth realizations, since a comparison of models using a single realization may not be conclusive, because, as indicated by Miller , the statistical fluctuations within a single realization would often mask differences among similar models. These additional realizations were obtained by conducting multiple testing runs with the same 735 test cases in each run. In each run a random ordering of the 735 test cases was used. In other words, for each run a test sequence of 735 test cases was generated from the original test suite by sampling without replacement.
3.3. COLLECTING COVERAGE MEASUREMENTS
SHARPE was instrumented with Automatic Test Analyzer for C (ATAC) which is a part of Telcordia Software Visualization and Analysis Tool Suite (TSVAT)  to measure coverage during the execution of the application with test cases. The use of ATAC focuses on three main activities: instrumenting the software, executing software tests, and measuring coverage to determine how well the code has been covered. ATAC can report coverage with respect to the function entry, block, decision, c-uses, and p-uses .
Many other coverage tools which collect data on the variants of these coverage measures   can also be used to provide such data.
We used four coverage measures, namely, block, decision, c-use and p-use. A brief description of each of these coverage measures as used in ATAC is as follows .
Block: A basic block or simply a block is a sequence of instructions, which except for the last instruction is free of branches and function calls. A block may contain more than one statement if no branching occurs between the statements, a statement may contain multiple blocks if branching occurs inside the statement, an expression may contain multiple blocks if branching is implied within the expression. Also, in a basic block only the first statement can be a target of a branch.
Branch or Decision: A branch or a decision consists of a Boolean expression in its control structure.
C-use: A c-use is defined as a path through a program from each point where the value of a variable is defined to its computation use, without the variable being modified along the path.
P-use: A p-use is a path from each point where the valueof a variable is defined to its use in a predicate or a decision, without modifications to the variable along the path.
The execution time of each test case is assumed to be one. Thus the cumulative execution time is measured as the number of test cases executed. The level of coverage achieved for each measure for each file is in Table 2.
3.4. DATA REDUCTION AND AGGREGATION
ATAC reports block (decision, c-use, p-use) coverage in the form of percentage of blocks (decisions, c-uses, p-uses) executed. When the percentage coverage is reported, consecutive blocks (decisions, c-uses, p-uses) are treated to be independent. However, it may be the case that the consecutive blocks (decisions, c-uses, p-uses) are actually dependent.
It would be better for statistical analysis, to know the number of such independent sets or groups for each measure rather than the percentages. In any case, use of percentages (rather than the elements) will vary the absolute log-likelihood, but does not change the maximum likelihood estimates of the key lognormal parameters m and s. Likelihood ratio tests, log-likelihood differences, and AIC-computations are also unchanged by using percentages instead of counts provided the counts are on the order of 100. Standard deviations of the parameters were determined by inverting the Fischer Information Matrix .
We observed from the coverage data, that for each measure, some test cases are redundant and generate no additional coverage beyond the previous ones. A minimized test set which achieves the same level of coverage as the original one can thus be obtained for each measure   . For example, for block coverage less than 300 test cases achieve the same coverage as the entire suite of 735 test cases. Due to the presence of redundant test cases, we analyze the data by dividing the whole execution sequence into 20 segments of proportionately increasing length. This makes it more likely that later buckets have at least some increase in the marginal coverage.
Cumulative coverage for each measure was obtained for each file of SHARPE and for the entire source code, for each run. As an example, for all measures we show the cumulative coverage for a single run, as well as the average over ten runs for the file analyze.c in Tables 3 and 4 respectively. It was observed that the cumulative coverage for individual files for a single run had very few increments, making it difficult to see true form of coverage growth. Therefore, for a single file, average cumulative coverage was computed using the cumulative coverage over ten runs to discover the mean function of coverage growth. This average cumulative coverage was used for analysis. Ten replications were chosen since it was visually observed that the average cumulative coverage computed using the data collected over ten runs is reasonably smooth.
The coverage growth for the four measures for the entire SHARPE for a single run and average over ten runs is shown in Tables 5 and 6 respectively. Similar to Tables 3 and 4, Tables 5 and 6 also show the data divided into twenty segments. For the entire code coverage growth for a single run is also reasonably smooth. For the entire code, analysis was thus conducted using the coverage growth obtained from a single run and the average over ten runs.
4. ANALYSIS AND DISCUSSION
The data analysis is conducted in three parts, as follows: (a) Coverage growth for each measure for a single run and average over ten runs for a single file, namely, analyze.c, (b) Coverage growth for each measure for a single run and average over ten runs for the entire SHARPE application, (c) Comparative analysis of the coverage growth for each measure for average of ten sequences for individual files.
We will consider data sufficiency, run-to-run variation and the quality of the fits using log-likelihood (LLH), AIC and charts. We consider two alternative models, namely, the exponential model and the log-Poisson model. For the exponential model [M75], all blocks have identical execution rates, therefore the LLH is the same as the lognormal with σ=0.0. For the log-Poisson (LP) model, we used the function .
to determine the MLE estimates of the parameters a and b and use the associated LLH value.
The Akaike Information Criteria (AIC) can be computed for each model as follows :
The AIC is similar to a likelihood ratio test. It penalizes the model with more parameters, in this case the lognormal. The model with a lower AIC value is better. Two units of AIC is significant, four very significant .
4.1. Analysis of analyze.c
The coverage growth of a single sequence and average over ten sequences for the file analyze.c are reported in Tables 3 and 4 respectively. An examination of the data in these tables provides some indication of how a particular replication differs from the overall average. To determine the average of all ten replications, we sum the coverage of each run; determine the averages and the MLE fits of the models. The parameters of the LN are provided in Tables 7 and 8. Figure 1 shows the average coverage and the three MLE fits for block, decision, c-use and p-use coverage for the file analyze.c. It is shown in a linear form to illustrate the ability of the lognormal to fit both early and late data. Visually the lognormal is a better fit.
To form an objective judgment, we examined the log-likelihood of the data being generated by the three models. The LLH values reported in Tables 7 and 8 (for a single sequence and average over ten sequences respectively) indicate that the exponential model has far less likelihood of generating the observed data, than either the lognormal or the log-Poisson. Hence we will not analyze the exponential model any further.
Next we compare the log-Poisson and lognormal models using the AIC. The AIC values of analyze.c reported in Tables 7 and 8 (for a single sequence and average over ten sequences respectively) indicate that the lognormal can give the best fit for a single file, at least in this case when averaged over ten sequences. The parameters fitted to a single run, especially σ, can vary widely from the average; indeed the AIC for the selected single run chose LP as a significantly better fit to the p-use data. The average growth is more likely to be generated by the lognormal than the log-Poisson for each coverage measure, and very significantly so for three.
4.2. ANALYSIS OF ENTIRE APPLICATION
Because there is more activity (more increments) when summing coverage over the entire application, even coverage growth obtained from a single run provide sufficient data to constitute significant evidence. The LLH values for single runs in Table 9 show that the exponential model is a much poorer fit. The LLH are closer for LN and LP, so we use the AIC for comparison. For each measure the coverage growth is significantly better modeled by the lognormal even for the single sequence case.
To combine the ten replications of the whole, we formed and fitted their total in Table 10. With ten times the data, the uncertainty of s is reduced to 0.17 or less. We find all four coverage measures have values of σ that are within 0.17 of 2.30. The similarity of the marginal coverage growth curves in Figure 2 reflects the closeness of σ values.
The advantage of the lognormal is most visible in Figure 2 which shows marginal (i.e. incremental) coverage per test for the four measures on a log-log scale. The fitted lines were generated from the parameters in Table 10. Ten replications were used to determine the standard deviation of the sample mean at each of the 20 points. For each coverage measure the data falls within one standard deviation of the lognormal fit over half the time, as expected.
4.3. Analysis of individual files
As noted, in individual files there were considerably fewer increments (from 3 to 15) than for the entire application. This implies that there were intervals where no test caused any execution within a specific file. We saw the consequences in case of analyze.c in Table 3. analyze.c was not atypical, but its coverage growth appeared somewhat less erratic than most files. Overall it is not useful to study coverage growth in single files, unless we replicate test realizations. Thus to discover the mean function for other files, we combine ten test realizations, as we did in analyze.c.
Table 11 provides the AIC advantage to the LN for each file for each coverage measure. For block, decision and c-uses, one or two are significantly more likely to be generated by the LP and 23 or more by the LN. Three or four others are inconclusive. For p-uses, although only debug.c seemed to fit the LP better, there were 12 that were equally likely to derive from the LP as the LN. As with SHARPE taken as a whole, we find the AIC advantage to the LN is largest for block coverage, then less for c-use, decision, and p-use in that order. The same ranking applies if we consider either the mean or median of the AIC advantage over all 29 files.
Tables 12 and 13 summarize the mean and the standard deviation of s and for each file for each measure. The relative similarity of the four s values is displayed in Figure 3, in which the files are ordered by s of block coverage. We see the spread widening as s exceeds 2.0, and becoming very erratic above 4.0. The mean value of a LN distribution can be computed as exp(μ+σ2/2). This must approximate the initial values of the total rate. Because the coverage measures initially grow at similar rates, we expect that these also will be very similar among the measures. We compare those in Figure 4. Again we find similarity among the values, but the greatest divergence is found among the files with large values of σ.
Bishop and Bloomfield  observed and explained a rough relationship between program size and the lognormal σ. The depth of conditionals is proportional to the log of the program size, and σ, the spread in the rates, is proportional to the square root of that. This relationship seems to imply that the elements of the different coverage measures exist at similar logical (or conditional depth) in the program. That is, the depth of a decision is nearly the same as the depth of the block it guards. Furthermore, the function will not vary much for files whose lengths barely range over a factor of ten. We found that the individual SHARPE files are the smallest studied to-date, and generally have σ values lower than those seen before, and lower than those of SHARPE as a whole. As seen already, some of the files were not convincingly fit by the lognormal and others yielded either high or erratic values of σ.
Figure 5 displays the relation between all four σ values and file size in LOC, for this application. Visually there is quite a bit of scatter, in particular due to the four files with σ > 4 and the largest file, which happens to have a low σ value. We find that for these 29 individual files there is only a weak dependence of σ on code size. The R-squared of a simple linear trend is less than .07 in every case. We interpret this as additional evidence that the conditions leading to the lognormal are not always present in single programs or small files. On the other hand, the behavior of SHAPE as a whole and many of its files are certainly fit by the lognormal. The depth of conditionals in files with fewer than 2000 LOC are evidently too shallow to consistently approximate the conditions of the Central Limit Theorem and therefore may not always exhibit the lognormal. Above that size, and certainly with replication, the lognormal is generally observed
4.4. IMPLICATIONS FOR TESTING
One of our objectives was to provide a quantitative feel for the similarities and differences among the growth characteristics of coverage measures. For this application, the number of code elements (blocks, decisions, etc) differed by approximately a factor of three, with the most being p-uses and the least being decisions. The test suite used provided coverage exceeding 90% for blocks and decisions, but only close to three-quarters or two-thirds coverage for c-use and p-use respectively. It is unclear whether the lower c-use and p-use coverage is due to their being "more numerous, demanding and thorough" or merely "including infeasible cases".
With few exceptions these orderings, if not the exact ratios, held for the individual files as well. Because the growth curves follow from lognormal behavior seen in other applications, as well as in files within this application, we believe our results are of general interest.
Our results confirming lognormal coverage growth together with the proportionality proposed by Bishop and Bloomfield  allow us to establish an important connection between a dynamic phenomenon which is manifested through code execution (namely, code coverage growth) and the static structure of the code. This connection can be exploited to estimate σ of the lognormal coverage growth model by examining static aspects of the code such as its size or logical depth. Further, the parameter μ of the lognormal, which is a location parameter in the corresponding reliability growth model, is here a measure of individual test efficiency. As such an approximate estimate of μ may be obtained from previous projects by the same team. Finally, in a reliability growth model a third parameter, N, represents the ultimate number of defects and must be estimated - in fact this is the key purpose of such a model.
Since there is no a priori limit on the number of defects, the error in the estimated value of N may be quite large. But in the case of code coverage the total number of code elements provides a known upper bound. As indicated in Section 2.3, in the coverage growth model, the estimated value of N will represent the coverage that can be feasibly achieved, given infinite testing time and resources. This estimated value of N may fall short of the upper bound by the number of unreachable elements, i.e. those that cannot be executed.
Referring to Table 6 and Figure 2 it can be observed that the coverage for all the four measures was increasing with additional testing, right up to the last test interval. Although the coverage values at the end of the last interval represent what can be achieved with our given test suite, this implies that additional tests are likely to increase the coverage further, to a point where all the feasible code is covered. The estimates of N obtained through fitting the lognormal model can then provide a projection of the level of feasible coverage. The values of N in Table 10 estimate approximately 100% feasible coverage for both block and decision coverage measures. The other two measures, however, are converging on lower values, namely, 78.67% for p-use coverage and 82.8% for c-use coverage. It is important to note that the model does not assume that achieving 100% coverage is feasible. The fit is based on the shape of the growth curve, not on an expectation that it will reach 100%..
A significant outcome of these results is that approximate estimates of the parameters describing coverage growth can be obtained a priori, even before testing commences. This advance knowledge can be used to control the testing process or to decide a specific testing strategy by enabling projections regarding the amount of testing necessary to achieve a certain level of coverage. For example, if over 50% of the coverage can be gained by executing only a randomized 10% of the test cases, it suggests the strategy of initially testing a new product by rapidly interleaving truncated test cycles with periods of defect reproduction, debug, and fix.
The parameter estimates obtained a priori can also be used to estimate the marginal effort needed to achieve a certain improvement in coverage. Such marginal effort is a function of of the lognormal because the shape of the growth curve depends on this parameter. For the sake of illustration, the relative testing effort necessary to improve coverage from 75% to 90% (95% and 99%) for different values of σ is tabulated in Table 14. In each row the effort to achieve 75% coverage has been normalized to unity in order to remove dependencies on other characteristics. Referring to the table, it can be observed that for σ = 0 the number of tests necessary to cover 99% of the code is double the number required to cover 90%.. A zero value of σ corresponds to a the easiest case, but an uncommon one. For realistic values of σ, the proportion of additional tests needed for this additional percentage coverage is a sensitive function of σ and increases rapidly. Finally, since the value of σ is proportional to a function of the size or the logical depth of the program , practical coverage goals can be established in advance, independent of problem domain.
5. CONCLUSIONS AND FUTURE RESEARCH
In this paper we study the growth characteristics of four coverage measures, namely, block, decision, c-use and p-use. We hypothesize and empirically establish that the coverage growth for each one of the coverage types can be derived from a lognormal distribution. In addition, we also confirm the hypothesis that the parameters of the lognormal distribution for each one of the coverage types are close. By using randomized repetitive test sequences we empirically and quantitatively unify concepts from software test sufficiency, test efficiency and reliability growth. We then discuss how the lognormal coverage growth model could be used to guide and control the testing process by providing estimates of marginal testing effort to achieve different degrees of coverage improvements.
There are several related questions that provide opportunities for further research. What would be the impact of generating test suites by randomly sampling test suites with replacement, instead of without replacement as used in this paper? Directly measuring the execution of the code elements (as was done by ), determining whether that distribution is lognormal as expected, and then comparing those parameters to the ones obtained from code coverage growth data would provide a useful cross-check. The three-way relationship between code coverage growth, test-count, and test execution time needs to be established. A related opportunity is the further exploration of how the size of programs (measured in various ways) affects the parameters of the lognormal for each coverage measure. Given that, it should be possible to do predictions based on a combination of early test experience with prior static information bounding lognormal σ,μ , and the number of code elements.
The techniques used in this paper, particularly that of measuring coverage achieved by randomized sequences of tests, could well be used to determine the practical limits on the accuracy of coverage and defect predictions.
We thank Dr. Bob Horgan of Telcordia Technologies for giving us access to ATAC. We thank Prof. Kishor Trivedi of Duke University for the source code of SHARPE, and Dr. Robin Sahner for the SHARPE test suite. We thank Cisco management, especially Tricia Baker and John Intintolo, for their encouragement. The research at Univ. of Connecticut was supported in part by a Large Grant from the Univ. of Connecticut Research Foundation and in part by a CAREER award (#CNS-0643971) from the National Science Foundation.
 J. Aitchison and J.A.C. Brown, The Lognormal Distribution, Cambridge University Press, NY, 1969. [ Links ]
 H. Akaike, Prediction and Entropy, MRC Technical Summary Report #2397, NTIS, Springfield, VA, 1982. [ Links ]
 P. Bishop and R. Bloomfield, Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. In Proceedings of International. Symposium on Software Reliability Engineering, pages 237-245, 2003. [ Links ]
 L. Briand and D. Pfahl, Using simulation for assessing the real impact of test coverage on defect coverage, IEEE Transactions on Reliability, 49(1): 60-70, 2000. [ Links ]
 M. H. Chen, M. R. Lyu and W. E. Wong, Effect of code coverage on software reliability measurement, IEEE Transactions on Reliability, 50(2): 165-170, 2001. [ Links ]
 L. Clarke, A. Podgurski, D. J. Richardson and S. J. Zeil, A formal evaluation of data flow path selection criteria, IEEE Transactions on Software Engineering, 15(11): 1318-1332, 1989. [ Links ]
 E.L. Crow and K. Shimizu, ed., Lognormal Distributions: Theory and Applications, Marcel Dekker, NY, 1988. [ Links ]
 S. R. Dalal, J. R. Horgan and J. R. Kettenring, Reliable software and communications: Software quality, reliability and safety. In Proceedings of International. Conference on Software Engineering, pages 425-435, 1993. [ Links ]
 E. Diaz, J. Tuya and R. Blanco, A modular tool for automated coverage in software testing. In Proceedings of Eleventh Annual International Workshop on Software Technology and Engineering Practice, pages 241-246, 2003. [ Links ]
 P. Frankl and P. J. Weiss, An experimental comparison of the effectiveness of branch testing and data flow testing, IEEE Transactions on Software Engineering, 19(8): 747-787, 1993. [ Links ]
 A. L. Goel and K. Okumoto, Time-dependent error detection rate models for software reliability and other performance measures, IEEE Transactions on Reliability, R-28(3): 206-211, 1979. [ Links ]
 S. Gokhale and R. Mullen, From test count to code coverage using the Lognormal. In Proceedings of International Symposium on Software Reliability Engineering, pages 295-395, 2004. [ Links ]
 S. Gokhale and K. S. Trivedi, A time/structure based software reliability model, Annals of Software Engineering, 8: 85-121, 1999. [ Links ]
 M. Grottke, A vector Markov model for structural coverage growth and number of failure occurrences. In Proceedings of International Symposium on Software Reliability Engineering, pages 304-315, 2002. [ Links ]
 H. Hirose, Estimation of threshold stress in accelerated life-testing, IEEE Transactions on Reliability, 42(4): 650-657, 1993. [ Links ]
 M. Hutchings, T. Goradia and T. Ostrand, Experiments on the effectiveness of control-flow and data-flow based test adequacy criteria. In Proceedings of International Conference on Software Engineering, pages 191-200, 1994. [ Links ]
 J.R. Horgan and S.A. London , Dataflow Coverage and the C Language. In Proceedings of Fourth International Symposium on Testing, Analysis and Verification, pages 87-97, 1991. [ Links ]
 .L. Johnson, S. Kotz, and N. Balakrishnan, Continuous Univariate Distributions, vol. 1, Wiley, New York, 1994. [ Links ]
 J. A. Jones and M. J. Harrold, Test-suite reduction and prioritization for modified condition/decision coverage, IEEE Transactions. on Software Engineering, 29(3): 195-209, 2003. [ Links ]
 P. A. Keiller and D. R. Miller, On the use and performance of software reliability growth models, Reliability Engineering and Systems Safety, 32: 95-117, 1991. [ Links ]
 M. R. Lyu, J. R. Horgan and S. London , A coverage analysis tool for the effectiveness of software testing, IEEE Transactions on Reliability, 43 (4): 527-535, 1994. [ Links ]
 Y. K. Malaiya, N. Li, J. Beiman and R. Karcich, Software reliability growth with test coverage, IEEE Transactions on Reliability, 51(4): 420-426, 2002. [ Links ]
 Y. Malaiya, N. Li, J. Beiman et al., The relationship between test coverage and reliability, In Proceedings of International Symposium on Software Reliability Engineering, pages 186-195, 1994. [ Links ]
 D.R. Miller, Exponential Order Statistic Models of Software Reliability Growth, NASA Contractor Report 3909, NTIS, Springfield, VA 22161, 1985. [ Links ]
 S. Misra, Evaluating four white-box test coverage methodologies. In Proceedings of IEEE Canadian Conference on Electrical and Computer Engineering, pages 1739-1743, 2003. [ Links ]
 R.E. Mullen, The Lognormal distribution of software failure rates: Application to software reliability growth modeling. In Proceedings of International Symposium on Software Reliability Engineering, pages 134-142, 1998. [ Links ]
 R.E. Mullen, The Lognormal distribution of software failure rates: Origin and evidence. In Proceedings of International Symposium on Software Reliability Engineering, pages 124-133, 1998. [ Links ]
 J. D. Musa, A theory of software reliability and its application, IEEE Transactions on Software Engineering, SE-1(1): 312-317, 1975. [ Links ]
 R. Mullen and S. Gokhale, Software defect rediscoveries: A Discrete Lognormal model. In Proceedings of International Symposium on Software Reliability Engineering, pages 203-212, 2005. [ Links ]
 R. Mullen and S. Gokhale, A Discrete Lognormal model for software defects affecting QoP. In Quality of Protection: Security Measurements and Metrics, D. Gollmann and F. Massacci and A. Yautsiukhin (Eds.), pages 37-48, Advances in Information Security Series, Springer Verlag, 2006. [ Links ]
 W. Nelson, Accelerated Testing, Wiley, New York , 1990. [ Links ]
 P. Netisopakul, L. J. White, and J. Morris, Data coverage testing. In Proceedings of Asia Pacific Software Engineering Conference, pages 465-472, 2002. [ Links ]
 P. Piworaski, M. Ohba and J. Caruso, Coverage measurement experience during functional test. In Proceedings of International Conference on Software Engineering, pages 287-293, 1993. [ Links ]
 S. Rapps and E. J. Weyuker, Selecting test data using data flow information, IEEE Transasctions on Software Engineering, SE-11(4): 367-375, 1985. [ Links ]
 Y. Sakamoto, M. Ishiguro, and G. Kitagawa, Akaike Information Criterion Statistics, D.Reidel, Holland , 1986. [ Links ]
 R. A. Sahner, K. S. Trivedi and A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package, Kluwer Academic Publishers, Boston, 1996. [ Links ]
 S. K. S. Sze and M. R. Lyu, ATACOBOL a COBOL test coverage analysis tool and its applications. In Proceedings of International Symposium on Software Reliability Engineering, pages 327-335, 2000. [ Links ]
 K. S. Trivedi, Probability and Statistics with Reliability, Queuing and Computer Science Applications, John Wiley and Sons, New York , 2001. [ Links ]
 M. Vouk, Using reliability models during testing with non operational profiles. In Proceedings of Second Bellcore/Purdue workshop on Issues in Software Reliability Estimation, pages 103-111, 1992. [ Links ]
 W. E. Wong, J. R. Horgan, S. London and A. P. Mathur, Effect of test set size and block coverage on fault detection effectiveness. In Proceedings of International Symposium on Software Reliability Engineering, pages 230-238, 1994. [ Links ]