Security assurance with metamorphic testing and genetic algorithm

Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2010

Volumn , Issue , 2010, Pages 397-401

  Dong, Guowei ^a   Wu, Shizhong ^a   Wang, Guisi ^a   Guo, Tao ^a   Huang, Yonggang ^a  

^a CHINA INFORMATION TECHNOLOGY SECURITY EVALUATION CENTER   (China)

Author keywords

Correctness; Genetic algorithm; Metamorphic testing; Security

Indexed keywords

AUTOMATIC TEST DATA GENERATION; CORRECTNESS; EVOLUTIONARY TESTING; FITNESS FUNCTIONS; INFORMATION SECURITY; METAMORPHIC TESTING; MISSION CRITICAL SOFTWARES; ORACLE PROBLEM; SECURITY; SECURITY ASSURANCE; TARGET SEARCH; TEST DATA GENERATION;

DATA COMMUNICATION SYSTEMS; FUNCTION EVALUATION; GENETIC ALGORITHMS;

SECURITY OF DATA;

EID: 78649868028     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI-IAT.2010.101     Document Type: Conference Paper

References (27)

1. Chen, T.Y., Cheung, S.C., and Yiu, S.M., "Metamorphic testing: a new approach for generating next test cases", Technical Report HKUST-CS98-01, 1998, Hong Kong.
2. Chen, T.Y., Kuo, F.C., Liu, Y., and Tang, A., "Metamorphic testing and testing with special values", in Proceeding of the 5th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'04), Beijing, China, 2004.
3. Wu, P., Shi, X.C., Tang, J.J., Lin, H.M., and Chen, T.Y., "Metamorphic Testing and Special Case Testing: A Case Study", Journal of Software, 2005, 16(7), pp: 1210-1220.
4. Wu, P., "Iterative Metamorphic Testing", in Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05), Edinburgh, UK, 2005.
5. Dong, G.W., Nie, C.H., Xu, B.W., and Wang., L.L., "An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis", in Proceedings of the 7th Annual International Conference on Quality Software (QSIC'07), Oregon, USA, 2007.
6. Chen, T.Y., Huang, D.H., and Tse, T.H., "Case Studies on the Selection of Useful Relations in Metamorphic Testing", in Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'04), Madrid, Spain, 2004.
7. Mayer, J., and Guderlei, R., "An Empirical Study on the Selection of Good Metamorphic Relations", in Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC'06), Chicago, USA, 2006.
8. Chen, T.Y., Tse, T.H., and Zhou, Z.Q., "Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing", ACM SIGSOFT Software Engineering Notes, 2002, 27(4), pp:191-195.
9. Chen, T.Y., Tse, T.H., and Zhou, Z.Q., "Fault-based testing without the need of oracles", Information and Software Technology, 2003, 45(1), pp:1-9.
10. Chen, T.Y., Feng, J., and Tse. T.H., "Metamorphic testing of programs on partial differential equations: a case study", in Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC'02), Oxford, England, 2002.
11. Zhou, Z.Q., Huang, D.H., Tse, T.H., Yang, Z.Y., Huang, H.T., and Chen, T.Y., "Metamorphic Testing and Its Applications", in Proceedings of the 8th International Symposium on Future Software Technology (ISFST'04), Xi'an, China, 2004.
12. Chan, W.K., Ho, J.C.F., and Tse., T.H. "Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs", in Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, 2007.
13. Tse, T.H., Yau, S.S., Chan, W.K., Heng, L., and Chen, T.Y., "Testing context-sensitive middleware-based software applications", in Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04), Hong Kong, 2004.
14. Chan, W.K., Chen, T.Y., Heng, L., Tse, T.H., and Yau, S.S., "A metamorphic approach to integration testing of context-sensitive middleware-based applications", in Proceedings of the 5th Annual International Conference on Quality Software (QSIC'05), Melbourne, Australia, 2005.
15. Chan, W.K., Cheung, S.C., and Leung, K.P.H., "Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications", in Proceedings of the 1st International Conference on Services Engineering (SEIW'05), Melbourne, Australia, 2005.
16. Chan, W.K., Cheung, S.C., and Leung. K.P.H., "A metamorphic testing approach for on-line testing of service-oriented software applications", in A Special Issue on Services Engineering of International Journal of Web Services Research, 2007, pp:60-80.
17. Chen, H.Y., Tse, T.H., Chan, F.T., and Chen, T.Y., "In black and white: An integrated approach to class-level testing of object-oriented programs", ACM Transactions on Software Engineering and Methodology, 1998, 7(3), pp: 250-295.
18. Dong, G.W., Nie, C.H., and Xu, B.W., "Effective Metamorphic Testing Based on Program Path Analysis", Accepted by Chinese Journal of Computers.
19. Srinivas, M., and Patnaik, L., "Genetic algorithms: A survey", IEEE Computer, 1994, 27(6), pp:17-26.
20. Back, T., "Evolutionary Algorithms in Theory and Practice", Oxford University Press, 1996.
21. Sthamer, H., "The Automatic Generation of Software Test Data Using Genetic Algorithms", PhD Thesis, University of Glamorgan, Pontyprid, Great Britain, April 1996.
22. Wegener, J., Sthamer, H., Jones, B., and Eyres, D., "Testing Real-time Systems using Genetic Algorithms", Software Quality Journal, Chapman Hall, 1997, 6(2), pp:127-135.
23. Tracey, N., Clark, J., McDermid, J., and Mander, K. "Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification", in Proceedings of the 17th International System Safety Conference, Orlando, USA, 1999.
24. Wappler, S., and Wegener, J., "Evolutionary Unit Testing of Object-oriented Software Using Strongly-Typed Genetic Programming", Conference on Genetic and Evolutionary Computation, Seattle, Washington, USA, 2006.
25. Xie, X.Y., Xu, B.W., Nie, C.H., and Shi, L., "Configu-ration Strategies for Evolutionary Testing", in Proceedings of the 29th Annual International Computer Software and Applications Conference, Edinburgh, Scotland, 2005.
26. Xie, X.Y., Xu, B.W., Shi, L., Nie, C.H., and He, Y.X., "A Dynamic Optimization Strategy for Evolutionary Testing" in Proceedings of the 12th ASIA-PACIFIC Software Engineering Conference, Taipei, Taiwan, 2005.
27. Wegener, J., Baresel, A., and Sthamer, H. "Evolutionary Test Environment for Automatic Structural Testing." Information and Software Technology Special Issue on Software Eng. Using Metaheuristic Innovative Algorithms, 2001, 43(14): pp. 841-854.