Art of Software Testing
ICSE '81 Proceedings of the 5th international conference on Software engineering
Testing for software reliability
Proceedings of the international conference on Reliable software
Toward models for probabilistic program correctness
Proceedings of the software quality assurance workshop on Functional and performance issues
Recent advances in software measurement (abstract and references for talk)
ICSE '90 Proceedings of the 12th international conference on Software engineering
A time/structure based software reliability model
Annals of Software Engineering
A binomial software reliability model based on coverage of structural testing criteria
Empirical Software Engineering
Hi-index | 0.00 |
A large, commercially developed FORTRAN program was modified to produce structural coverage metrics. The modified program was executed on a set of functionally generated acceptance tests and a large sample of operational usage cases. The resulting structural coverage metrics are combined with fault and error data to evaluate structural coverage in the SEL environment.We can show that in this environment the functionally generated tests seem to be a good approximation of operational use. The relative proportions of the exercised statement sub-classes (executable, assignment, CALL, DO, IF, READ, WRITE) changes as the structural coverage of the program increases. We also propose a method for evaluating if two sets of input data exercise a program in a similar manner.We also provide evidence that implies that in this environment, faults revealed in a procedure are independent of the number of times the procedure is executed and that it may be reasonable to use procedure coverage in software models that use statement coverage. Finally, the evidence suggests that it may be possible to use structural coverage to aid in the management of the acceptance test process.