Skip to main content

Neural Networks Based Automated Test Oracle for Software Testing

  • Conference paper
Neural Information Processing (ICONIP 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4234))

Included in the following conference series:

Abstract

A lot of test cases must be executed in statistical software testing to simulate the usage of software. Therefore automated oracle is needed to automatically generate the expected outputs for these test cases and compare the actual outputs with them. An attempt has been made in this paper to use neural networks as automated test oracle. The oracle generates the approximate output that is close to expected output. The actual output from the application under test is then compared with the approximate output to validate the correctness. By the method, oracle can be automated. It is of potential application in software testing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 139.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Sayre, K.: Improved techniques for software testing based on Markov chain usage models, PhD. thesis, University of Tennessee, Knoxville, USA (1999)

    Google Scholar 

  2. Bertolini, C., Farina, A.G., Fernandes, P., Oliveira, F.M.: Test case generation using stochastic automata networks: quantitative analysis. In: Proc. of the second International Conf. on Software Engineering and Formal Methods, pp. 251–260. IEEE Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  3. Beyer, M., Dulz, W., Zhen, F.: Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains. In: Proc. of the 12th Asian Test Symposium, pp. 102–105. IEEE Press, Piscataway (2003)

    Google Scholar 

  4. Peters, D., Parnas, D.L.: Generating a test oracle from program documentation. In: Proc. of the International Symposium on Software Testing and Analysis, pp. 58–65 (1994)

    Google Scholar 

  5. Bousquet, L., Ouabdesselam, F., Richier, J., Zuanon, N.: Lutess: a specification-driven testing environment for synchronous software. In: Proc. of the 21th International Conf. on Software Engineering, pp. 267–276. ACM Press, New York (1999)

    Google Scholar 

  6. Dillon, L.K., Ramakrishna, Y.S.: Generating oracles from your favorite temporal logic specifications. In: Proc. of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Software Engineering Notes, vol. 21, pp. 106–117 (1996)

    Google Scholar 

  7. Schroeder, P.J., Faherty, P., Korel, B.: Generating expected results for automated black-box testing. In: Proc. of the 17th IEEE International Conf. on Automated Software Engineering, pp. 139–148. IEEE Press, Los Alamitos (2002)

    Chapter  Google Scholar 

  8. Ostrand, T., Anodide, A., Foster, H., Goradia, T.: A visual test development environment for GUI systems. ACM SIGSOFT Software Engineering Notes 23(2), 82–92 (1998)

    Article  Google Scholar 

  9. Chen, W.K., Tsai, T.H., Chao, H.H.: Integration of specification-based and CR-based approaches for GUI testing. In: Proc. of the 19th International Conf. on Advanced Information Networking and Applications, vol. 1, pp. 967–972 (2005)

    Google Scholar 

  10. Memon, A., Nagarajan, A., Xie, Q.: Automating regression testing for evolving GUI software. Journal of Software Maintenance and Evolution: Research and Practice 17(1), 27–64 (2005)

    Article  Google Scholar 

  11. Chen, J., Subramaniam, S.: Specification-based testing for GUI-based applications. Software Quality Journal 10(3), 205–224 (2002)

    Article  Google Scholar 

  12. Hierons, R.M.: Testing from a Z specification. Software Testing, Verification, and Reliability 7, 19–33 (1997)

    Article  Google Scholar 

  13. McDonald, J., Strooper, P.: Translating object-Z specifications to passive test oracles. In: Proc. of the 2th International Conf. on Formal Engineering Methods, pp. 165–174. IEEE Press, Los Alamitos (1998)

    Google Scholar 

  14. Aggarwal, K.K., Singh, Y., Kaur, A., Sangwan, O.P.: A neural net based approach to test oracle. ACM SIGSOFT Software Engineering Notes 29(3), 1–6 (2004)

    Article  Google Scholar 

  15. Ramamoorthy, G.V., Ho, S.F., Chen, W.T.: On the automated generation of program test data. IEEE Trans. Software Engineering SE-2, 293–300 (1976)

    Article  Google Scholar 

  16. Chen, T., Chen, H.: Approximations of continuous functionals by neural networks with application to dynamic systems. IEEE Trans. Neural Networks 4(6), 910–918 (1993)

    Article  Google Scholar 

  17. Chen, D.S., Jain, R.C.: A robust back propagation learning algorithm for function approximation. IEEE Trans. Neural Networks 5(3), 467–479 (1994)

    Article  Google Scholar 

  18. Duda, R.O., Hart, P.E., Stork, D.G.: Pattern classification, 2nd edn. John Wiley, Chichester (2001)

    MATH  Google Scholar 

  19. Fausett, L.: Fundamentals of neural networks: architectures, algorithms, and application. Prentice Hall, Englewood Cliffs (1994)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mao, Y., Boqin, F., Li, Z., Yao, L. (2006). Neural Networks Based Automated Test Oracle for Software Testing. In: King, I., Wang, J., Chan, LW., Wang, D. (eds) Neural Information Processing. ICONIP 2006. Lecture Notes in Computer Science, vol 4234. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893295_55

Download citation

  • DOI: https://doi.org/10.1007/11893295_55

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46484-6

  • Online ISBN: 978-3-540-46485-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics