$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 유스케이스 기반 테스트 케이스 생성 기법
Test Case Generation Techniques based on Use Cases for Interoperability Test of Component-Based software 원문보기

정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용, v.36 no.5, 2009년, pp.361 - 375  

유철중 (전북대학교 응용시스템공학부) ,  노혜민 (전북대학교 전자정보 BK사업단)

초록
AI-Helper 아이콘AI-Helper

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

Abstract ▼ AI-Helper 아이콘AI-Helper

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 ...

주제어

#상호운용성 테스트   #테스트 케이스 생성  

참고문헌 (27)

  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 

    상세보기 crossref

  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 

    상세보기 crossref

  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 

    crossref

  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 

    상세보기 crossref

  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 

    상세보기 crossref

  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 

    상세보기 crossref

  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 

저자의 다른 논문 :

LOADING...

관련 콘텐츠

이 논문과 함께 이용한 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로