Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Test Case Generation Techniques based on Use Cases for Interoperability Test of Component-Based software

컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 유스케이스 기반 테스트 케이스 생성 기법

  • 유철중 (전북대학교 응용시스템공학부) ;
  • 노혜민 (전북대학교 전자정보 BK사업단)
  • Published : 2009.05.15
Download PDF
⟨ Previous Next ⟩

Abstract

The major concern of component users who develop applications using the existing components is to confirm whether a component is collaborating with the different components in accordance with the requirements. Therefore, interoperability testing whose role is to check whether components collaborate with each other within the new operating environment not within the component development content of each component is considered as an importance research topic. In this paper, we propose a test case generation technique for interoperability test of component based software. The proposed technique defines a test model for generating test cases. The proposed technique generates test models from the use case specification and thereafter from these models, test cases for Interoperability testing are derived. In addition, we describe a tool which Implements the procedures for generating test sequences from test models.

사전 제조된 컴포넌트들을 재사용하여 애플리케이션을 개발하는 컴포넌트 사용자의 관심사는 사용자의 요구사항에 따라 적절히 다른 컴포넌트들과 협동하는지 여부를 확인하는 것이다. 따라서 컴포넌트 기반 소프트웨어의 경우 개발 환경이 아닌 새로운 환경에서 소프트웨어를 구성하는 컴포넌트들이 잘 연동되는지를 테스트할 수 있는 상호운용성 테스트에 관련된 연구가 중요시되고 있다. 본 논문에서는 컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 테스트 모델을 정의하고, 유스케이스 명세로부터 테스트 모델을 생성한 후 생성된 모델로부터 테스트 케이스를 생성하는 기법을 제안한다. 또한 테스트 모델로부터 테스트 시퀀스를 생성하는 프로시저를 구현한 도구를 소개한다.

Keywords

References

  1. Peter Hersum, Oliver Sims, Business Component Factory, Wiley, 2000
  2. Hans-Gerhard Gross, Component-Based Software Testing with UML, Springer, 2004
  3. International Software Testing Qualification Board, Standard glossary of terms used in Software Testing Version 1.2., 2006
  4. J. Clark, C. Clarke, S. DePanfilis, G. Granatella, P. Predonzani, A. Sillitti, G. Succi, and T. Vernazza. 'Selecting Components in Large COTS Repositories,' Journal of Systems and Software, 2005 https://doi.org/10.1016/j.jss.2003.09.019
  5. Object Management Group, Model Driven Architecture-Resource Page, Technical Report, http://www.omg.org, 2004
  6. E.J. Weyuker. The Trouble with Testing Components, In Component-Based Software Engineering, Heineman/Councill (Eds). Addison-Wesley, 2001
  7. Jos Warmer, Anneke Kleppe. The Object Constraint Language Second Edition Getting your Models Ready for MDA. Addison-Wesley, 2003
  8. S.Dalal et al., 'Model-Based Testing in Practice,' Proc. 1999 Int'l Conf. Software Eng.(ICSE99), ACM Press, pp. 285-294, 1999
  9. G. T. Heineman and W. T. Council (Eds). Component- Based Software Engineering, Addison-Wesley, Boston, 2001
  10. J.Z. Gao, H.-S.J. Tsao, and Y. Wu. Testing and Quality Assurance for Component-Based Software. Artech house, 2003
  11. J. Gao. 'Challenges and Problems in Testing Software Components'. In Workshop on Component-Based Software Engineering(ICSE 2000), Limerick, June 2000
  12. R. Hao, D Lee, R. K. Sinha, N. Griffeth, 'Integrated System Interoperability Testing with Applications to VoIP,' IEEE/ACM Transactions on Networking, Vol.12, Issue 5, pp. 23-836, 2004 https://doi.org/10.1109/TNET.2004.836136
  13. N. Griffeth, R. Hao, D. Lee, R. K. Sinha, 'Interoperability Testing of VoIP Systems,' Global Telecommunications Conference, Vol.3, pp. 1565-1570, 2000
  14. Bind, Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley, 2000
  15. European Telecommunications Standards Institute (ETSI). The Testing and Test Control Notation -Part 1. Technical Report, 2003
  16. IEEE. IEEE Standard for Software Test Documentation, IEEE Std 829. 2000
  17. MIAO Hauikou and LIU Ling, 'A Test Class Framework for Generating Test Cases from Z Specifications,' 6th IEEE International Conference on Complex Computer Systems(ICECCS'00), Tokyo, Japan. pp. 164-171, 2000 https://doi.org/10.1109/ICECCS.2000.873941
  18. Neto, A.D., Subramanyan, R., Vieira, M., Travassos, G.H., Shull, F., 'Improving Evidence about Software Technologies: A Look at Model-Based Testing,' Software, IEEE Volume 25, Issue 3, pp. 10-13, 2008 https://doi.org/10.1109/MS.2008.64
  19. S. Ali et al., 'A State-based Approach to Integration Testing Based on UML Models,' Information and Software Technology, pp. 1087-1106, Nov. 2007 https://doi.org/10.1016/j.infsof.2006.11.002
  20. E. Bernard et al., 'Model-Based Testing from UML Models,' Proc. Int'l Workshop on Modelbased Testing (MBT 2006), Lecture Notes in Informatics, vol. P-94, pp. 223-230, 2006
  21. L.C. Briand, Y. Labiche, and J. Cui, Towards Automated Support for Deriving Test Data from UML Statecharts, tech. report, Carleton Univ., 2004
  22. Y.G. Kim et al., 'Test Cases Generation from UML State Diagrams,' Software, vol. 146, no. 4, pp. 187-192, 1999
  23. J. Chang and D.J. Richardson, 'Structural Specification-based Testing: Automated Support and Experimental Evaluation,' Sigsoft Software Eng. Notes, pp. 285-302. Nov. 1999
  24. A. Paradkar, 'Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications,' Proc. 15th Int'l Symp. Software Reliability Eng. (Issre 04), IEEE CS Press, pp. 173-184, 2004
  25. A. Sinha and C. Smidts, 'An Experimental Evaluation of a Higher-Ordered-Typed-Functional Specification-based Test-Generation Technique,' Empirical Software Eng., Vol.11, No.2, pp. 173-202, 2006 https://doi.org/10.1007/s10664-006-6401-9
  26. L. Tan, O. Sokolsky, and I. Lee, 'Specificationbased Testing with Linear Temporal Logic,' Proc. IEEE Int'l Conf. Information Reuse and Integration (IEEE IRI-2004), IEEE Press, pp. 483-498, Nov. 2004
  27. Andaloussi, B.S., Braun, A., 'A Test Specification Method for Software Interoperability Tests in Offshore Scenarios: A Case Study,' Global Software Engineering, 2006. ICGSE '06. International Conference on, pp. 169-178, Oct. 2006