정보처리학회논문지D (The KIPS Transactions:PartD)

한국정보처리학회 (Korea Information Processing Society)
권호 표지

컴포넌트 기반 개발에서 처리 부품들의 합성을 검증하는 방안

A Validation Technique for Process Component Composition in the Component-Based Development Process

  • 발행 : 2001.10.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

컴포넌트 기반 소프트웨어 개발 방법은 점증하는 소프트웨어의 복잡성에 대처하고, 생산성을 높일 수 있는 가장 주요한 수단의 하나로 인식되고 있다. 이 논문은 자료흐름 시스템 구조에 따른 설계서로 부품을 합성하여 소프트웨어를 개발하는 경우에, 두 부품의 영역관계를 분석하였다. 그 결과로 조립 시에 개별 부품들의 시험 자료를 이용하여 통합을 위한 시험 자료를 생성하는 방안을 제시하였으며, 이는 통합을 효과적으로 검증할 수 있게 해 준다. 또한 실험을 통해서 제안된 기법의 실제 적용 가능성을 보였다. 이 연구에서 사용한 영역 분석은 영역 시험 기법을 응용한 것이다.

Component-based development methods are regarded as one of the most important tools for us to cope with ever-increasing software complexity and, at the same time, to improve productivity in software development. This paper presents how to generate test-cases for integrated software from those of member components and how to validate composition of components, by the analysis of domain relations of components. This paper shows the applicability of the proposed technique by the real experiment. This study is based on the dataflow systems architecture and process components, and the technique developed here is an application of domain testing technique.

키워드

참고문헌

  1. C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985
  2. M. Shaw and D. Garlan, 'Software Architecture: Perspectives on an emerging discipline,' Prentice Hall, 1995
  3. Mary Shaw, Comparing Architectural Design Style, IEEE Software, pp.27-41, Nov. 1996 https://doi.org/10.1109/52.469758
  4. B. Beizer, 'Software Testing Techniques,' 2nd Ed., Van Nostrand Reinhold, 1990
  5. James A. Whittaker, 'What Is Software Testing? And Why Is It So Hard?,' IEEE Software, pp.70-79, January, 2000 https://doi.org/10.1109/52.819971
  6. Y. G. Kim, et al, Test cases generation from UML state diagrams, IEE Proc. Software, Vol.146, No.4, pp.187-192, August, 1999 https://doi.org/10.1049/ip-sen:19990602
  7. M. J. Harrold and M. L. Soffa, 'Selecting and Using Data for Integration Testing, 'IEEE Software, pp.58-65, March, 1991 https://doi.org/10.1109/52.73750
  8. Elaine J. Weyuker, 'The Component-Based Software: A Cautionary Tale,' IEEE Software, pp.54-59, Sept./Oct. 1998 https://doi.org/10.1109/52.714817
  9. Robert V. Binder, Testing Objects: State-Based Testing, Object Magazine, July/August and Sept./Oct. 1995
  10. Paul C. Jorgensen and Carl Erickson, Object-Oriented Integration Testing, CACM, pp.30-38, September, 1994
  11. Gail C. Murphy, et al, Experiences with Cluster and Class Testing, CACM, pp.39-47, Sept. 1994
  12. Alan W. Brown and Kurt C. Wallnau, 'The Current Status of CBSE,' IEEE Software, pp.37-46, Sept./Oct. 1998 https://doi.org/10.1109/52.714622
  13. Michael Sparling, Lessons Learned Through Six Years of Component-Based Development, CACM, pp.47-53, October, 2000
  14. D. Garlan, et. al, 'Architectural Mismatch: Why Reuse is So Hard,' IEEE Software, pp.17-26, Nov. 1995 https://doi.org/10.1109/52.469757
  15. Amy M. Zaremski and Jeannette M. Wing, Specification Matching of Software Components, ACM TSEM 6(4), pp.333-369, October, 1997
  16. 윤희진 등 'UML 기반 콤포넌트 통합 테스팅' 정보과학회논문지(B), 제26권 제9호, pp.1105-1113, 1999
  17. 김은주, 최은만, '시나리오를 이용한 객체 지향 시스템의 통합 테스트', 한국정보처리학회논문지, 제5권 제9호, pp.2312-2322, 1998
  18. 김대수, 장재건, 전산 수학, 생능출판사. 2000