Adaptive software testing with fixed-memory feedback

Journal of Systems and Software

Volumn 80, Issue 8, 2007, Pages 1328-1348

  Cai, Kai Yuan ^a   Gu, Bo ^a   Hu, Hai ^a   Li, Yong Chao ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Adaptive control; Adaptive testing; Controlled Markov chain; Partition testing; Random testing; Software cybernetics; Software testing; Space program

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; COMPUTATIONAL COMPLEXITY; CYBERNETICS; MARKOV PROCESSES; PARAMETER ESTIMATION; STORAGE ALLOCATION (COMPUTER);

ADAPTIVE TESTING; CONTROLLED MARKOV CHAIN; PARTITION TESTING]; RANDOM TESTING; SPACE PROGRAMS;

SOFTWARE TESTING;

EID: 34248547073     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.11.008     Document Type: Article

References (31)

1. Cai K.Y. Software Defect and Operational Profile Modeling (1998), Kluwer Academic Publishers
2. Cai K.Y. Towards a conceptual framework of software run reliability modeling. Information Sciences 126 (2000) 137-163
3. Cai K.Y. Optimal software testing and adaptive software testing in the context of software cybernetics. Information and Software Technology 44 (2002) 841-855
4. Cai K.Y., Cangussu J.W., DeCarlo R.A., and Mathur A.P. An overview of software cybernetics. Proc. the 11th International Workshop on Software Technology and Engineering Practice (2003), IEEE Computer Society Press 77-86
5. Cai K.Y., Li Y.C., and Ning W.Y. Optimal software testing in the setting of controlled Markov chains. European Journal of Operational Research 162 2 (2005) 552-579
6. Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M., 2005. Model-Based testing of object-oriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, May .
7. Cangussu, J.W., DeCarlo, R.A., Mathur, A.P., 2001. Feedback Control of the software test process through measurements of software reliability. In: Proc. 12th International Symposium on Software Reliability Engineering.
8. Cangussu J.W., DeCarlo R.A., and Mathur A.P. A formal model of the software test process. IEEE Transactions on Software Engineering 28 8 (2002) 782-796
9. Chen T.Y., and Yu Y.T. On the expected number of failures detected by subdomain testing and random testing. IEEE Transactions on Software Engineering 22 2 (1996) 109-119
10. Chen T.Y., Tse T.H., and Yu Y.T. Proportional sampling strategy: a compendium and some insights. Journal of Systems and Software 58 (2001) 65-81
11. DeMillo R.A., Lipton R.J., and Sayward F.G. Hints on test data selection: help for the practicing programmer. IEEE Computer 11 (1978) 34-41
12. Duran J.E., and Ntafos S.C. An evaluation of random testing. IEEE Transactions on Software Engineering SE-10 4 (1984) 438-444
13. Elbaum S., Malishevsky A.G., and Rothermel G. Test case prioritization: a family of empirical studies. IEEE Transactions on Software Engineering 28 2 (2002) 159-182
14. Gutjahr W.J. Partition testing vs. random testing: the influence of uncertainty. IEEE Transactions on Software Engineering 25 5 (1999) 661-674
15. Hamlet D., and Taylor R. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering 16 12 (1990) 1402-1411
16. Hernandez-Lerma O. Adaptive Markov Control Processes (1989), Springer-Verlag
17. Jin T., Jiang C.H., Hu D.B., Bai G.C., and Cai K.Y. An approach for detecting correlated software defects. Journal of Software 16 1 (2005) 17-28
18. In: Lyu M.R. (Ed). Handbook of Software Reliability Engineering (1996), McGraw-Hill
19. Malaiya, Y.K., 1995. Antirandom testing: getting the most out of black-box testing. In: Proc. 6th International Symposium on Software Reliability Engineering, pp. 86-95.
20. Myers G.J. The Art of Software Testing (1979), John Wiley & Sons
21. Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W., 2004. Optimal Strategies for Testing Nondeterministic Systems. In: Proc. the International Symposium on Software Testing and Analysis.
22. Ntafos, S., 1998. On Random and Partition Testing. In: Proc. International Symposium on Software Testing and Assessment, pp. 42-48.
23. Pacheco, C., Ernst, M.D., 2005. Eclat: automatic generation and classification of test inputs. In: Proc. the 19th European Conference on Object-Oriented Programming.
24. Rothermel G., Untch R.H., Chu C., and Harrold M.J. Prioritizing test cases for regression testing. IEEE Transactions on Software Engineering 27 10 (2001) 929-948
25. Veanes, M., Campbell, C., Schulte, W., Kohli, P., 2005. On-the-fly testing of reactive systems. Technical Report MSR-TR-2005-05, Microsoft Research, January.
26. Vokolos, F.I., Frankl, P.G., 1998. Empirical evaluation of the textual differencing regression testing technique. In: Proc. the International Conference on Software Maintenance, November, pp. 44-53.
27. Weyuker E.J., and Jeng B. Analyzing partition testing strategies. IEEE Transactions on Software Engineering 17 7 (1991) 703-711
28. Whittaker J.A., and Poore J.H. Markov analysis of software specifications. ACM Transactions on Software Engineering and Methodology 2 1 (1993) 93-106
29. Xie M. Software Reliability Modeling (1991), World Scientific
30. Xie, T., Notkin, D., 2003. Tool-assisted unit-test generation and selection based on operational abstractions. In: Proc. the 18th Annual International Conference on Automated Software Engineering, pp. 40-48.
31. Yin, H., Lebne-Dengel, Z., Malaiya, Y.K., 1997. Automatic test generation using checkpoint encoding and antirandom testing. In: Proc. 8th International Symposium on Software Reliability Engineering, pp. 84-94.