Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2004.11a
  • /
  • Pages.365-368
  • /
  • 2004
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

Applying Design by Contract for software component design in C++

C++에서 올바른 소프트웨어 콤포넌트 설계를 위한 Design by Contract 활용

  • Kwak Jongseob (Department of Computer Engineering, Dong-A University) ;
  • Kwon Keehang (Department of Computer Engineering, Dong-A University)
  • 곽종섭 (동아대학교 컴퓨터공학과) ;
  • 권기항 (동아대학교 컴퓨터공학과)
  • Published : 2004.11.01
Download PDF
⟨ Previous Next ⟩

Abstract

소프트웨어 신뢰성을 보장하기 위한 Eiffel의 Design by Contract[1,2] 기법은 프로그램 코드 안에 코드가 뜻하는 바를 함께 기술하는 것으로 소프트웨어가 명세의 주어진 조건에 따라 정확히 동작하도록 하고 있다. 그것은 재사용성이 높은 콤포넌트를 기반으로 하는 콤포넌트 기반 소프트웨어 개발방법에 있어서 중요한 특징이다. 본 논문에서는 C++언어의 타입 상속에서 올바른 의미적 타입 계층구조를 유지할 수 있도록 Design by Contract 기법을 적용하고, 기능을 활용할 수 있는 방안을 제시하였다. 또한, 객체지향 프로그래밍에 있어서 올바른 타입 구조를 형성할 수 있도록 하여, 견고한 소프트웨어 콤포넌트를 제작할 수 있도록 유도하였다.

Keywords