권호 표지

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

한국정보처리학회 (Korea Information Processing Society)

  • 격월간
  • /
  • 1598-2866(pISSN)

과학기술표준분류

  • 정보/통신 ＞ 정보이론

Aim & Scope

The KIPS Transactions:PartD publishes original research papers in information processing mainly focusing on all topics related to information systems and knowledge systems including theoretical studies, infrastructure and related technologies. Application oriented papers are also accepted. Technical fields of this journal in detail are as follows; database systems, software engineering, e-commerce, data mining, geographic information system, information retrieval, and computer education.

KSCI

제10D권5호

  1. 고병선;박재년 745
    https://doi.org/10.3745/KIPSTD.2003.10D.5.745 PDF KSCI
    소프트웨어 개발의 독립성과 높은 생산성을 향상시키기 위한 재사용 기술로 컴포넌트 기반 개발 방법론은 널리 사용되게 되었다. 소프트웨어의 품질을 향상시키기 위해서는 측정 가능해야 하므로, 컴포넌트의 특성을 반영한 컴포넌트 메트릭스가 필요하다. 따라서 본 논문에서는 컴포넌트 기반 시스템의 컴포넌트 설계 정보에 기반한 컴포넌트 응집도와 결합도 메트릭스를 제안한다. 오퍼레이션이 컴포넌트의 서비스를 제공하기 위해 공통으로 사용하는 클래스에 대한 정보를 이용해 오퍼레이션 사용도를 구하고, 이를 통해 오퍼레이션 유사도를 구한다. 컴포넌트 응집도와 결합도는 오퍼레이션 유사도에 의해 계산되며, 컴포넌트 분석 단계에 추출 가능한 정보로부터 계산된다. 그리고 사례 연구를 통해 컴포넌트 메트릭스의 필요성을 객체지향 메트릭스와의 비교를 통해 살펴본다.
  2. 김귀정;한정수;송영재 753
    https://doi.org/10.3745/KIPSTD.2003.10D.5.753 PDF KSCI
    컴포넌트 검색을 위한 많은 방법론이 제시되고 있고 그 중 유사 컴포넌트 검색을 위한 시소러스 개념이 도입되고 있다. 본 논문은 컴포넌트의 효율적인 검색을 위하여 컴포넌트를 구성하는 클래스들을 상속관계에 따라 개념적으로 분류하였고, 시소러스 방법에 퍼지 논리를 적용하여 객체지향 시소러스를 구축하였다. 제안한 방법은 개념들 사이의 범주를 자동으로 표현할 수 있으며, 각 클래스와 범주에 대한 매칭도와 비매칭도를 비교함으로서 클래스 사이의 퍼지 정도를 계산하여 시소러스를 구축하였다. 컴포넌트 검색은 컴포넌트를 구성하는 클래스들을 이용하여 유의어 테이블을 기반으로 후보 컴포넌트들을 검색한 후 퍼지 유사도 측정 방법을 이용하여 우선순위로 검색한다. 또한 시뮬레이션을 통하여 최적의 질의 확장 임계치를 설정함으로서 검색 성능을 크게 향상시켰다.
  3. 김운용;최영근 763
    https://doi.org/10.3745/KIPSTD.2003.10D.5.763 PDF KSCI
    디자인 패턴은 소프트웨어 생산성 향상을 위해 사용되는 효율적인 기술로써 인식되고 있다. 이러한 디자인 패턴은 소프트웨어 설계시 자주 발생되는 특정 상황에 대한 문제를 효과적으로 해결할 수 있는 방법을 제공한다. 현재까지 다양한 분야에 필요한 디자인 패턴들이 발견되고 이들의 활용성을 증명하는 연구가 진행되고 있다. 그러나 소프트웨어 개발에 이들 디자인 패턴을 효과적으로 적용시키기 위한 체계적인 접근방법에 대한 연구가 부족하다. 본 논문에서는 점진적 디자인 패턴 통합을 통한 패턴지향 소프트웨어 개발 방법을 제시한다. 이를 위해 먼저 디자인 패턴을 활용하는 개발 프로세스를 정의하고 이 프로세스에서 요구되는 점진적 디자인 패턴 통합기법 및 디자인 패턴 기반의 소프트웨어 설계관점을 보인다. 또한 소프트웨어 시스템에 존재하는 디자인 패턴의 효율적인 추적 및 관리방법을 제시한다. 이러한 과정은 피드백 프레임워크 시스템 설계를 통해 구체화된다. 소프트웨어 개발시 디자인 패턴을 이용한 체계적인 접근과 활용은 초기 개발 단계부터 디자인 경험과 기법들을 효과적으로 활용할 수 있게 함으로써 시스템 개발에 효율성을 증대시킨다. 그 결과보다 안정되고 재사용 가능한 시스템을 이끌어내고 개발 시간과 비용을 단축하는 효과를 제공할 것이다.
  4. 김정녀;손승원;이철훈 773
    https://doi.org/10.3745/KIPSTD.2003.10D.5.773 PDF KSCI
    SecuROS(Secure & Reliable Operating System) 시스템은 FreeBSD 4.3 운영체제 커널에 접근 제어, 사용자 인증, 감사 추적, 암호화 파일 시스템, 신뢰 채널 등의 보안 기능을 추가 구현하여 시스템에 발생 가능한 해킹을 방지하고 차단하는 시스템을 말한다. 본 논문에서는 SecuROS의 핵심 기술 중에 하나인 접근제어 기법을 기술하고, 해당 접근제어 정책인 DAC, MAC, RBAC의 구현 내용을 소개하며, 접근제어 정책의 적용에 따른 보안성과 성능 시험을 위한 도구 및 방법을 나타낸다. 기존의 운영체제 환경과 새로운 접근제어 정책을 적용한 환경 사이의 보안성 및 성능의 상관 관계를 기술한다.
  5. 양해술;편웅범;이정림;유규하 781
    https://doi.org/10.3745/KIPSTD.2003.10D.5.781 PDF KSCI
    오늘날 소프트웨어가 중심이 죄는 의료기기의 폭발적 증가로 인해 의료용 소프트웨어는 의료 서비스의 경쟁력 확보를 위한 중요한 수단이 되고 있으며 의료 서비스의 품질이 의료기기뿐만 아니라 의료용 소프트웨어의 품질에 지대한 영향을 받게 되었다. 그러나 의료용 소프트웨어의 품질에 관한 국내의 관련 연구ㆍ개발이 아직 미흡한 실정이며 의료용 소프트웨어의 품질저하로 인한 의료 서비스의 질적 저하를 유발할 수 있는 문제점이 발생할 수 있다. 따라서, 의료기기의 발전과 아울러 의료용 소프트웨어의 품질 향상을 통해 의료 서비스의 질적 수준을 제고할 필요가 있다. 따라서, 본 논문에서는 ISO/IEC 12119를 기반으로 의료용 소프트웨어를 시험하여 결과론 산출할 수 있는 시험모듈과 품질검사표를 개발하여 의료용 소프트웨어 시험에 적용할 수 있도록 하였다.
  6. 양해술;최민용;박인수 793
    https://doi.org/10.3745/KIPSTD.2003.10D.5.793 PDF KSCI
    최근 산업분야 제품의 양적, 질적 확대와 더불어 이와 관련된 응용 기술의 사용이 증가하고 있다. 그 중의 하나가 산업분야에서 사용되는 소프트웨어라 할 수 있는데, 이러한 소프트웨어는 현재 산업용 장비를 활용하는데 있어 가장 중요시되는 부분이라 할 수 있다. 따라서 산업용 장비를 이용하여 해당 작업을 수행하는데 있어 두뇌역할을 담당하는 소프트웨어는 그것의 품질에 따라 해당장비의 성능을 나타낸다 할 수 있다. 이러한 시점에서 산업용 장비에 내장되는 소프트웨어의 품질에 대한 평가와 측정 그리고 이를 통한 품질향상의 의식들이 고취되고 있으며 이러한 요구에 따라 관련된 노력들이 국ㆍ내외 적으로 이루어지고 있다. 이에 본 논문에서는 소프트웨어 품질을 측정, 평가하기 위하여 소프트웨어 일반적 품질 요구사항을 위한 국제표준인 ISO/IEC 12119, 소프트웨어 품질특성 및 부특성 평가를 위한 국제표준인 ISO/BC 9126을 바탕으로 평가 메트릭을 구축하였고, 이의 수행을 위하여 평가모듈의 구성을 위한 국제표준인 ISO/IEC 14598-6을 바탕으로 산업용 소프트웨어의 정량적인 품질을 측정, 평가하여 품질측정의 결과를 토대로 품질을 인증하는 산업용 소프트웨어 국제표준 적합성 인증 시스템을 설계 및 구현하였다.
  7. 이상식;김희철;송영재 805
    https://doi.org/10.3745/KIPSTD.2003.10D.5.805 PDF KSCI
    본 논문에서는 비동질 포아송 과정(NHPP)에 기초한 소프트웨어 에러 현상에 대한 신뢰도 모형을 고려하고 사전정보(Prior information)를 이용한 베이지안 추론을 시행하였다. 고장 패턴은 NHPP에 대한 강도함수와 평균값 함수로서 나타낼 수 있다. 따라서 본 논문에서는 대수형 포아송 실행시간 모형(Logarithmic Poisson model), Crow 모형 그리고 Rayleigh 모형에 대하여 베이지안 모수 추정방법을 적용하였다. 효율적 모형을 위하여 이들 모형에 관한 모형선택을 편차자승합(SSE)의 합을 이용하여 시행하였고 모수의 추정을 위해서 마코브체인 몬테카를로(MCMC) 기법중에 하나인 깁스샘플링(Gibbs sampling)과 메트로폴리스 알고리즘을 이용한 근사추정 기법이 사용되었다. 수치적인 예에서는 Musa의 T1 자료를 이용하여 모수 및 신뢰도를 추정한 수치 결과론 나열하였다.
  8. 권기현;이태훈 813
    https://doi.org/10.3745/KIPSTD.2003.10D.5.813 PDF KSCI
    모델 검사는 모델이 속성을 만족하는지를 판정하기 위해서 모델의 상태 공간을 철저하게 조사한다. NuSMV는 모델 검사를 자동으로 수행하는 도구로서 본 논문에서는 이와 같은 NuSMV를 이용하여 푸쉬 푸쉬 게임을 해결한다. 모델이 속성을 만족하지 않는 경우 NuSMV는 그 이유를 설명하는 반례를 생성하게 되는데 NuSMV에 구현되어 있는 반례 생성 방식은 상태 공간을 2번 탐색하기 때문에 게임 풀이에 비효율적이다. 본 논문에서는 반례 생성시 상태 공간을 한 번만 탐색하도록 NuSMV를 재 구현 하였다. 그 결과 게임 풀이에 있어서 원래 NuSMV 보다 약 62%의 시간 절감과 11%의 공간 절감이 있었다.
  9. 이하용;황석형;양해술 821
    https://doi.org/10.3745/KIPSTD.2003.10D.5.821 PDF KSCI
    패키지 소프트웨어는 그 특성상 동일한 유형에 속하는 다수의 제품 중에서 구매자가 적합하다고 판단되는 제품을 식별한 수 있어야 한다. 패키지 소프트웨어 제품에 대한 구매자의 선택 능력은 객관적인 품질 시험 절차와 방법을 통해 정해진 기준에 부합되는가를 판단할 수 있는 체계를 갖추고 있는가에 달려 있다. 이러한 체계를 구축하기 위해 패키지 소프트웨어에 적용할 수 있는 표준으로서 와 이 있다. 본 연구에서는 이러한 표준을 기반으로 패키지 소프트웨어에 대한 품질시험 프로세스를 구축하고 시험 메트릭과 적용 방법을 개발함으로써 구매자가 효과적으로 자신의 요구에 맞는 패키지 소프트웨어론 선택할 수 있는 체계를 구축하였다.
  10. 정혜정;양해술;박인수 829
    https://doi.org/10.3745/KIPSTD.2003.10D.5.829 PDF KSCI
    소프트웨어 신뢰도 성장 모델은 다양하게 연구되어져 있다. 그러나 이러한 모델에서 정확한 모수를 측정하는 것은 그리 쉽지 않다. 특히 고장 데이터에 대하여 소프트웨어 신뢰도 성장 모델의 추정이 정확히 이루어져야만 모델을 설명하는 모수의 추정도 정확하게 이루어질 수 있다. 이러한 측면에서 테스팅을 통해서 얻어진 소프트웨어의 고장 데이터의 정규확률점수를 구해서 두 개의 값에 대한 플롯을 그려보고 그려진 결과를 이용해서 분포를 예측하여 예측된 분포에 적합한 소프트웨어 신뢰도 성장 모델을 적용한다면 상당히 정확한 테스팅 결과론 얻을 수 있을 것이다. 본 논문에서는 고장 테이터의 플롯을 통한 결과를 통해서 분포를 예측하고 모델을 성능평가 척도에 따라서 모의실험을 하여 그 결과를 통해서 소프트웨어 신뢰도 성장 모델의 적합성을 검정하는 연구이다. 연구결과 고장데이터의 정규점수를 이용한 플롯을 보고 소프트웨어 신뢰도 성장 모델을 예측할 수 있었고 이러한 예측을 통해서 모델 선정한다면 모델의 성능평가에서도 우수함을 확인할 수 있다.
  11. 최규식 837
    https://doi.org/10.3745/KIPSTD.2003.10D.5.837 PDF KSCI
    소프트웨어를 개발하여 출시하기 전에 품질을 향상시키는 중요한 방법으로서 신뢰도를 향상시켜야 하며, 이의 직접적인 방법으로서는 테스트를 통하여 결함을 검출하고 수정해가는 것이다. 신뢰도가 목표치에 도달하면 이를 출시(release)하게 되며, 그 후로는 운영중의 신뢰도 문제가 발생하게 된다. 개발 출시된 소프트웨어가 패키지 소프트웨어라 불리는 범용 소프트웨어냐, 아니면 특수목적을 가진 전용 소프트웨어냐에 따라 운영 소프트웨어의 신뢰도 추이가 달라진다. 또한, 개발 테스트 단계의 테스트 노력이 일정하냐, 아니면 웨이불 곡선을 따르냐에 따라서도 신뢰 도 평가가 다르다. 본 논문에서는 주문형 소프트웨어에 대해서 일정 테스트 노력을 적용하는 경우와 웨이불 테스트 노력을 적용하는 경우의 운영단계 신뢰도 추이에 대해서 연구한다.
  12. 최일우;류성열 845
    https://doi.org/10.3745/KIPSTD.2003.10D.5.845 PDF KSCI
    1980년대 이후, 소프트웨어 위기에 대응하기 위한 다양한 소프트웨어 공학적 기법들이 출현하기 시작 하였고, 현재 소프트웨어의 질적 항상 및 생산성 향상을 꾀하기 위한 개발 지침으로 소프트웨어 개발 프로세스를 적용하는데 관심이 집중되어지고 있다. 그러나 대부분의 방법론들이 앞으로 구축한 새로운 시스템의 재사용성 확보에 치중할 뿐, 기존의 레거시 시스템 자원을 재사용하여 새로운 시스템을 구축하는 재공학 방법은 지원하지 못하고 있는 실정이다. 본 논문에서는 레거시 시스템의 효율적 진화를 위한 재공학 프로세스(Reengineering Process)로 RUP를 확장, 커스터마이징하여 구성한 RUP+re을 제시한다. RUP+re는 Small-h 모델을 바탕으로 크게 역공학 워크플로우(Reverse Engineering Workflow), 변환 워크플로우(Transformation Workflow), 진화 워크플로우(Evolution Workflow)로 구성되어진다. RUP+re의 각 워크플로우와 세부스텝을 제공하고 재공학 사례 연구론 통하여 실질적으로 프로세스를 검증함으로서 레거시 시스템 자원의 진화론 위한 소프트웨어 재공학 프로세스 구축에 효율적인 지침을 제공한다.
  13. 황석형;양해술;황영섭 859
    https://doi.org/10.3745/KIPSTD.2003.10D.5.859 PDF KSCI
    클래스계층구조는 객체지향 소프트웨어의 중심적인 구성요소가 되며, 따라서 이에대한 품질은 매우 중요하다. 좋은 품질을 갖춘 클래스계층 구조를 구축하는 것은 객체지향 소프트웨어 개발에 있어서 매우 중요한 작업이지만, 좋은 품질의 클래스계층구조를 구축하는 작업은 수월하지 않다. 더욱이, 반복 및 점증적인 소프트웨어 개발에 있어서, 요구사양에 적합하도록 개발중인 클래스계층구조를 재구성하거나 세련시키는 작업이 빈번히 발생한다. 따라서, 객체지향 개발자들이 이와같은 클래스계층구조의 재구성 작업을 수행할 경우에 도움이 될 수 있는 기법 및 도구들에 대한 관심이 증가하고 있다. 본 논문에서는, 클래스계층구조의 복잡도를 일정수준 측정가능한 몇가지 평가척도를 제안하고, 이러한 평가척도들을 바탕으로 클래스계층구조를 재구성하는 알고리즘들을 정의한다. 또한, 각 알고리즘들에 대하여, 알고리즘을 적용하기 전과 후의 각 클래스계층구조들로부터 생성할 수 있는 객체들의 집합이 변화하지 알고 보존됨을 증명하였다. 본 논문에서 제안하는 재구성기법은 클래스계층구조의 구축 및 재구성 등의 지침으로서 사용할 수 있으며, 이러한 평가척도들을 기반으로 하는 클래스계층구조의 재구성 알고리즘들은 객체지향 소프트웨어 개발시에 유용한 도구로서 개발자들에게 도움이 될 수 있다.