Piping classification to metamorphic testing: An empirical study towards better effectiveness for the identification of failures in mesh simplification programs

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2007, Pages 397-404

  Chan, W K ^a   Ho, Jeffrey C F ^b   Tse, T H ^c  

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Classification; Mesh simplification; Metamorphic testing; Test oracle problem

Indexed keywords

MESH SIMPLIFICATION; METAMORPHIC TESTING; TEST ORACLE PROBLEM;

CLASSIFICATION (OF INFORMATION); COMPUTER GRAPHICS; COMPUTER PROGRAMMING; PATTERN RECOGNITION; PROBLEM SOLVING;

SOFTWARE TESTING;

EID: 37349063010     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2007.167     Document Type: Conference Paper

References (34)

1. M.N.Ahmed, S. M. Yamany, N. Mohamed, A. A. Farag, and T. Moriarty. A modified fuzzy c-means algorithm for bias field estimation and segmentation of MRI data. IEEE Transactions on Medical Imaging, 21 (3): 193-199, 2002.
2. L. Baresi, G. Denaro, L. Mainetti, and P. Paolini. Assertions to better specify the amazon bug. In Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), pages 585-592. ACM Press, New York, 2002.
3. J. Berstel, S. C. Reghizzi, G. Roussel, and P. San Pietro. A scalable formal method for design and automatic checking of user interfaces. ACM Transactions on Software Engineering and Methodology, 14(2): 124-167, 2005.
4. A. Bierbaum, P. Hartling, and C. Cruz-Neira. Automated testing of virtual reality application interfaces. In Proceedings of the Eurographics Workshop on Virtual Environments (EGVE 2003), pages 107-114. ACM Press, New York, 2003.
5. R. V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison Wesley, Reading, Massachusetts, 2000.
6. J.F. Bowring, J.M. Rehg, and M.J. Harrold. Active learning for automatic classification of software behavior. In Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004), ACM SIGSOFT Software Engineering Notes, 29 (4): 195-205, 2004.
7. L. C. Briand, M. Di Penta, and Y. Labiche. Assessing and improving state-based class testing: a series of experiments. IEEE Transactions on Software Engineering, 30 (11): 770-783, 2004.
8. F.T. Chan, T. Y Chen, S. C. Cheung, M. F. Lau, and S. M. Yiu. Application of metamorphic testing in numerical analysis. In Proceedings of the IASTED International Conference on Software Engineering (SE 1998), pages 191-197. ACTA Press, Calgary, Canada, 1998.
9. W. K. Chan, T. Y Chen, H. Lu, T. H. Tse, and S. S. Yau. Integration testing of context-sensitive middlewarebased applications: a metamorphic approach. International Journal of Software Engineering and Knowledge Engineering, 16 (5): 677-703, 2006.
10. W. K. Chan, M. Y Cheng, S. C. Cheung, and T. H. Tse. Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: an experimental case study. Journal of Systems and Software, 79 (5): 602-612, 2006.
11. W.K. Chan, S.C. Cheung, J.C.F. Ho, and T.H. Tse. Reference models and automatic oracles for the testing of mesh simplification software for graphics rendering. In Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), pages 429-438. IEEE Computer Society Press, Los Alamitos, California, 2006.
12. W. K. Chan, S. C. Cheung, J. C. F. Ho, and T. H. Tse. PAT: a pattern classification approach to automatic reference oracles for the testing of mesh simplification programs. Submitted for publication.
13. T. Y. Chen, S. C. Cheung, and S. M. Yiu. Metamorphic testing: a new approach for generating next test cases. Technical Report HKUST-CS98-01. Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, 1998.
14. T. Y. Chen, T. H. Tse, and Z. Q. Zhou. Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. In Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), ACM SIGSOFT Software Engineering Notes, 27 (4): 191-195, 2002.
15. P. Cignoni, C. Rocchini, and G. Impoco. A comparison of mesh simplification algorithms. Computers and Graphics, 22(1): 37-54, 1998.
16. B. d'Ausbourg, C. Seguin, G. Durrieu, and P. Roch. Helping the automated validation process of user interfaces systems. In Proceedings of the 20th International Conference on Software Engineering (ICSE 1998), pages 219-228. IEEE Computer Society Press, Los Alamitos, California, 1998.
17. L. K. Dillon and Y. S. Ramakrishna. Generating oracles from your favorite temporal logic specifications. In Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering (ISSTA 1996), ACM SIGSOFT Software Engineering Notes, 21 (6): 106-117, 1996.
18. P. Francis, D. Leon, M. Minch, and A. Podgurski. Tree-based methods for classifying software failures. In Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), pages 451-462. IEEE Computer Society Press, Los Alamitos, California, 2004.
19. M. Garland and P. Heckbert. Surface simplification using quadric error metrics. In Proceedings of the 24th Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH 1997), pages 209-216. ACM Press, New York, 1997.
20. P. Hu, Z. Zhang, W. K. Chan, and T. H. Tse. An empirical comparison between direct and indirect test result checking approaches. In Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA 2006) (in conjunction with the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2006/FSE-14)), pages 6-13. ACM Press, New York, 2006.
21. M. Last, M. Friedman, and A. Kandel. The data mining approach to automated software testing. In Proceedings of the 9th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2003), pages 388-396. ACM Press, New York, 2003.
22. D. P. Luebke. A developer's survey of polygonal simplification algorithms. IEEE Computer Graphics and Applications, 21 (3): 24-35, 2001.
23. D. P. Luebke, M. Reddy, J. D. Cohen, A. Varshney, B. Watson, and R. Huebner. Level of Detail for 3D Graphics. Morgan Kaufmann, San Francisco, California, 2003.
24. Y.-S. Ma, A.J. Offutt, and Y-R. Kwon. MuJava: an automated class mutation system. Software Testing, Verification and Reliability, 15 (2): 97-133, 2005.
25. J. Mayer. On testing image processing applications with statistical methods. In Software Engineering 2005 (SE 2005), Lecture Notes in Informatics, pages 69-78. Gesellschaft fu"r Informatik, Bonn, 2005.
26. S. Melax. A simple, fast, and effective polygon reduction algorithm. Game Developer Magazine, pages 44-49, November 1998.
27. A. Memon, I. Banerjee, and A. Nagarajan. What test oracle should I use for effective GUI testing?. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pages 164-173. IEEE Computer Society Press, Los Alamitos, California, 2003.
28. A.M. Memon, M.E. Pollack, and M.L. Soffa. Automated test oracles for GUIs. In Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2000), pages 30-39. ACM Press, New York, 2000.
29. B. Meyer. Eiffel: the Language. Prentice Hall, New York, 1992.
30. T. Ostrand, A. Anodide, H. Foster, and T. Goradia. A visual test development environment for GUI systems. In Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1998), ACM SIGSOFT Software Engineering Notes, 23 (2): 82-92, 1998.
31. A. Podgurski, D. Leon, P. Francis, W. Masri, M. Minch, J. Sun, and B. Wang. Automated support for classifying software failure reports. In Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), pages 465-475. IEEE Computer Society Press, Los Alamitos, California, 2003.
32. M. Segal and K. Akeley. The OpenGL Graphics System: a Specification. Version 2.0. Silicon Graphics, Mountain View, California, 2004.
33. Y. Sun and E. L. Jones. Specification-driven automated testing of GUI-based Java programs. In Proceedings of the 42nd Annual Southeast Regional Conference (ACM-SE42), pages 140-145. ACM Press, New York, 2004.
34. M. Vanmali, M. Last, and A. Kandel. Using a neural network in the software testing process. International Journal of Intelligent Systems, 17(1): 45-62, 2002.