Application of statistical science to testing and evaluating software intensive systems

Proceedings - Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy, SESD 1999 - Co-Located With ICSE 1999

Volumn , Issue , 1999, Pages 40-56

  Poore, Jesse H ^a   Trammell, Carmen J ^b  

^a Harlan   (Switzerland)

^b CTI PET Systems Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; PROBLEM SOLVING; SOFTWARE DESIGN; STATISTICS;

CONFIGURATION CONTROL; DEFENSE SYSTEM; EFFECTIVE TESTING; EVALUATING SOFTWARE; STATISTICAL PRINCIPLES; STATISTICAL TESTING; TESTING STRATEGIES;

SOFTWARE TESTING;

EID: 84994094492     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SESD.1999.781111     Document Type: Conference Paper

References (25)

1. M.S. Alam, et. Al., "Assessing Software Reliability Performance Under Highly Critical But Infrequent Event Occurrences", in review, July, 1997.
2. Ash, R. Information Theory, Wiley, 1965.
3. V. Basili, et. Al, "The Empirical Investigation of Perspective-Based Reading", Empirical Software Engineering, Vol. 1, 1996, pp. 133-164.
4. D.M. Cohen, "The AETG System: An Approach to Testing Based on Combinatorial Design", IEEE Transactions on Software Engineering, Vol. 23, No. 7, July, 1997, pp. 437-444.
5. S. Dalal and C. Mallows, "When Should One Stop Testing Software?", JASA, Vol. 83, No. 403, September, 1988.
6. W. Ehrlich, et. Al., "Application of Accelerated Testing Methods for Software Reliability Assessment", in review, June, 1997.
7. L. Ekroot and T. M. Cover, "The Entropy of Markov Trajectories", IEEE Transactions on Information Theory, Vol. 39, No. 4, July 1993, pp. 1418-1421.
8. Gibbons, A. M., Algorithmic Graph Theory, Cambridge University Press, 1985.
9. Gill, P. E., W. Murray and M. H. Wright, Practical Optimization, Academic Press, 1981.
10. W.J. Gutjahr, "Importance Sampling of Test Cases in Markovian Software Usage Models", Probability in the Engineering and Informational Sciences, Vol. 11, 1997, pp. 19-36.
11. Kemeny, J. G. And J. L. Snell, Finite Markov Chains, D. Van Nostrand Company, Inc., 1960.
12. Kullback, S., Information Theory and Statistics, John Wiley and Sons, New York, 1958.
13. Lyu, M. R., Handbook of Software Reliability Engineering, McGraw-Hill, 1995.
14. K. Miller, et. Al., "Estimating the Probability of Failure When Testing Reveals No Failures", IEEE Transactions on Software Engineering, January, 1992.
15. V.N. Nair, et. Al., "Statistical Issues in Assessing Software Testing Strategies", Statistica Sinica, January, 1998.
16. R. Oshana, "Software Testing With Statistical Usage Based Models", Embedded Systems Programming, Vol. 10, No. 1, January, 1997, pp. 40-55.
17. D. Parnas, "An Evaluation of Safety Critical Software", CACM, Vol. 23, No. 6, June, 1990, pp. 636-648.
18. Poore, J.H. And C.J. Trammell, Cleanroom Software Engineering: A Reader, Blackwell Publishers, 1996.
19. Prowell, S. J., Sequence-Based Software Specification, Ph.D. Dissertation, University of Tennessee, Knoxville, TN, 1996.
20. S.J. Prowell and J. H. Poore, "Sequence-based Specification of Deterministic Systems", Software-Practice and Experience, Vol 28(3), March, 1998, pp. 329-344.
21. S.A. Sherer, "Statistical Software Testing Using Economic Exposure Assessments", Software Engineering Journal, September, 1996, pp. 293-297.
22. G.H. Walton, J. H. Poore and C. J. Trammell, "Statistical Testing of Software Based on a Usage Model", Software Practice & Experience, Vol. 25, No. 1, January, 1995, pp. 97-108.
23. Walton, G. H., Generating Transition Probabilities for Markov Chain Usage Models, Ph.D. Dissertation, University of Tennessee, Knoxville, TN, 1995.
24. J.A. Whittaker and J. H. Poore, "Markov Analysis of Software Specifications", ACMTransactions on Software Engineering and Methodology, Vol. 2, No. 1, January, 1993, pp. 93-106.
25. J.A. Whittaker and M. G. Thomason, "A Markov Chain-Model for Statistical Software Testing", IEEE Transactions on Software Engineering, Vol. 30, No. 10, October, 1994, pp. 812-824.