|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Reliability of the Path Analysis Testing Strategy
September 1976 (vol. 2 no. 3)
pp. 208-215
| ASCII Text | x | ||
| W.E. Howden, "Reliability of the Path Analysis Testing Strategy," IEEE Transactions on Software Engineering, vol. 2, no. 3, pp. 208-215, September, 1976. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1976.233816, author = {W.E. Howden}, title = {Reliability of the Path Analysis Testing Strategy}, journal ={IEEE Transactions on Software Engineering}, volume = {2}, number = {3}, issn = {0098-5589}, year = {1976}, pages = {208-215}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233816}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Reliability of the Path Analysis Testing Strategy IS - 3 SN - 0098-5589 SP208 EP215 EPD - 208-215 A1 - W.E. Howden, PY - 1976 KW - symbolic evaluation KW - Path analysis KW - program correctness KW - program testing VL - 2 JA - IEEE Transactions on Software Engineering ER - | |||
A set of test data T for a program P is reliable if it reveals that P contains an error whenever P is incorrect. If a set of tests T is reliable and P produces the correct output for each element of T then P is a correct program. Test data generation strategies are procedures for generating sets of test data. A testing strategy is reliable for a program P if it produces a reliable set of test data for P. It is proved that an effective testing strategy which is reliable for all programs cannot be constructed. A description of the path analysis testing strategy is presented. In the path analysis strategy data are generated which cause different paths in a program to be executed. A method for analyzing the reliability of path testing is introduced. The method is used to characterize certain classes of programs and program errors for which the path analysis strategy is reliable. Examples of published incorrect programs are included.
Index Terms:
symbolic evaluation, Path analysis, program correctness, program testing
Citation:
W.E. Howden, "Reliability of the Path Analysis Testing Strategy," IEEE Transactions on Software Engineering, vol. 2, no. 3, pp. 208-215, Sept. 1976, doi:10.1109/TSE.1976.233816
Usage of this product signifies your acceptance of the Terms of Use.