Cluster Computing

, Volume 20, Issue 1, pp 277–289 | Cite as

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

Article

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.

Keywords

Algebraic specification Algebraic testing Test case Tabu search Genetic algorithm 

References

  1. 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)CrossRefGoogle Scholar
  2. 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)Google Scholar
  3. 3.
    Gonnon, J., McMullin, P., Hamlet, R.: Data-abstraction implementation, specification and testing. ACM TOPLAS 3(3), 211–223 (1981)CrossRefGoogle Scholar
  4. 4.
    Hong, Z.: A note on test oracles and semantics of algebraic specifications. In: Proceedings of QSIC’03, November 2003, pp. 91–99Google Scholar
  5. 5.
    Doong, K., Frankl, P.: The ASTOOT approach to testing object-oriented programs. ACM TSEM 3(2), 101–130 (1994)CrossRefGoogle Scholar
  6. 6.
    Machado, P., Sannella, D.: Unit Testing for CASL Architectural Specifications, Mathematical Foundations of Computer Science. LNCS 2420. Springer, Berlin, pp. 506–518 (2002)Google Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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–61Google Scholar
  10. 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)Google Scholar
  11. 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)Google Scholar
  12. 12.
    Hong, Z., Xudong, H.: An observational theory of integration testing for component-based software development. In: COMPSAC’01 (2001)Google Scholar
  13. 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. 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–199Google Scholar
  15. 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)Google Scholar
  16. 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 2016Google Scholar
  17. 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)Google Scholar
  18. 18.
    Xu, Z., et al.: Generating temporal semantic context of concepts using web search engines. J. Netw. Comput. Appl. 43, 42–55 (2014)CrossRefGoogle Scholar
  19. 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)CrossRefGoogle Scholar
  20. 20.
    Ye, J., Xu, Z., Ding, Y.: Secure outsourcing of modular exponentiations in cloud and cluster computing. Cluster Comput. 19(2), 811–820 (2016)CrossRefGoogle Scholar
  21. 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)CrossRefGoogle Scholar
  22. 22.
    Jamoussi, A.: An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases. IEEE, Washington, DC (1997)Google Scholar
  23. 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)CrossRefGoogle Scholar
  24. 24.
    Michael, C.C., McGraw, G., Schatz, M.A.: Generating software test data by evolution. IEEE Trans. Softw. Eng. 27(12), 1085–1110 (2001)CrossRefGoogle Scholar
  25. 25.
    Glover, F.: Tabu search for nonlinear and parametric optimization (with links to genetic algorithms). Discret. Appl. Math. 49(1–3), 231–231 (1994)MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Janosek, M., Volna, E., Kotyrba, M.: Knowledge discovery in dynamic data using neural networks. Cluster Comput. 18, 1411–1421 (2015)CrossRefGoogle Scholar
  27. 27.
    Kianpisheh, S., Charkari, N.M., Kargahi, M.: Ant colony based constrained workflow scheduling for heterogeneous computing systems. Cluster Comput. 19, 1053–1070 (2016)CrossRefGoogle Scholar
  28. 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 2009Google Scholar
  29. 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 2009Google Scholar
  30. 30.
    Goguen, J., Malcolm, G.: A hidden agenda. Theor. Comput. Sci. 245(1), 55–101 (2000)MathSciNetCrossRefMATHGoogle Scholar
  31. 31.
    Sannellla, D., Tarlecki, A.: On observational equivalence and algebraic specification. J. Comput. Syst. Sci. 34, 150–178 (1987)MathSciNetCrossRefMATHGoogle Scholar
  32. 32.
    Machado, P.: On oracles for interpreting test results against algebraic specifications. In: AMAST’98. LNCS 1548. Springer, Berlin, pp. 502–518 (1998)Google Scholar
  33. 33.
    Ma, Y.-S., Offutt, J., Kwon, Y.R.: MuJava: an automated class mutation system. STVR 15(2), 97–133 (2005)Google Scholar
  34. 34.
    Mukhar, K., Zelenak, C., Weaver, J.L., Crume, J.: Beginning Java EE 5 From Novice to Professional. Apress, Berkely (2005)Google Scholar
  35. 35.
    Rima Patel, S., Gerald, B., Micah, S.: Mastering Enterprise Java Beans 3.0. Wiley, New York (2006)Google Scholar
  36. 36.
    Fleury, M., Stark, S., Richards, N.: JBoss 4.0—The Official Guide. Pearson Education, London (2005)Google Scholar
  37. 37.
    Bodoff, S., Green, D., Haase, K., Stearns, B.: The J2EE Tutorial, 2nd edn. Pearson Education, Upper Saddle River (2004)Google Scholar
  38. 38.
    Kumar, B.V., Sangeetha, S., Subrahmanya, S.V.: J2EE Architecture. Apress, Berkeley (2003)Google Scholar
  39. 39.
    Henkel, J.: Discovering and debugging algebraic specifications for Java classes. PhD Thesis, University of Colorado at Boulder (2004)Google Scholar
  40. 40.
    Sannellla, D., Tarlecki, A.: On observational equivalence and algebraic specification. J. Comput. Syst. Sci. 34, 150–178 (1987)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2016

Authors and Affiliations

  1. 1.Swan collegeCentral South University of Forestry and TechnologyChangshaChina
  2. 2.School of Computer and Information EngineeringHunan University of CommerceChangshaChina

Personalised recommendations