Skip to main content

Advertisement

SpringerLink
Log in

Generating test case for algebraic specification based on Tabu search and genetic algorithm

  • Published:
Cluster Computing Aims and scope Submit manuscript

Abstract

To improve the effectiveness of generating test case for algebraic specification, an approach for generating test cases based on tabu search and genetic algorithm (Tabu GA) is presented. A prototype tool CASCATT (Common Algebraic Specification-based Class, Component and Web service Automatic Testing Tool) is implemented based on Tabu GA, which tests Class, Component and Web Service based on algebraic specification described by CASOCC-WS (Common Algebraic Specification of Components, Classes and Web service) language. The experiments results show the testing method is better effective, comparing with the existed random method in algebraic testing tool CASCAT (Common AS-based Component Automatic Testing) which generated test case from random data rewriting technology.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

References

  1. Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387–405 (1991)

    Article  Google Scholar 

  2. Le Gall, P., Arnould, A.: Formal specification and test: correctness and oracle. In: 11th WADT/9th COMPASS Workshop. LNCS 1130. Springer, Berlin, pp. 342–358 (1996)

  3. Gonnon, J., McMullin, P., Hamlet, R.: Data-abstraction implementation, specification and testing. ACM TOPLAS 3(3), 211–223 (1981)

    Article  Google Scholar 

  4. Hong, Z.: A note on test oracles and semantics of algebraic specifications. In: Proceedings of QSIC’03, November 2003, pp. 91–99

  5. Doong, K., Frankl, P.: The ASTOOT approach to testing object-oriented programs. ACM TSEM 3(2), 101–130 (1994)

    Article  Google Scholar 

  6. Machado, P., Sannella, D.: Unit Testing for CASL Architectural Specifications, Mathematical Foundations of Computer Science. LNCS 2420. Springer, Berlin, pp. 506–518 (2002)

  7. Chen, H.Y., Tse, T.H., Chan, F.T., Chen, T.Y.: In black and white: an integrated approach to class-level testing of object-oriented programs. ACM TSEM 7(3), 250–295 (1998)

    Article  Google Scholar 

  8. HuoYan, C., Tse, T.H., Chen, T.Y.: TACCLE: a methodology for object-oriented software testing at the class and cluster levels. ACM TSEM 10(1), 56–109 (2001)

    Article  Google Scholar 

  9. Hughes, M., Stotts, D.: Daistish: systematic algebraic testing for OO programs in the presence of side-effects. In: Proceedings of ISSTA’96, January 1996, pp. 53–61

  10. Liang, K., Hong, Z., Bin, Z.: Automated testing EJB components based on algebraic specifications. In: Proceedings of COMPSAC’07 (2), pp. 717–722 (2007)

  11. Bo, Y., Liang, K., Yufeng, Z., Hong, Z.: Testing Java components based on algebraic specifications. In: Proceedings of ICST’08, pp. 190–199 (2008)

  12. Hong, Z., Xudong, H.: An observational theory of integration testing for component-based software development. In: COMPSAC’01 (2001)

  13. Hong, Z., Xudong, H.: A methodology of component integration testing. In: Beydeda, S., Gruhn, V. (eds.) Testing Commercial-Off-The-Shelf Components and Systems, pp. 239–269. Springer, Berlin (2005)

    Google Scholar 

  14. Hong, Z., Bo, Y.: An experiment with algebraic specifications of software components. In: Proceedings of the 10th International Conference on Quality Software (QSIC 2010), pp. 190–199

  15. Hong, Z., Bo, Y.: Algebraic specification of web services. In: Proceedings of the 10th International Conference on Quality Software (QSIC 2010), IEEE Computer Society Press, Los Alamitos, pp. 457–464 (2010)

  16. Dongmei, L., Xian, W., Xin Z., Hong, Z., Ian. B.: Monic testing of web services based on algebraic specifications. In: Proceedings of the 10th IEEE International Conference on Service Oriented System Engineering (SOSE 2016), Oxford, 29 March–1 April 2016

  17. Liu, Dongmei, Zhu, Hong, Bayley, Ian: Transformation of algebraic specifications into ontological semantic descriptions of web services. Int. J. Serv. Comput. (IJSC) 2(1), 58–71 (2014)

  18. Xu, Z., et al.: Generating temporal semantic context of concepts using web search engines. J. Netw. Comput. Appl. 43, 42–55 (2014)

    Article  Google Scholar 

  19. Xu, Z., et al.: Mining temporal explicit and implicit semantic relations between entities using web search engines. Future Gener. Comput. Syst. 37, 468–477 (2014)

    Article  Google Scholar 

  20. Ye, J., Xu, Z., Ding, Y.: Secure outsourcing of modular exponentiations in cloud and cluster computing. Cluster Comput. 19(2), 811–820 (2016)

    Article  Google Scholar 

  21. Xu, Z., Luo, X., Mei, L., Hu, C.: Measuring the semantic discrimination capability of association relations. Concurr. Comput. Pract. Exp. 26(2), 380–395 (2014)

    Article  Google Scholar 

  22. Jamoussi, A.: An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases. IEEE, Washington, DC (1997)

  23. Pargas, R.P., Harrold, M.J., Peck, R.R.: Test-data generation using genetic algorithms. Softw. Test. Verif. Reliab. 9(4), 263–282 (1999)

    Article  Google Scholar 

  24. Michael, C.C., McGraw, G., Schatz, M.A.: Generating software test data by evolution. IEEE Trans. Softw. Eng. 27(12), 1085–1110 (2001)

    Article  Google Scholar 

  25. Glover, F.: Tabu search for nonlinear and parametric optimization (with links to genetic algorithms). Discret. Appl. Math. 49(1–3), 231–231 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  26. Janosek, M., Volna, E., Kotyrba, M.: Knowledge discovery in dynamic data using neural networks. Cluster Comput. 18, 1411–1421 (2015)

    Article  Google Scholar 

  27. Kianpisheh, S., Charkari, N.M., Kargahi, M.: Ant colony based constrained workflow scheduling for heterogeneous computing systems. Cluster Comput. 19, 1053–1070 (2016)

    Article  Google Scholar 

  28. Bo, Y., Yemei, Q.: Tabu search and genetic algorithm for generating test data of class testing. In: International Conference on Information Engineering and Computer Science, 11–13 December 2009

  29. Bo, Y., Yemei, Q., Feng-ye, L.: Tabu search and genetic algorithm for generating test data of class testing. In: International Conference on Information Engineering and Computer Science, 11–13 December 2009

  30. Goguen, J., Malcolm, G.: A hidden agenda. Theor. Comput. Sci. 245(1), 55–101 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  31. Sannellla, D., Tarlecki, A.: On observational equivalence and algebraic specification. J. Comput. Syst. Sci. 34, 150–178 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  32. Machado, P.: On oracles for interpreting test results against algebraic specifications. In: AMAST’98. LNCS 1548. Springer, Berlin, pp. 502–518 (1998)

  33. Ma, Y.-S., Offutt, J., Kwon, Y.R.: MuJava: an automated class mutation system. STVR 15(2), 97–133 (2005)

    Google Scholar 

  34. Mukhar, K., Zelenak, C., Weaver, J.L., Crume, J.: Beginning Java EE 5 From Novice to Professional. Apress, Berkely (2005)

    Google Scholar 

  35. Rima Patel, S., Gerald, B., Micah, S.: Mastering Enterprise Java Beans 3.0. Wiley, New York (2006)

    Google Scholar 

  36. Fleury, M., Stark, S., Richards, N.: JBoss 4.0—The Official Guide. Pearson Education, London (2005)

    Google Scholar 

  37. Bodoff, S., Green, D., Haase, K., Stearns, B.: The J2EE Tutorial, 2nd edn. Pearson Education, Upper Saddle River (2004)

    Google Scholar 

  38. Kumar, B.V., Sangeetha, S., Subrahmanya, S.V.: J2EE Architecture. Apress, Berkeley (2003)

  39. Henkel, J.: Discovering and debugging algebraic specifications for Java classes. PhD Thesis, University of Colorado at Boulder (2004)

  40. Sannellla, D., Tarlecki, A.: On observational equivalence and algebraic specification. J. Comput. Syst. Sci. 34, 150–178 (1987)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Swan college, Central South University of Forestry and Technology, Changsha, China

    Bo Yu

  2. School of Computer and Information Engineering, Hunan University of Commerce, Changsha, China

    Yemei Qin

Authors
  1. Bo Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yemei Qin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bo Yu.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yu, B., Qin, Y. Generating test case for algebraic specification based on Tabu search and genetic algorithm. Cluster Comput 20, 277–289 (2017). https://doi.org/10.1007/s10586-016-0681-7

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10586-016-0681-7

Keywords

Search

Navigation