Part D : 데이터베이스 ; 멀티미디어 데이터베이스에서 SMIL 을 이용한 질의어 확장 및 프리젠테이션 시스템의 구현

이중화(Jung Hwa Lee),이종환(Jong Hwan Lee),유영호(Young Ho Yu),김경석(Kyong Sok Kim)  한국정보처리학회, 정보처리학회논문지D [2001] 제8권 제1호, 44~53페이지(총10페이지)

멀티미디어 데이터베이스 시스템에서 멀티미디어 데이터를 질의하고 결과를 어떻게 프리젠테이션 할 것인가 하는 것은 매우 중요하다. 또한 질의 결과를 다양한 응용에서 사용하기 위해서는 보다 일반화된 형태로 질의결과를 제공해야 한다.본 논문에서는 W3C의 권고안인 SMIL에서 제공하는 멀티미디어 프리젠테이션의 기능적 요소들을 질의어에서 지원하도록 함으로써 보다 일반화된 형태로 질의어를 확장하고, 또한 다양한 응용에서 사용하도록 하기 위해서 질의 결과를 SMIL 형태로 제공하도록 한다.

TAG presentation, multimedia, database

Part D : 소프트웨어공학 ; 재사용을 위한 소프트웨어 아키텍쳐 재구성

안치돈(Chi Don Ahn),왕창종(Chang Jong Wang)  한국정보처리학회, 정보처리학회논문지D [2001] 제8권 제1호, 54~61페이지(총8페이지)

소프트웨어 아키텍쳐는 설계 과정 동안 수정과 대체로 인해 변경될 수 있고, 소프트웨어 개발에 적합한 설계는 하나 이상 존재할 수 있으므로 개발자는 다양한 관점에서 설계된 아키텍쳐의 서로 다른 버전들을 유지 관리할 수 있는 방법과 아키텍쳐의 변경 요소들을 효율적으로 명세할 수 있는 방법이 필요하다. 본 논문에서는 기존에 이미 정의되어 있는 아키텍쳐와 이를 재사용하여 설계한 새로운 아키텍쳐를 통합된 구조의 소프트웨어 아키텍쳐로 재구성할 수 있는 방법과 재구성 아키텍쳐 명세에 필요한 명세 요소와 명세 구조에 대해 정의하고 있다. 제안된 통합 구조의 명세 방법은 아키텍쳐 설계 과정에서 다양한 개발자 관점에서 정의된 아키텍쳐들을 참조 및 재사용할 수 있는 방법을 제공한다.

TAG Architecture Restructuring, Specification Reuse, Design Versioning

Part D : 소프트웨어공학 ; 정형기법에 의한 재사용 컴포넌트 및 인터페이스 명세 기술 연구

서동수(Dong Su Seo)  한국정보처리학회, 정보처리학회논문지D [2001] 제8권 제1호, 62~70페이지(총9페이지)

소프트웨어 컴포넌트의 기능에 대한 정확한 서술은 컴포넌트의 활용을 위한 필수 조건이며 특히, 실시간 시스템과 같은 엄밀성을 요하는 분야에는 더욱 중요한 요소로 작용한다. 본 논문에서는 컴포넌트의 이해를 높이는 수단으로 패턴에 기반한 정형적 표현 및 검증에 관한 내용을 소개한다. 특히 본 논문은 컴포넌트 기능 서술 시 VDM++를 이용하는 명세 방법, 주어진 명세에 대한 정제와 적합성 검증에 관한 정형기법의 활용방법을 제시한다.

TAG formal methods, software components, design patterns

Part D : 소프트웨어공학 ; Unified Process 의 분석 클래스에 대한 복잡도 척도

김유경(Yu Kyung Kim),박재년(Jai Nyun Park)  한국정보처리학회, 정보처리학회논문지D [2001] 제8권 제1호, 71~80페이지(총10페이지)

구조적 개발 방법론에 적용하도록 만들어진 복잡도 척도들은 클래스, 상속성, 메시지 전달 그리고 캡슐화와 같은 객체지향의 개념에 직접적으로 적용할 수 없다. 또한, 기존의 객체지향 소프트웨어에 대한 척도의 연구는 프로그램의 복잡도나, 설계 단계의 척도가 대부분이었다. 실제로 분석 단계 클래스의 복잡도를 낮춤으로써, 시스템의 개발 노력이나 비용 및 유지보수 단계에서의 노력이 크게 줄어들게 되므로, 분석 클래스에 대한 복잡도를 측량하기 위한 척도가 필요하다. 본 논문에서는 객체지향 개발방법론인 Unified Process의 분석 단계에서 추출되는 분석 클래스에 대하여 복잡도를 측정할 수 있는 새로운 척도를 제안한다. 협력의 복잡도 CC(Collaboration Complexity)는 가능한 협력의 최대 수로서 클래스가 잠재적으로 얼마나 복잡할 수 있는지를 측정하...

