How much testing is enough? Applying stopping rules to behavioral model testing

Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Volumn , Issue , 1999, Pages 249-256

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

^a Department of Mechanical Engineering   (United States)

^b CASE WESTERN RESERVE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; SYSTEMS ENGINEERING; TESTING;

BEHAVIORAL MODEL; BRANCH COVERAGE; CURRENT TESTING; RANDOM COMBINATION; STOPPING RULE; TESTING TECHNIQUE; VHDL-MODEL;

VECTORS;

EID: 85020590591     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2017.809500     Document Type: Conference Paper

References (21)

1. D. Hamlet, J. Voas, "Faults on its sleeve: Amplifying software reliability testing", Procs. International Symposium on Software Testing and Analysis, Cambridge, MA, August 1993, p. 89-98.
2. S. Chen, S. Mills, "A binarymarkov processmodel for random testing", IEEE Transactions on Software Engineering, vol. 22, no. 3 (March 1996), p. 218-223.
3. S.R. Dallal and C.L. Mallows, "When Should One Stop Testing Software", J. Am. Stat. Assn., 83, 872-879, 1988.
4. M.H. DeGroot, Optimal Statistical Decisions, Mc Graw Hill, New York, 1970.
5. J. Gateley, "Verifying a Million Gate Processor", Integrated System Design, pp.18-24, Oct. 1997.
6. W. E. Howden, "Systems testing and statistical test data coverage", Procs. COMPSAC 97, Washington, D. C., August 1997, p. 500-505.
7. W. E. Howden, "Confidence-based reliability and statistical coverage estimation", Procs. International Sympoisum on Software Reliability Engineering, Computer Society Press, Nov. 1997, p. 283-291.
8. B. Littlewood and DavidWright, "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 usagemodel", 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, 135-143, June 1995.
11. M. Sahinoglu, "The Limit of Sum of MarkovBernoulli Variables in System Reliability Evaluation", IEEE Trans. Reliability, Vol.39, 46-50, April 1990.
12. M. Sahinoglu, "Negative Binomial Density of the Software Failure Count", Proc. Fifth Int. Symp. Computer and Information Sciences(ISCIS), Vol. 1, pp. 231-239, October 1990.
13. M. Sahinoglu, "Compound Poisson Software Reliability Model", IEEE Trans. Software Engineering, Vol. 18, 624-630, July 1992.
14. M. Sahinoglu, Ü . Can, "Alternative Parameter EstimationMethods for the Compound Poisson Software Reliability Model with Clustered Failure Data", Software Testing Verification and Reliability, Vol. 7, No.1, pp. 35-57, March 1997.
15. M. Sahinoglu, A.K. Alkhalidi, (1997) "A Compound Poisson LSD Stopping Rule for Software Reliability", 5th World Meeting of ISBA, Satellite Meeting to ISI-97, Istanbul, August 1997.
16. A. J. van Schouwen, D. L. Parnas, S. P. Kwan, "Evaluation of Safety-critical software", Communications of the ACM, vol. 33, no. 6(June 1990), p. 636-648.
17. P. Thevenod-Fosse, H. Weselynck, "An investigation of statistical software testing", Journal of Software Testing, Verification, Reliability, vol. 1, no. 2(July-Sept. 1991), p. 5-25.
18. P. Thevenod-Fosse, H. Weselynck, Y. Crouzet, "Software statistical testing", In: Predictably Dependable Computing Systems, Eds. B. Randell, J.-C. Lapri e, H. Kopetz, B. Littlewood, Springer Verlag, 1995, p. 253-272.
19. M. Trachtenberg, "A general theory of software reliability modeling", IEEE Transactions on Reliability, vol. 39, no. 1(April1990), p. 92-95.
20. J. A. Whittaker, M. G. Thomason, "A markov chain model for statistical software testing", IEEE Transactions on Software Engineering, vol. 20, no. 10(October 1994), p. 812-824.
21. Mark C.K.Yang, "Comparisons of Stopping Rules and Reliability Estimation in Software Testing", SERCTR-58-F, Purdue University, 1992.