• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.517-526
• /
• 2009

It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.140-143
• /
• 2010

소프트웨어를 유지보수하고 관리하는 과정에서 변경된 정보가 프로그램 구조에서의 어느 부분을 나타내고 그 변경이 전체 구조에서 어떤 영향을 미치는가에 대한 체계적이고 효율적인 관리방법이 필요하게 되었다. 기존의 상용화 프로그램에서 채택하고 있는 코드레벨에서의 라인과 라인상의 비교분석 정보만으로는 프로그램의 변경을 구조적인 관점에서 바라보기가 힘들었다. 이 논문에서는 역공학을 이용해서 변경전후의 프로그램 모델구조 정보를 얻고 그 정보를 서로 비교 분석하는 방법을 제시한다. 또, GMF(graphical modeling framwork)로 프로그램의 모델정보를 클래스 다이어그램 형태로 보여주며 비교분석된 정보를 다이어그램에서 보여줄 수 있는 시각화 규칙을 제시한다. 변경된 정보를 다이어그램에서 쉽게 파악할 수 있게 표현함으로써 프로그램 개발자가 아니라도 유지보수에서의 변경을 구조적으로 알 수 있고 관리할 수 있다.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.11
• /
• pp.173-177
• /
• 2012

This paper proposes a service which searches goods by images and finds a shopping mall site that offers referral services. In the service, images are obtained in various types. For example, paint function, images search based on pattern and shape. For this shopping mall system, it will be modeled using UML use case and class diagram. Also it will be implemented in JSP. It supports functions that searched various types of images by pattern and shape. In addition to features which were mentioned above, we aim to implement a shopping mall system to search and buy goods by improved information searching techniques, ultimately providing a space that realizes user's painting.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.41 no.6
• /
• pp.247-252
• /
• 2004

This paper proposes a matching algorithm using Voronoi diagram for rotation and translation invariant fingerprint identification. The proposed algorithm extracts geometrical structures that are derived from Voronoi diagram of a fingerprint image. Then two features, distances and angles are extracted from the geometrical structures and saved as indexing form for fingerprint matching. This matching algerian has a lower error rate than indexing based methods of old times.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.205-207
• /
• 2012

본 논문은 Use Case 기반 개발에서 요구사항부터 테스트 케이스를 자동 추출하는 메커니즘을 제안 하고자 한다. 제안한 메커니즘은 기존의 테스트케이스 생성 메커니즘을 Use Case 메커니즘과 접목한 것이다. 그리고 그 기반으로 자동 도구 구현을 통해 모든 가능한 테스트 케이스 추출하는데 있다. 이는 최소의 테스트 케이스로 100%의 기능적인 요구사항 커버리지 만족시킨다는 Gary 방법을 이용하고자 함이다. 이 도구의 단계는 확장된 UML 다이어그램으로부터 원인-결과 다이어그램을 전환 한 후, 결정 테이블화한다. 마지막 단계는 이를 통하여 테스트케이스가 자동적으로 발생 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.193-195
• /
• 2012

소프트웨어 시스템의 신뢰성과 안정성을 보장하기 위해서는 시스템에 내재된 결함을 가능한 많이 줄이는 것이 중요하다. 이는 테스팅을 통해 수행할 수 있으며, 상태 다이어그램을 기반으로 한 테스팅 기법들이 많이 연구되고 있다. 이러한 연구들은 상태와 전이의 경로 커버리지에 초점을 두고, 메시지 시퀀스에 따른 테스트를 고려한다. 하지만 메시지 시퀀스에 따른 테스트 케이스는 모두 정상적인 환경의 테스트 데이터를 반영하고, 그에 따라 무효한 테스트에 취약성을 보인다. 따라서 본 논문에서는 부가적인 산출물을 최소화하고, 시스템의 예외처리를 강화하기 위해 가상의 비정상 전이와 상태를 추가하여 상태 다이어그램으로부터 무효한 테스트 케이스를 도출하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.133-136
• /
• 2004

데이터 웨어하우스(Data Warehouse : DW)는 데이터베이스에 저장되어 있는 데이터를 신속한 의사 결정 지원을 위해 최종 사용자가 여러 곳의 기업 내에 흩어져 있는 방대한 데이터를 손쉽고 빠르게 접근할 수 있도록 활용되고 있다. 현재 데이터 웨어하우스의 중요성이 부각되고 있는 가운데 온라인 분석 처리(On Line Analytical Processing : OLAP) 시스템이 데이터 웨어하우스 안에서 활용되고 발전되고 있다. 기존 연구에서는 서로 다른 OLAP 제품에서 공통으로 사용할 수 있는 모델을 적용하여 OLAP 메타데이터 교환 시스템을 설계해왔다. 그러나 본 논문에서는 서로 다른 OLAP 제품을 공통으로 사용할 수 있는 질의 언어 시스템 설계 전 단계인 논리적 설계를 UML snowflake 다이어그램을 이용하여 설계 하였다. 실험결과, XML 문서의 변환된 OLAP 메타 데이터를 이용하여 UML snowflake 다이어그램 설계를 통해 통합된 OLAP 제품의 XML 문서 구조가 논리적으로 설계되어 메타 데이터가 통합됨을 알 수가 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.461-464
• /
• 2001

소프트웨어 위기를 극복하기 위해 재사용성, 유지보수성, 적시성 관점에서 컴포넌트 기반 방법론이 크게 각광받고 있다. 또한 기존의 코드를 이용하여 컴포넌트를 만드는 방법, 컴포넌트를 이용하여 새로운 컴포넌트를 만드는 방법 등 여러 컴포넌트 기술이 개발되고 있다. 본 논문에서는 컴포넌트의 개발 시간을 단축하기 위한 컴포넌트 생성 지원 도구 개발에 대해 간단히 설명한 후 설계와 구현을 동시에 할 수 있는 컴포넌트 클래스 다이어그램에 대해 기술한다. 설계와 구현을 동시에 지원함으로서 개발기간을 크게 단축할 수 있고 설계와 구현의 동일성을 보장한다. 또한 컴포넌트 클래스 다이어그램은 EJB 컴포넌트에 전개까지 지원한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.604-606
• /
• 2005

컴퓨터 게임에서 움직이는 캐릭터를 위한 자연스러운 경로의 계획은 게임의 현실감을 측정하는 중요한 척도이다. Voronoi 다이어그램은 컴퓨터 기하학 분야에서 잘 알려진 로봇 경로계획 알고리즘 중 하나이다. Voronoi 다이어그램은 두 장애물로부터 같은 거리에 있는 선분과 점들로 구성되어 생성된 경로가 장애물로부터 멀리 떨어진 안전한 길이고 사람이 실제로 택하는 경로와 유사하다는 것이 장점이다. 본 논문에서는 셀-기반 게임 환경에서 움직이는 캐릭터의 이동경로를 찾기 위해 Voronoi 다이어그램을 적용하는 방법을 제안하고 구현한다. 제안된 방식과 기존에 많이 사용되던 그리드 기반 A* 알고리즘의 적용 결과를 비교 분석한다.