A binary markov process model for random testing

IEEE Transactions on Software Engineering

Volumn 22, Issue 3, 1996, Pages 218-223

  Chen, Sanping ^a   Mills, Shirley ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

Binary markov process; Dependent test runs; Random testing; Software reliability; Statistical testing; Ultra reliability application

Indexed keywords

EID: 0008533746     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.489081     Document Type: Article

References (14)

1. L.W. Crow and N.D. Singpurwalla, "An Empirically Developed Fourier Series Model for Describing Software Failures," IEEE Trans. Reliability, vol. 33, pp. 438-444, 1984.
2. P.A. Currit, S. Faulk, and H.D. Mills, "Certifying the Reliability of Software," IEEE Trans. Software Engineering vol. 12, no. 1, pp. 3-11, 1986.
3. J.W. Duran and S.C. Ntafos, "An Evaluation of Random Testing," IEEE Trans. Software Engineering, vol. 10, no. 4, pp. 438-444, 1984.
4. M. Dyer, "A formal approach to software error removal," J. Systems Software, 1987.
5. W.D. Ehrenberger, "Statistical Testing of Real Time Software," Verification and Validation of Real-Time Software. W.J. Quirk, ed., Berlin: Springer-Verlag, 1985.
6. E. Girard and J.C. Rault, "A Programming Technique for Software Reliability," Conf. Record IEEE Symp. Computer Software Reliability, pp. 40-50, 1973.
7. W.E. Howden, Functional Program Testing and Analysis. New York: McGraw-Hill, 1987.
8. N.G. Leveson, "Software Safety in Embedded Computer Systems," Comm. ACM, vol. 34, no. 2, pp. 34-46, 1991.
9. B. Littlewood and D. Wright, "Stopping Rules for the Operational Testing of Safety-Critical Software," Digest of IEEE 1995 FTCS, 25th Ann. Int'l Symp. Fault-Tolerant Computing, IEEE Computer Society, Silver Spring, Md., pp. 444-451, 1995.
10. G.J. Myers, The Art of Software Testing. New York: Wiley, 1979.
11. J.D. Musa, A. Iannino, and K. Okumoto, Software Reliability: Measurement, Prediction, Application. New York: McGraw-Hill, 1987.
12. D.L. Parnas, A.J. van Schouvan, and S.P. Kwan, "Evaluation of Safety-Critical Software," Comm. ACM, vol. 33, no. 6, pp. 636-648, 1990.
13. R.P.Taylor, S. Mills, S. Chen, and S. El-Saadany, "Reliability Assessment for Safety Critical Systems," Proc. 12th Canadian Nuclear Soc. Conf., pp. 383-388, June 1991.
14. R.A. Thayer, M. Lipow, and E.C. Nelson, Software Reliability, North Holland, 1978.