Covering code behavior on input validation in functional testing

Information and Software Technology

Volumn 51, Issue 2, 2009, Pages 546-553

  Liu, Hui ^a   Kuan Tan, Hee Beng ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Black box testing; Input validation; Software testing; Test coverage; White box testing

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE SELECTION AND EVALUATION; SPECIFICATIONS; TESTING;

BLACK BOXES; BLACK-BOX TESTING; COVERING CODES; EXISTING METHODS; EXPERIMENTAL STUDIES; EXTERNAL-; FUNCTIONAL TESTING; INPUT VALIDATION; INPUT VALIDATION TESTING; INPUT VALIDATIONS; PATH PARTITIONS; SOFTWARE SYSTEMS; TEST CASES; TEST COVERAGE; TEST INPUTS; TEST SUITES; WHITE-BOX TESTING;

SOFTWARE TESTING;

EID: 56749091982     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2008.07.001     Document Type: Article

References (26)

1. Bazzichi F., and Spadafora I. An automatic generator for compiler testing. IEEE Transactions on Software Engineering SE-8 4 (1982) 343-353
2. Beizer B. Software testing techniques (1990), Van Nostrand Reinhold p. xxvi, 550
3. Bently W.G., and Miller E.F. Ct coverage-initial results. Software Quality Journal 2 1 (1993) 29-47
4. Bueno P.M.S., and Jino M. Automatic test data generation for program paths using genetic algorithms. International Journal of Software Engineering and Knowledge Engineering 12 6 (2002) 691-709
5. C. Cadar, et al., "EXE: Automatically generating inputs of death," Association for Computing Machinery, New York, NY 10036-5701, United States, 2006, pp. 322-335.
6. E.Y.K. Chan, et al., "On the testing of particular input conditions, in: Proceedings of the 28th Annual International Computer Software and Applications Conference, IEEE Comput. Soc., 2004, pp. 318-325.
7. Ferguson R., and Korel B. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology 5 1 (1996) 63-86
8. J.B. Goodenough, S.L. Gerhart, Toward a theory of test data selection, 1975, pp. 493-510.
9. N. Gupta, et al., Automated test data generation using an iterative relaxation method, in: Proceedings of the 6th International Symposium on the Foundations of Software Engineering (FSE-6), ACM, New York, NY, USA, 1998, pp. 231-244.
10. J.H. Hayes, A.J. Offutt, Increased software reliability through input validation analysis and testing, in: Proceedings of the 10th International Symposium on Software Reliability Engineering, Institute of Electrical and Electronics Engineers Computer Society, Los Alamitos, CA, USA, 1999, pp. 199-209.
11. Hayes J.H., and Offutt J. Input validation analysis and testing. Empirical Software Engineering 11 4 (2006) 493-522
12. JABA, Java Architecture for Bytecode Analysis, , 2006.
13. Jorgensen P. Software testing: a craftman's approach (2002), CRC Press p. 359
14. JSlice, Dynamic slicing tool for Java programs, , 2006.
15. Kaffe, Java virtual machine, , 2008.
16. H. Liu, H.B.K. Tan, Automated verification and test case generation for input validation, in: Proceedings of 1st Workshop on Automation of Software Test (Co-located with ICSE 2006), 2006, pp. 29-35.
17. H. Liu, H.B.K. Tan, Testing of input validation in web applications through automated model recovery, Accepted for publication in the Journal of Systems and Software, Special Issue on Model-Based Software Testing, 2007.
18. Marick B. The craft of software testing: subsystem testing including object-based and object-oriented testing (1995), PTR Prentice Hall p. xxvii, 553
19. A. Memon, et al., DART: a framework for regression testing nightly/daily builds of GUI applications, in: Proceedings International Conference on Software Maintenance, IEEE Comput. Soc., 2003, pp. 410-419.
20. Memon A.M., and Xie Q. Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. IEEE Transactions on Software Engineering 31 10 (2005) 884-896
21. MSDN, Design Guidelines for Secure Web Application, , 2008.
22. Myers G.J., et al. The art of software testing (2004), John Wiley and Sons p. xv, 234
23. J. Offutt, et al., Bypass testing of Web applications, in: Proceedings of the 15th International Symposium on Software Reliability Engineering, IEEE Comput. Soc., 2004, pp. 187-197.
24. Sinha S., et al. Interprocedural control dependence. ACM Transactions on Software Engineering and Methodology 10 2 (2001) 209-254
25. Sourceforge, Open source website, .
26. A.H. Watson, T.J. McCabe, Structured testing: A software testing methodology using the cyclomatic complexity metric, NIST-SP-500-235, National Institute of Standards and Technology, 1996.