• 한국정보처리학회논문지
• /
• 제6권5호
• /
• pp.1280-1290
• /
• 1999

기존의 수정 영향 분석은 단일 환경을 기반으로 하기 때문에 분산 환경에 직접 적용하기 어렵다. 본 논문에서는 분산 환경에서 객체지향 소프트웨어의 수정 영향을 분석한다 객체지향 소프트례어의 수정을, 자료, 매소드, 클래스의 집합으로 구분 하여 수정 영향을 분석하였으며, 분석 결과를 DPDG(Oistributed Program Dependency Graph)에 표현하였다. DPDG는 분산 환경에서의 객체지향 소프트웨어들의 관계를 메소드, 자료요소, 클래스, 설계 문서, 서버 등을 사용하여 그래프에 표시한다 DPG는 소프트웨어에 수정 발생 시, 재시험하여야하는 소프트웨어 요소를 찾기 위한 그래프이다 따라서, DPDG를 통해 재 시험에 드는 노력을 절약할 수 있다 본 논문에서는,OPDG를 통해 발견된 절약된 재시험 요소를 방화벽 테이블로 나타내었 으며, 이를 구현하여 본 논문에서 설계한 시험 지원도구 VIST(Visua! Infonnation Structure Tester)에서 사용하였다. VIST 는 절약된 방화벽을 사용하여, 분산 객체지향 소프트웨어 시험에 드는 노력과 비용을 절약하는 도구이다.

• 한국항해항만학회지
• /
• 제36권8호
• /
• pp.637-641
• /
• 2012

본 논문에서는 저전력 수중음향통신 시스템을 구현하기 위해 선형 등화기에 최적화된 탭 길이를 결정하는 기법을 제안하였다. 먼저 선형 등화기에서 탭 길이와 결정지연과의 관계를 조사하였다. 이 결과를 토대로 일정 이상 MSE(Mean Square Error) 성능을 만족하는 탭 길이에 대하여 분산을 구하고 이를 활용하여 최적의 결정 지연 범위가 추정된다. 또한 탭 길이에 따른 최적의 결정지연을 결정하기 위해 MSE 그래프를 도출하였으며, 이를 통해 최적의 값을 얻어냈다. 모의실험을 수행한 결과 최대의 탭 길이에서보다 40% 적은 탭 길이로도 충분한 성능을 보여주었으며, 동해 해상시험에서 획득한 데이타에 적용한 결과 탭 계수가 충분히 수렴했다고 볼 수 있는 최대 길이의 탭보다 33% 적은 탭 길이로 충분한 성능을 보여주었음을 확인하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.571-575
• /
• 2010

클래스 수준 뮤테이션 분석(class-level mutation analysis)의 경우, 동등 뮤턴트(equivalent mutant)는 전체 뮤턴트들의 개수에서 많은 비중을 차지하기 때문에 동등 뮤턴트의 검출은 뮤테이션 수행 비용 절감에 매우 중요하다. 하지만 현재까지 클래스 수준 뮤테이션을 대상으로 동등 뮤턴트를 검출하는 연구는 미미한 실정이다. 본 논문에서는 클래스 수준 뮤테이션을 대상으로 의존성 그래프(dependency graph)를 이용하여 동등 뮤턴트를 검출하기 위한 기법을 제안한다. 제안한 기법은 인트라-클래스(intra-class) 수준에서 정적분석을 수행함으로써 인트라-메소드(intra-method) 수준의 분석 방법을 사용하는 기존의 연구들이 검출할 수 없었던 클래스 수준 동등 뮤턴트를 검출할 수 있었다.

• 정보처리학회논문지D
• /
• 제15D권1호
• /
• pp.87-98
• /
• 2008

임베디드 시스템의 하드웨어 구성요소들에 대한 성능 고도화가 요구됨에 따라 이에 탑재될 소프트웨어의 개발 방법도 영향을 받고 있다. 특히 MPSoC와 같은 고가의 하드웨어 아키텍처에서는 효율적인 자원의 사용 및 성능의 향상을 위해 소프트웨어 측면에서의 고려가 필수적으로 요구된다. 따라서 본 연구에서는 임베디드 소프트웨어 개발과정에서 멀티프로세서 기반의 하드웨어 아키텍처를 고려하는 소프트웨어 태스크의 분할기법을 제시한다. 제시하는 기법은 UML 기반의 소프트웨어 모델을 CBCFG (Constraints-Based Control Flow Graph)로 변환하고, 이를 병렬성과 데이터 의존성을 고려한 소프트웨어 컴포넌트로 분할하는 기법이다. 이러한 기법은 임베디드 소프트웨어의 플랫폼 의존적인 모델 개발과 태스크 성능 예측 등을 위한 자료로 활용할 수 있다.

• 한국정보처리학회논문지
• /
• 제6권12호
• /
• pp.3523-3529
• /
• 1999

본 논문에서는 메소드를 기본 단위로 하는 객체 지향 소프트웨어의 개선된 선택적 회귀 테스팅 방법을 제안한다. 테스팅 방법은 세 단계로 구성하였다. UML 표기법을 이용하여 변경 전 프로그램과 변경 후 프로그램의 객체 관계 그래프와 클래스 의존 그래프(Class Dependency Graph)를 정의한 후, 의존 그래프의 노드 비교를 통하여 변경된 노드와 변경에 의하여 영향을 받는 노드들을 찾는다. 변경 전 테스트케이스 테이블에서 변경된 노드와 변경에 의해 영향을 받는 노드들을 통과하는 테스트케이스를 선택하여 회귀 테스팅을 위한 테스트케이스 집합을 구성한다. 제안한 테스팅 방법을 사용함으로써 테스트해야할 테스트케이스 수가 줄어들고, 변경 전 프로그램의 테스트케이스를 재사용 함으로써 테스팅의 시간과 비용을 절감할 수 있다.

