Reference models and automatic oracles for the testing of Mesh simplification software for graphics rendering

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2006, Pages 429-436

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

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^b UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Graphics rendering; Mesh simplification; Pattern classification reference models; Software testing; Test oracles

Indexed keywords

DATA STRUCTURES; GRAPHIC METHODS; PATTERN RECOGNITION; SOFTWARE TESTING;

GRAPHICS; GRAPHICS RENDERING; MESH SIMPLIFICATION; ORACLES; PATTERN CLASSIFICATION REFERENCE MODELS;

DATABASE SYSTEMS;

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

References (38)

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. J. H. Andrews, L.C. Briand, and Y. Labiche. Is mutation an appropriate tool for testing experiments? In Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pages 402-411. ACM Press, New York, 2005.
3. 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 SEKE2002), pages 585-592. ACM Press, New York, 2002.
4. 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.
5. A. Bierbaum, P. Hartling, and C. Cruz-Neira. Automated testing of virtual reality application interfaces. In Proceedings of the Eurographics Workshop on Virtual Environments, pages 107-114. ACM Press, New York, 2003.
6. J. F. Bowring, J. M. Rehg, and M. J. Harrold. Active learning for automatic classification of software behavior. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004), pages 195-205. ACM Press, New York, 2004.
7. 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, accepted for publication.
8. 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.
9. 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 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pages 191-195. ACM Press, New York, 2002.
10. P. Cignoni, C. Rocchini, and G. Impoco. A comparison of mesh simplification algorithms. Computers and Graphics, 22(1): 37-54, 1998.
11. 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 '98), pages 219-228. IEEE Computer Society Press, Los Alamitos, California, 1998.
12. 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 '96), pages 106-117. ACM Press, New York, 1996.
13. R. O. Duda, P. E. Hart, and D. G. Stork. Pattern Classification. Wiley, New York, 2000.
14. 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.
15. Y. Freund and R. E. Schapire. Experiments with a new boosting algorithm. In Proceedings of the 13th International Conference on Machine Learning, pages 148-156. Morgan Kaufmann, San Francisco, California, 1996.
16. 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 '97), pages 209-216. ACM Press, New York, 1997.
17. R. C. Gonzalez and R. E. Woods. Digital Image Processing. Prentice Hall, Englewood Cliffs, New Jersey, 2002.
18. 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.
19. D. P. Luebke. A developer's survey of polygonal simplification algorithms. IEEE Computer Graphics and Applications, 21 (3): 24-35, 2001.
20. D. P. Luebke and C. Erikson. View-dependent simplification of arbitrary polygonal environments. In Proceedings of the 24th Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH '97), pages 199-208. ACM Press, New York, 1997.
21. 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.
22. Y.-S. Ma, A. J. Offutt, and Y.-R. Kwon. MuJava: an automated class mutation system. Journal of Software Testing, Verification and Reliability, 15 (2): 97-133, 2005.
23. 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.
24. J. Mayer and R. Guderlei. Test oracles using statistical methods. In Proceedings of the 1st International Workshop on Software Quality (SOQUA 2004) and the Workshop on Testing Component-Based Systems (TECOS 2004) (in conjunction with Net.ObjectDays 2004), volume 58 of Lecture Notes in Informatics, pages 179-189. Springer, Berlin, 2004.
25. S. Melax. A simple, fast, and effective polygon reduction algorithm. Game Developer Magazine, pages 44-49, November 1998.
26. 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.
27. 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.
28. B. Meyer. Eiffel: the Language. Prentice Hall, New York, 1992.
29. M. S. Nixon and A. S. Aguado. Feature Extraction and Image Processing. Elsevier, Amsterdam, 2002.
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 '98), pages 82-92. ACM Press, New York, 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. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes in C: The Art of Scientific Computing. Cambridge University Press, Cambridge, 1992.
33. R. Quinlan. C4.5: Programs for Machine Learning. Morgan Kaufmann, San Francisco, California, 1993.
34. M. Segal and K. Akeley. The OpenGL Graphics System: a Specification. Version 2.0. Silicon Graphics, Inc., Mountain View, California, 2004.
35. 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-SE 42), pages 140-145. ACM Press, New York, 2004.
36. J. Takahashi. An automated oracle for verifying GUI objects. ACM SIGSOFT Software Engineering Notes, 26 (4): 83-88, 2001.
37. M. Vanmali, M. Last, and A. Kandel. Using a neural network in the software testing process. International Journal of Intelligent Systems, 17:45-62, 2002.
38. G. M. Weiss. Mining with rarity: a unifying framework. ACM SIGKDD Explorations, 6 (1):7-19, 2004.