Software testing processes as a linear dynamic system

Information Sciences

Volumn 178, Issue 6, 2008, Pages 1558-1597

  Cai, Kai Yuan ^a   Dong, Zhao ^b   Liu, Ke ^b  

^a BEIHANG UNIVERSITY   (China)

^b INSTITUTE OF APPLIED MATHEMATICS   (China)

Author keywords

Linear dynamic system; Software reliability; Software testing

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; SOFTWARE RELIABILITY;

LINEAR DYNAMIC SYSTEM; SOFTWARE FAILURES;

SOFTWARE TESTING;

EID: 38349051315     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2007.10.024     Document Type: Article

References (29)

1. Binder R.V. Testing Object-Oriented Systems: Models, Patterns, and Tools (2000), Addison-Wesley
2. Briand L.C., Wust J., and Lounis H. Replicated case studies for investigating quality factors in object-oriented design. Empirical Software Engineering 6 (2001) 11-58
3. Cai K.Y. Software Defect and Operational Profile Modeling (1998), Kluwer Academic Publishers
4. Cai K.Y. Software reliability experimentation and control. Journal of Computer Science and Technology 21 5 (2006) 697-707
5. Cai K.Y., Dong Z., Liu K., and Bai C.G. A mathematical modeling framework for software reliability testing. International Journal of General Systems 36 4 (2007) 399-463
6. Cai K.Y., Gu B., Hu H., and Li Y.C. Adaptive software testing with fixed-memory feedback. Journal of Systems and Software 80 (2007) 1328-1348
7. Cangussu J.W., DeCarlo R.A., and Mathur A.P. A formal model for the software test process. IEEE Transactions on Software Engineering 27 8 (2002) 782-796
8. Cangussu J.W., DeCarlo R.A., and Mathur A.P. Using sensitivity analysis to validate a state variable model of the software test process. IEEE Transactions on Software Engineering 29 5 (2003) 430-443
9. A. Cater-Steel, M. Toleman, T. Rout, Addressing the changes of replication of surveys in software engineering research, in: Proceedings of the International Symposium on Empirical Software Engineering, 2005, pp. 204-213.
10. Chen C.T. Linear System Theory and Design (1984), CBS College Publishing
11. Dick S., Bethel C.L., and Kandel A. Software-reliability modeling: the case for deterministic behavior. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Human 37 1 (2007) 106-119
12. R. Findeisen, F. Allgower, An introduction to nonlinear model predictive control, http://www.wfw.wtb.tue.nl/benelux2002/nmpc.pdf.
13. Gutjahr W.J. Software dependability evaluation based on Markov usage models. Performance Evaluation 40 (2000) 199-222
14. K. Henningsson, C. Wohlin, Assuring fault classification agreement - an empirical evaluation, in: Proceedings of 2004 International Symposium on Empirical Software Engineering, 2004, pp. 95-104.
15. Lin Huang, Linear Algebra in the Theory of Systems and Control, Science Press, 1984 (Theorem 3.3.5, p. 110).
16. Janes A., Scotto M., Pedrycz W., Russo B., Stefanovic M., and Succi G. Identification of defect-prone classes in telecommunication software systems using design metrics. Information Sciences 176 (2006) 3711-3734
17. Juristo N., Moreno A.M., and Vegas S. Reviewing 25 years of testing technique experiments. Empirical Software Engineering 9 (2004) 7-44
18. Khalil H.K. Nonlinear Systems. third ed. (2001), Prentice-Hall
19. Lee C.H., Kim Y.T., and Park D.H. S-shaped software reliability growth models derived from stochastic differential equations. IIE Transactions 36 (2004) 1193-1199
20. In: Lyu M.R. (Ed). Handbook of Software Reliability Engineering (1996), McGraw-Hill
21. Minc H. Nonnegative Matrices (1988), Wiley, New York pp. 11-19, 24-36
22. Poore J.H., Walton G.H., and Whittaker J.A. A constraint-based approach to the representation of software usage models. Information and Software Technology 42 (2000) 825-833
23. Rothermel G., Elbaum S., Malishevsky A.G., Kallakui P., and Qiu X. On test suite composition and cost-effective regression testing. ACM Transactions on Software Engineering and Methodology 13 3 (2004) 277-331
24. Sjoberg D.I.K., Hannay J.E., Hansen O., Kampenes V.B., Karahasanovic A., Liborg N.K., and Rekdal A.C. A survey of controlled experiments in software engineering. IEEE Transactions on Software Engineering 31 9 (2005) 733-753
25. Whittaker J.A. What is software testing? And why is it so hard?. IEEE Software January/February (2000) 70-79
26. Whittaker J.A., and Poore J.H. Markov analysis of software specifications. ACM Transactions on Software Engineering and Methodology 2 (1993) 93-106
27. Whittaker J.A., and Thomason M.G. A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering 20 10 (1994) 812-824
28. Xie M. Software Reliability Modeling (1991), World Scientific
29. Yamada S., Kimura M., Tanaka H., and Osaki S. Software reliability measurement and assessment with stochastic differential equations. IEICE Transactions, Fundamentals E77-A (1994) 109-115