PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs

Journal of Systems and Software

Volumn 82, Issue 3, 2009, Pages 422-434

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

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

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

^c UNIVERSITY COLLEGE LONDON   (United Kingdom)

^d UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

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

Indexed keywords

APPLICATIONS; COMPUTER SOFTWARE SELECTION AND EVALUATION; TESTING; THREE DIMENSIONAL;

BLACK BOXES; EMPIRICAL RESULTS; FAULT-BASED; GRAPHICAL OBJECTS; GRAPHICS RENDERING; MESH SIMPLIFICATION; OPEN SOURCES; PATTERN CLASSIFICATION REFERENCE MODELS; POLYGONAL MODELS; TEST ORACLES; TEST RESULTS; TEST SAMPLES;

SOFTWARE TESTING;

EID: 61349178878     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2008.07.019     Document Type: Article

References (48)

1. Ahmed M.N., Yamany S.M., Mohamed N., Farag A.A., and Moriarty T. A modified fuzzy c-means algorithm for bias field estimation and segmentation of MRI data. IEEE Transactions on Medical Imaging 21 3 (2002) 193-199
2. Andrews J.H., Briand L.C., and Labiche Y. Is mutation an appropriate tool for testing experiments?. Proceedings of the 27th International Conference on Software Engineering (ICSE 2005) (2005), ACM Press, New York 402-411
3. Baresi L., Denaro G., Mainetti L., and Paolini P. Assertions to better specify the Amazon bug. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE 2002) (2002), ACM Press, New York 585-592
4. Bass L., Clements P., and Kazman R. Software Architecture in Practice (2003), Addison Wesley, Reading, MA
5. Beiden S.V., Maloof M.A., and Wagner R.F. A general model for finite-sample effects in training and testing of competing classifiers. IEEE Transactions on Pattern Analysis and Machine Intelligence 25 12 (2003) 1561-1569
6. Berstel J., Reghizzi S.C., Roussel G., and San Pietro P. A scalable formal method for design and automatic checking of user interfaces. ACM Transactions on Software Engineering and Methodology 14 2 (2005) 124-167
7. Bierbaum A., Hartling P., and Cruz-Neira C. Automated testing of virtual reality application interfaces. Proceedings of the Eurographics Workshop on Virtual Environments (2003), ACM Press, New York 107-114
8. Bowring, J.F., Rehg, J.M., Harrold, M.J., 2004. 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, vol. 29(4), pp. 195-205.
9. Chan W.K., Cheng M.Y., Cheung S.C., and Tse T.H. 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 (2006) 602-612
10. Chan W.K., Cheung S.C., Ho J.C.F., and Tse T.H. Reference models and automatic oracles for the testing of mesh simplification software for graphics rendering. Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC 2006) (2006), IEEE Computer Society Press, Los Alamitos, CA 429-438
11. Chen, T.Y., Cheung, S.C., Yiu, S.M., 1998. 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.
12. Chen, T.Y., Tse, T.H., Zhou, Z.Q., 2002. 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, vol. 27(4), pp. 191-195.
13. Cignoni P., Rocchini C., and Impoco G. A comparison of mesh simplification algorithms. Computers and Graphics 22 1 (1998) 37-54
14. d'Ausbourg B., Seguin C., Durrieu G., and Roch P. Helping the automated validation process of user interfaces systems. Proceedings of the 20th International Conference on Software Engineering (ICSE'98) (1998), IEEE Computer Society Press, Los Alamitos, CA 219-228
15. Dillon, L.K., Ramakrishna, Y.S., 1996. Generating oracles from your favorite temporal logic specifications. In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering (SIGSOFT'96/FSE-4), ACM SIGSOFT Software Engineering Notes, vol. 21(6), 106-117.
16. Duda R.O., Hart P.E., and Stork D.G. Pattern Classification (2000), Wiley, New York
17. Francis P., Leon D., Minch M., and Podgurski A. Tree-based methods for classifying software failures. Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004) (2004), IEEE Computer Society Press, Los Alamitos, CA 451-462
18. Freund Y., and Schapire R.E. Experiments with a new boosting algorithm. Proceedings of the 13th International Conference on Machine Learning (1996), Morgan Kaufmann, San Francisco, CA 148-156
19. Garland M., and Heckbert P. Surface simplification using quadric error metrics. Proceedings of the 24th Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH'97) (1997), ACM Press, New York 209-216
20. Gittens M., Kim Y., and Godwin D. The vital few versus the trivial many: examining the Pareto principle for software. Proceedings of the 29th Annual International Computer Software and Applications Conference COMPSAC 2005 vol. 1 (2005), IEEE Computer Society Press, Los Alamitos, CA 179-185
21. Gonzalez R.C., and Woods R.E. Digital Image Processing (2002), Prentice Hall, Englewood Cliffs, NJ
22. Hierons R.M. Avoiding coincidental correctness in boundary value analysis. ACM Transactions on Software Engineering and Methodology 15 3 (2006) 227-241
23. Hosemer D.W., and Lemeshow S. Applied Logistic Regression. second ed. (2000), John Wiley & Sons (Chapter 5)
24. Kapoor K. Formal analysis of coupling hypothesis for logical faults. Innovations in Systems and Software Engineering 2 2 (2006) 80-87
25. Kapoor K., and Bowen J.P. Test conditions for fault classes in Boolean specifications. ACM Transactions on Software Engineering and Methodology 16 3 (2007) article 10
26. Kohavi R., and Provost F. Glossary of terms. Machine Learning 30 2/3 (1998) 271-274
27. Last M., Friedman M., and Kandel A. The data mining approach to automated software testing. Proceedings of the Nineth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2003) (2003), ACM Press, New York 388-396
28. Luebke D.P. A developer's survey of polygonal simplification algorithms. IEEE Computer Graphics and Applications 21 3 (2001) 24-35
29. Luebke D.P., and Erikson C. View-dependent simplification of arbitrary polygonal environments. Proceedings of the 24th Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH'97) (1997), ACM Press, New York 199-208
30. Luebke D.P., Reddy M., Cohen J.D., Varshney A., Watson B., and Huebner R. Level of Detail for 3D Graphics (2003), Morgan Kaufmann, San Francisco, CA
31. Ma Y.-S., Offutt A.J., and Kwon Y.-R. MuJava: an automated class mutation system. Software Testing, Verification and Reliability 15 2 (2005) 97-133
32. Mayer, J., 2005. On testing image processing applications with statistical methods. In: Software Engineering 2005 (SE 2005), Lecture Notes in Informatics. Gesellschaft für Informatik, Bonn, pp. 69-78.
33. Melax S. A simple, fast and effective polygon reduction algorithm. Game Developer Magazine (1998) 44-49
34. Memon A.M., Pollack M.E., and Soffa M.L. Automated test oracles for GUIs. Proceedings of the Eighth ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2000/FSE-8) (2000), ACM Press, New York 30-39
35. Memon A., Banerjee I., and Nagarajan A. What test oracle should I use for effective GUI testing?. Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003) (2003), IEEE Computer Society Press, Los Alamitos, CA 164-173
36. Meyer B. Eiffel: The Language (1992), Prentice Hall, New York
37. Nixon M.S., and Aguado A.S. Feature Extraction and Image Processing (2002), Elsevier, Amsterdam
38. Ostrand, T., Anodide, A., Foster, H., Goradia, T., 1998. A visual test development environment for GUI systems. In: Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'98), ACM SIGSOFT Software Engineering Notes, vol. 23(2), pp. 82-92.
39. Podgurski A., Leon D., Francis P., Masri W., Minch M., Sun J., and Wang B. Automated support for classifying software failure reports. Proceedings of the 25th International Conference on Software Engineering (ICSE 2003) (2003), IEEE Computer Society Press, Los Alamitos, CA 465-475
40. Press W.H., Teukolsky S.A., Vetterling W.T., and Flannery B.P. Numerical Recipes in C: The Art of Scientific Computing (1992), Cambridge University Press, Cambridge
41. Quinlan R. C4 5: Programs for Machine Learning (1993), Morgan Kaufmann, San Francisco, CA
42. Richardson D.J., and Thompson M.C. An analysis of test data selection criteria using the RELAY model of fault detection. IEEE Transactions on Software Engineering 19 6 (1993) 533-553
43. Segal, M., Akeley, K., 2004. The OpenGL Graphics System: A Specification. Version 2.0, Silicon Graphics, Mountain View, CA.
44. Shulmeyer G.G., and McCabe T.J. The Pareto principle applied to software quality assurance. Handbook of Software Quality Assurance. third ed. (1998), Prentice Hall, Upper Saddle River, New Jersey 291-328
45. Sun Y., and Jones E.L. Specification-driven automated testing of GUI-based Java programs. Proceedings of the 42nd Annual Southeast Regional Conference (ACM-SE 42) (2004), ACM Press, New York 140-145
46. Takahashi J. An automated oracle for verifying GUI objects. ACM SIGSOFT Software Engineering Notes 26 4 (2001) 83-88
47. Vanmali M., Last M., and Kandel A. Using a neural network in the software testing process. International Journal of Intelligent Systems 17 1 (2002) 45-62
48. Weiss G.M. Mining with rarity: a unifying framework. ACM SIGKDD Explorations 6 1 (2004) 7-19