Stopping criteria comparison: Towards high quality behavioral verification

Proceedings - International Symposium on Quality Electronic Design, ISQED

Volumn 2001-January, Issue , 2001, Pages 31-37

  Hajjar, Amjad ^a   Chen, Tom ^a   Munn, Isabelle ^b   Andrews, Anneliese ^b   Bjorkman, Maria ^b  

^a Engineering Research Center and Hydraulics Laboratory   (United States)

^b Colorado State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENCY;

BEHAVIORAL MODEL; HIGH QUALITY; IMPROVING EFFICIENCY; STOPPING CRITERIA; STOPPING RULE; TEST PHASIS; TESTING PATTERN; TESTING STRATEGIES;

BEHAVIORAL RESEARCH;

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

References (19)

1. J. Musa, et al, Software reliability: measurement, prediction, application, McGraw-Hill, 1987.
2. S. Dalai, C. Mallows, "When should one stop testing software", J. Am. Stat. Assn., v 83, 1988.
3. A. van Schouwen, et al, "Evaluation of safety-critical software", Comm. of the ACM, v 33, n 6, 1990.
4. P. Thevenod-Fosse, H. Weselynck, "An investigation of statistical software testing", J. S/W Testing Ver., and Rel., 1991.
5. M. Sahinoglu, "Compound Poisson software reliability model", IEEE Software Eng., v 18, n 7, pp 624-630, 1992.
6. M. Yang, "Comparisons of stopping rules and reliability estimation in software testing", SERC-TR-58-F Report, Purdue University, 1992.
7. D. Hamlet, J. Voas, "Faults on its sleeve: amplifying software reliability testing", S/W Testing and Analysis, 1993.
8. P. Bose, "Architectural timing verification and test for super scalar processors", Fault-Tolerant Computing 1994
9. J. Whittaker, M. Thomason, "A markov chain model for statistical software testing", IEEE Software Eng., v 20, n 10, 1994
10. J. Poore, et al, "Statistical testing based on a software usage model", Software Practice and Experience, 1995.
11. P. Randolph, M. Sahinoglu, "A stopping rule for a compound poisson random variable", Applied Stochastic Models, 1995
12. S. Chen, S. Mills, "A binary markov process model for random testing", Software Eng., v 22, n 3, pp 218-223, 1996
13. W. Howden, "Systems testing and statistical test data coverage", COMPSAC 97, pp 500-505, 1997.
14. B. Littlewood, D. Wright, "Some conservative stopping rules for the operational testing of safety-critical software", IEEE-TSE, v 23, n 11, 1997.
15. M. Sahinoglu, U. Can, "Alternative parameter estimation methods for the compound poisson software reliability model with clustered failure data", S/W Testing Ver. and Rel., 1997.
16. J. Gateley, "Verifying a million gate processor", Integrated System Design pp 19-24, 1997.
17. M. Sahinoglu, et al, "On the efficiency of a compound Poisson stopping rule for mixed strategy testing", IEEE Aerospace, t 7, 1999.
18. T. Chen, et al, "Efficient verification of behavioral models using the sequencial sampling technique", VLSI'99, 1999
19. T. Chen, et al, "Achieving the quality for behavioral models with minimum effort", ISQED'00, March 2000.