Security assurance with program path analysis and metamorphic testing

Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS

Volumn , Issue , 2013, Pages 193-197

  Dong, Guowei ^a   Guo, Tao ^a   Zhang, Puhan ^a  

^a China Information Technology   (China)

Author keywords

metamorphic testing; program path analysis; security assurance

Indexed keywords

ITS EFFICIENCIES; M-T METHODS; METAMORPHIC TESTING; MISSION CRITICAL SOFTWARES; ORACLE PROBLEM; PATH ANALYSIS; PROGRAM STRUCTURES; SECURITY ASSURANCE;

REGRESSION ANALYSIS; SECURITY OF DATA; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

EID: 84890089822     PISSN: 23270586     EISSN: 23270594     Source Type: Conference Proceeding    
DOI: 10.1109/ICSESS.2013.6615286     Document Type: Conference Paper

References (17)

1. Chen, T. Y., Cheung, S. C., and Yiu, S. M. "Metamorphic testing: a new approach for generating next test cases", Technical Report HKUSTCS98-01, 1998, Hong Kong.
2. Chen, T. Y., Kuo, F. e., 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 Collference on Quality Software (QSIC'07), Oregon, USA, 2007.
6. Chen, T. Y., Huang, D. H., Tse, T. H., and Zhou. Z. Q. "Case Studies on the Selection of Useful Relations in Metamorphic Testing", in Proceedings of the 4th Ibero-American Symposium on Soflware Engineering and Knowledge Engineering (JJJSiC'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", Illformation and Software Technology, 2003, 45(1), pp:I-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 Soflware 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 Soflware Technology (ISFST'04), Xi'an, China, 2004.
12. 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.
13. Dong, G. W., Nie, C. H., and Xu, B. W. "Effective Metamorphic Testing Based on Program Path Analysis", Chinese Journal of Computers, 2009, 32(5), pp: 1002-1013.
14. Budd, T. A. "Mutation analysis: Ideas, examples, problems and prospects. " in Proceedings of the Summer School on Computer Program Testing., 1981: pp: 129-148.
15. Jorgensen, P. e. "Software Testing: A Craftsman's Approach(The Second Edition)", The CRC Press, 2002.
16. Ross, S. M. "A First Course in Probability(The Eighth Edition) ", The Pearson Press, 2010.
17. Varberg, D., Purcell, Ej., and Rigdon, S. E. "Calculus (The Ninth Edition)", The China Machine Press, 2009.