• 만화애니메이션 연구
• /
• 통권33호
• /
• pp.403-423
• /
• 2013

영상 이미지 감성으로 행복 또는 불행, 긴장 또는 평온의 구분 감성을 트리형식으로 가중치를 부여하여 평가한다. 영상 이미지 대표평가 감성인 명도대비를 평가 기준으로 1차는 행복, 불행 또는 긴장, 평온이고 2차는 종속성을 지닌 세분화된 영상 이미지 감성으로 구분한다. 4개의 감성인식을 수치화 된 명도대비 데이터로 측정한다. 평가 구현은 OpenCV를 통해 명도대비를 그래프화하여 긴장, 평온, 행복, 불행 값의 변화에 따라 4개 감성으로 구분하여 컴퓨팅한다. 감성 컴퓨팅은 명도대비의 입력 값에 따라 '불행'을 '행복'으로 또는 '긴장'을 '평온'으로 감성적인 변화를 구현한다. 감성 컴퓨팅은 영상 감성의 규칙성을 계산화 된 컴퓨팅 시스템으로 제어할 수 있고 명도대비 값에 따라 감성의 변화를 구현한다. 향후 산업방향에 감성 인식의 적용에 대한 긍정적인 역할을 할 것이다.

• 정보과학회 논문지
• /
• 제43권5호
• /
• pp.541-552
• /
• 2016

본 논문은 분산 이동 실시간 시스템의 분석과 명세에서 프로세스와 시스템의 복잡도를 획기적으로 감소하기 위한 방법으로 새로운 이음 선택(Conjunctive Choice) 및 여 선택(Complement Choice) 연산을 제안한다. 여 선택 연산은 두 프로세스의 선택(Choice) 연산이 연동하여 동일한 선택을 도출함을 표현한다. 이음 선택 연산은 프로세스 내의 일련의 선택 연산들 간의 의존성을 표현한다. 이음 선택 연산은 프로세스 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 마찬가지로 여 선택 연산은 시스템 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 그리하여 복잡도가 획기적으로 감소하게 되어 시스템의 명세와 분석이 용이하게 된다. 이 선택 연산은 ${\delta}$-Calculus 프로세스 대수에서 구현하였다. 또한 예제를 ADOxx 플랫폼에서 개발한 SAVE 도구를 사용하여 보여줌으로써 효과와 효율성을 제시한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제33권10호
• /
• pp.722-733
• /
• 2006

계층적 압축 기법을 지원하는 스트리밍 시스템 응용은 제한된 네트워크 자원의 효과적인 활용과 사용자가 느끼는 화질을 최대로 해야 한다. 이를 위해서는 적절한 전송 계층의 선택 및 패킷 인터벌 결정이 이루어져야 한다. 본 논문에서는 계층이 갖는 화질의 영향력을 바탕으로 패킷 인터벌 결정 및 계층 선택 알고리즘 SAPS를 제시한다. 인터-프레임 압축 기법을 사용하는 비디오 스트리밍 시스템에서 패킷 손실의 감소만으로는 재생 화질의 향상을 이룰 수 없고, 재생 화질에 높은 영향력을 가진 패킷의 복원율이 높아질 때, 비로소 재생 화질이 향상된다. SAPS는 패킷의 의존성 그래프를 바탕으로 전송 계층을 결정하며, 이렇게 결정된 전송 계층은 사용자가 느끼는 서비스의 품질을 최대로 만든다. 또한, 선택된 계층에 대한 패킷의 인터벌 조절을 통해 계층 선택에 의한 효과가 유지되도록 한다. 실험을 통해 SAPS 알고리즘이 사용자가 느끼는 서비스 품질의 향상뿐만 아니라, 네트워크 자원 활용도 효과적으로 이루고 있음을 보여준다.

• 한국통신학회논문지
• /
• 제31권1C호
• /
• pp.87-92
• /
• 2006

[ $AB^2$ ]연산은 공개키 암호화 시스템을 위한 효율적인 기본 연산으로 알려져 있고 이를 위한 다양한 하드웨어가 설계되었다. 그러나 이들 구조들은 암호학적 응용에 사용되기에는 구조복잡도가 크다는 문제점이 있었다. 본 논문에서는 GF($2^m$)상에서 공간 효율적인 분할된 $AB^2$ 시스톨릭 모듈러 곱셈기를 설계한다. MSB $AB^2$ 모듈러 곱셈 알고리즘으로부터 데이터 의존 그래프를 유도하고 유도된 의존 그래프를 1/3로 분할함으로서 공간 효율적인 분할된 $AB^2$ 시스톨릭 곱셈기를 설계한다. 본 논문에서 제안한 곱셈기는 기존의 곱셈기와 비교하여 2/3정도의 구조 복잡도를 줄일 수 있다. 본 논문에서 제안한 구조는 크기에 제한을 갖는 스마트 카드 등에서 사용될 공개키 암호의 핵심이 되는 지수기의 구현을 위한 효율적인 기본구조로 사용될 수 있을 것이다.

• 한국정보처리학회논문지
• /
• 제6권2호
• /
• pp.261-274
• /
• 1999

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다.