Achieving the quality of verification for behavioral models with minimum effort

Proceedings - International Symposium on Quality Electronic Design, ISQED

Volumn 2000-January, Issue , 2000, Pages 234-239

  Chen, Tom ^a   Von Mayrhauser, Anneliese ^b   Sahinoglu, Mehmet ^c   Hajjar, Amjad ^a   Anderson, Charles ^b  

^a Department of Mechanical Engineering   (United States)

^b Department of Computer Science   (United States)

^c TROY UNIVERSITY   (United States)

Author keywords

Behavioral model verification; Compound poisson; Effort domain; Empirical Bayesian analysis; Negative binomial distribution(NBD); Poisson LSD; Stopping rule; Testing strategy

Indexed keywords

BEHAVIORAL RESEARCH; POISSON DISTRIBUTION;

BEHAVIORAL MODEL; COMPOUND POISSON; EFFORT-DOMAIN; EMPIRICAL BAYESIAN ANALYSIS; NEGATIVE BINOMIAL DISTRIBUTION; POISSON LSD; STOPPING RULE; TESTING STRATEGIES;

STATISTICAL TESTS;

EID: 84950143366     PISSN: 19483287     EISSN: 19483295     Source Type: Conference Proceeding    
DOI: 10.1109/ISQED.2000.838877     Document Type: Conference Paper

References (16)

1. J. Gateley, "Verifying a Million Gate Processor", Integrated System Design, p. 18-24, Oct. 1997.
2. S. Chen, S. Mills, "A binary markov process model for random testing", IEEE Trans. Software Engineering, vol. 22, no. 3, p. 218-223.
3. S. R. Dallal and C. L. Mallows, "When Should One Stop Testing Software", J. Am. Stat. Assn., pp. 872-879, 1988.
4. M. H. DeGroot, Optimal Statistical Decisions, Mc Graw Hill, New York, 1970.
5. D. Hamlet, J. Voas, "Faults on its sleeve: amplifying software reliability testing", Procs. Int'l Sym. Software Testing and Analysis, p. 89-98, 1993.
6. W. E. Howden, "Systems testing and statistical test data coverage", Procs. COMPSAC 97, p. 500-505, 1997.
7. W. E. Howden, "Confidence-based reliability and statistical coverage estimation", Procs. Int'l Sym. Software Rel. Eng., p. 283-291, Nov. 1997.
8. B. Littlewood and David Wright, "Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software", IEEE-TSE, Vol. 23, No. 11, Nov. 1997.
9. J. H. Poore, G. H. Walton, C. J. Trammell, "Statistical testing based on a software usage model", Software Practice and Experience, January 1995.
10. P. Randolph, M. Sahinoglu, "A Stopping Rule for a Compound Poisson Random Variable", Applied Stochastic Models & Data Analysis, Vol. 11, p. 135-143, June 1995.
11. M. Sahinoglu, "Compound Poisson Software Reliability Model", IEEE Trans. Software Engineering, Vol. 18, 624-630, July 1992.
12. A. J. van Schouwen, D. L. Parnas, S. P. Kwan, "Evaluation of Safety-critical software", Comm. ACM, vol. 33, no. 6, p. 636-648.
13. P. Thevenod-Fosse, H. Weselynck, "An investigation of statistical software testing", J. Software Testing, Verification, and Rel., vol. 1, no. 2, p. 5-25.
14. P. Thevenod-Fosse, H. Weselynck, Y. Crouzet, "Software statistical testing", Predictably Dependable Computing Systems, Eds. B. Randell, J.-C. Lapri e, H. Kopetz, B. Littlewood, Springer Verlag, 1995, p. 253-272.
15. J. A. Whittaker, M. G. Thomason, "A markov chain model for statistical software testing", IEEE Trans. Software Eng., vol. 20, no. 10, p. 812-824.
16. Mark C. K. Yang, "Comparisons of Stopping Rules and Reliability Estimation in Software Testing", SERC-TR-58-F, Purdue University, 1992.