TAG Object oriented, Complexity measurement, Class, Metrics

Part D : 소프트웨어공학 ; 유전자 알고리즘을 이용한 뮤테이션 테스팅의 테스트 데이터 자동 생성

정인상(In Sang Jung),창병모(Byeong Mo Chang)  한국정보처리학회, 정보처리학회논문지D [2001] 제8권 제1호, 81~87페이지(총7페이지)

소프트웨어 테스팅의 중요 목표 중의 하나는 '좋은' 테스트 데이터 집합을 생성하는 것으로 이는 매우 어렵고 시간이 걸리는 작업이다. 본 논문은 소프트웨어 테스팅을 위한 자동 테스트 데이터 집합 생성에 유전자 알고리즘을 적용하는 방법을 제시하며 자동 테스트 데이터 생성에서 유전자 알고리즘의 효용성을 보이기 위해 뮤테이션 테스팅을 도입한다. 본 연구는 테스트 데이터 생성 과정이 테스트 대상 프로그램의 구현에 대한 지식을 필요로하지 않는다는 점에서 다른 방법들과 다르다. 또한, 제안된 방법의 효용성을 보이기 위하여 몇 가지 실험을 통해서 블랙 박스 테스트 생성 기법인 랜덤 테스팅과 비교한다.

TAG test data, mutation, genetic algorithms

Part D : 소프트웨어공학 ; 패턴 정보를 이용한 설계패턴 검색 시스템 구축

김귀정(Gui Joung Kim),송영재(Young Jae Song)  한국정보처리학회, 정보처리학회논문지D [2001] 제8권 제1호, 88~98페이지(총11페이지)

본 연구는 설계패턴의 효율적인 관리와 재사용을 위하여 패턴 정보를 이용한 설계패턴 검색 시스템을 구축하였다. 패턴 정보는 패턴 속성정보와 패턴 메타정보로 구성하였고, 패턴 속성정보는 패턴 패싯 분류와 패턴 검색을 위한 유사도 측정에 이용되며, 패턴 구조를 UML로 모델링하기 위하여 패턴 메타 정보를 이용하였다. Gamma 분류 방법을 확장하여 각 설계패턴이 사용될 수 있는 여러 경험적 상황을 패싯 항목으로 설정하고 패턴 정보로 관리하였다. 또한 E-SARM 검색 방법을 사용하여 검색된 패턴은 메타정보를 이용하여 UML 클래스 다이어그램으로 나타낼 수 있도록 하였고, E-SARM을 설계패턴의 검색에 적용하여 최적의 결과를 얻을 수 있는 환경을 시뮬레이션 하였다. 패턴 뷰어를 통한 신규 패턴 등록이 가능하며, 등록된 패턴은 패턴 속성정보와 메타정보로 관리된다...

TAG design pattern retrieval system, design pattern, pattern information, facets classification, relative pattern, UML, E SARM

Part D : 소프트웨어공학 ; Z 를 이용한 컴포넌트 정형 명세 활동의 제안

장종표(Jong Pyo Jang),이상준(Sang Jun Lee),김병기(Byung Ki Kim)  한국정보처리학회, 정보처리학회논문지D [2001] 제8권 제1호, 99~104페이지(총6페이지)

소프트웨어 위기를 해결하기 위한 한가지 대응책으로 최근 컴포넌트기반 소프트웨어공학(혹은 컴포넌트웨어)이 등장하였다. 컴포넌트기반 소프트웨어공학을 이루는 관련 기술들 중 하나로써 컴포넌트기반 소프트웨어 개발 프로세스들이 제안되고 있다. 컴포넌트기반 소프트웨어 개발 프로세스중 컴포넌트 명세활동은 재사용 가능한 컴포넌트를 생성하기 위해서 꼭 필요하며 매우 중요한 활동이다. 그러나, 기존의 컴포넌트기반 소프트웨어 개발 프로세스에서는 컴포넌트 명세를 자연어로 기술함으로써 명세에 있어서 정확성을 갖지 못했고 사용자의 요구사항이 제대로 반영되었는지 검증할 수 있는 방법을 제공하지 못하고 있다. 본 논문에서는 정형방법에서 사용하고 있는 분석력과 논리성이 검증된 정형 명세 언어 Z를 이용하여 컴포넌트를 명세 하는 정형 활동을 제안하였다. 제안 활동은 5개의 태스크와 12개의 서브태...

TAG CBSE, CBD Process, Formal Methods, Z

101  102  103  104  105  106  107  108  109  110