Intelligent test oracle construction for reactive systems without explicit specifications

Proceedings - IEEE 9th International Conference on Dependable, Autonomic and Secure Computing, DASC 2011

Volumn , Issue , 2011, Pages 89-96

  Wang, Farn ^a   Yao, Li Wei ^a   Wu, Jung Hsuan ^a  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

AI; machine learning; software testing; SVM; test oracle

Indexed keywords

EXPERIMENT DATA; FEATURE VARIABLE; FEATURE VECTORS; HIGH-ACCURACY; INTELLIGENT TEST; MACHINE LEARNING TECHNIQUES; MACHINE-LEARNING; OPEN-SOURCE; REACTIVE SYSTEM; SVM; SVM(SUPPORT VECTOR MACHINE); TEMPORAL RELATION; TEST CASE; TEST ORACLES; USER GUIDANCE;

ARTIFICIAL INTELLIGENCE; BENCHMARKING; EMBEDDED SOFTWARE; EXPERIMENTS; LEARNING ALGORITHMS; SPECIFICATIONS; SUPPORT VECTOR MACHINES; TESTING;

SOFTWARE TESTING;

EID: 84862963108     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2011.39     Document Type: Conference Paper

References (21)

1. K. Aggarwal, Y. Singh, A. Kaur, and O. Sangwan. A neural net based approach to test oracle. ACM Software Engineering Notes, 29(4), May 2004.
2. E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Workshop on Logic of Programs, volume LNCS 131. Springer-Verlag, 1981.
3. C. Cortes and V. Vapnik. Support-vector networks. Machine Learning, 20, 1995.
4. M. Dalheimer. Programming with Qt (2nd ed.). O'Reilly Media, January 2002.
5. R.-E. Fan, P.-H. Chen, and C.-J. Lin. Working set selection using the second order information for training svm. Journal of Machine Learning Research, 6:1889-1918, 2005. (Pubitemid 41798130)
6. I. Guyon and A. Elisseeff. An introduction to variable and feature selection. Journal of Machine Learning Research, 3:1157-1182, 2003.
7. J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
8. C.-W. Hsu and C.-J. Lin. A comparison of methods for multiclass support vector machines. IEEE Transactions on Neural Networks, 2002.
9. A. Kumar and J. St.Clair. Cunit: A unit testing framework for c, 2004. http://cunit.sourceforge.net.
10. A. M. Memon, M. E. Pollack, and M. L. Soffa. Automated test oracles for guis. ACM SIGSOFT Software Engineering Notes, 25(6), Nov. 2000.
11. Also in Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ACM FSE).
12. T. Mitchell. Machine Learning. McGraw Hill, 1997.
13. Peters and Parnas. Generating a test oracle from program documentation. In ACM International Symposium on Software Testing and Analysis (ISSTA). ACM, 1994.
14. A. Pnueli. The temporal logic of programs. In 18th annual IEEE-CS Symposium on Foundations of Computer Science, pages 45-57, 1977.
15. S. R. Shahamiri, W. M. N. W. Kadir, and S. Z. Mohd-Hashim. A comparative study on automated software test oracle methods. In Fourth International Conference on Software Engineering Advances (ICSEA). IEEE Computer Society, 2009.
16. P. Tahchiev, F. Leme, V. Massol, and V. Massol. JUnit in Action, Second Edition. Manning, 2011.
17. M. Vanmali, M. Last, and A. Kandel. Using a neural network in the software testing process. International Journal of Intelligent Ssytems, 17:45-62, 2002. (Pubitemid 34103766)
18. V. N. Vapnik. The nature of statistical learning theory. Springer-Verlag, 1995.
19. F. Wang, J.-H. Wu, C.-H. Huang, and K.-H. Chang. Evolving a test oracle in black-box testing. In 14th International Conference on Fundamental Approaches to Software Engineering (FASE), volume LNCS 6603. Springer-Verlag, March/April 2011.
20. Y.-C. F. Wang and D. Casasent. A hierarchical classifier using new support vector machine. In ICDAR, pages 851-855. IEEE Computer Society, 2005.
21. M. Ye, B. Feng, L. Zhu, and Y. Lin. Automated test oracle based on neural networks. In 5th International Conference on Cognitive Infomatics (ICCI). IEEE, 2006.