• 정보과학회 논문지
• /
• 제44권10호
• /
• pp.1034-1044
• /
• 2017

본 연구에서는 추상 도달가능성 그래프(ARG) 기반의 소프트웨어 모델체킹에서 그래프 탐색전략을 설정할 수 있는 새로운 방법을 제시한다. ARG의 여러 실행 경로를 하나로 묶어 모델체킹 성능을 향상시키는 기법인 블록 인코딩(Block Encoding) 기법을 활용하는 경우 기존의 기법들은 인코딩 전의 ARG에서 인코딩을 효과적으로 수행할 수 있는 탐색전략만을 고려하였을 뿐 실제 모델체킹의 성능을 좌우할 수 있는 인코딩 후의 ARG에 대한 탐색전략을 고려하지 못하는 문제가 있었다. 본 연구에서는 기존 연구에서 제시된 탐색 기법을 사용하여 블록 인코딩을 효과적으로 수행하는 동시에 인코딩된 후의 ARG에 대한 탐색 순서를 고려할 수 있는 이중 탐색전략 기법을 제시한다. 또한 탐색 순서의 변화가 모델체킹의 성능에 미치는 영향을 확인하기 위하여 제시하는 기법을 오픈소스 모델체킹 도구에 구현하고 벤치마크 실험을 수행하였으며 탐색전략이 달라지면 모델체킹의 성능이 달라지는 현상을 확인하였다.

• 한국정보통신학회논문지
• /
• 제11권5호
• /
• pp.940-948
• /
• 2007

실세계의 많은 문제는 그래프와 그 그래프를 순회하는 트랜잭션으로 모델링 될 수 있다. 예를 들면, 웹페이지의 연결구조는 그래프로 표현될 수 있고, 사용자의 웹페이지 방문경로는 그 그래프를 순회하는 트랜잭션으로 모델링 될 수 있다. 이와 같이 그래프를 순회하는 트랜잭션들로부터 빈발 패턴과 같이 중요한 패턴을 찾아내는 것은 의미있는 일이다. 본 논문에서는, 방향 그래프와 그 그래프를 순회하는 가중치가 있는 트랜잭션들이 주어졌을 때, 빈발한 순회패턴을 탐사하는 알고리즘을 제안한다. 또한, 이 알고리즘의 성능향상을 위하여 순회를 분할하는 방법을 제안하고 실험을 통하여 검증한다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권8호
• /
• pp.492-497
• /
• 2017

하이퍼그래프는 노드와 여러 노드를 연결할 수 있는 하이퍼에지로 구성된다. 하이퍼그래프 분석을 위해 그래프 기본 연산 중 그래프 탐색을 사용할 수 있다. 일반 그래프에 사용되는 DFS, BFS 탐색방법을 하이퍼그래프에 그대로 적용하였을 시 여러 노드를 연결하는 하이퍼에지의 특성을 고려하지 않는 문제가 있다. 본 논문에서는 하이퍼그래프를 위한 DBMS인 hypergraphDB에 저장 된 그래프 탐색 시 에지 단위로 탐색 여부를 판단하는 방법을 제안하고, 제안 탐색 방법을 응용한 하이퍼그래프 분석 실험을 수행하였다. 실험을 통해 일반 그래프의 탐색 기법을 적용한 경우 보다 빠른 속도와 보다 적은 DB 접근 횟수로 그래프 분석 작업을 수행함을 보인다.

• 한국정보처리학회논문지
• /
• 제3권4호
• /
• pp.926-937
• /
• 1996

그래프 트래버설(traversal) 기법은 그래프의 노느들을 '방문(visiting)'하는 임의의 패턴이라고 할 수 있으며, 그래프 트래버설 방법 중 하나가 깊이 우선 탐색 기법은 유향 그래프의 강결합 요소나 일반 그래프의 이중 결합 요소를 찾는데 이용 된다. 이러한 깊이 우선 탐색 기법을 분산 네트워크 상에서 구현하기 위한 분산 프로토콜은 통신망의 위상 변화가 없는 고정위상 문제와 시간의 지남에 따라 위상의 변화가 있는 동적 위상 문제로 나누어 볼 수 있다. 본 논문에서는 먼저 고정 위상에 서의 개선된 분산 깊이 우선 탐색 프로토콜을 설계하고 다음으로 이 프로토콜을 동적 위상에 적용하여 링크/노드의 고장/복구에 대처할 수 있는 레질리언트 프로토콜을 설계하였다. 또한, 이들 프로토콜의 메시지와 시간 복잡도를 각각 분석하고,

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제3권6호
• /
• pp.612-627
• /
• 2009

The high-level contribution of this paper is to illustrate the effectiveness of using graph theory tree traversal algorithms (pre-order, in-order and post-order traversals) to generate the chain of sensor nodes in the classical Power Efficient-Gathering in Sensor Information Systems (PEGASIS) data aggregation protocol for wireless sensor networks. We first construct an undirected minimum-weight spanning tree (ud-MST) on a complete sensor network graph, wherein the weight of each edge is the Euclidean distance between the constituent nodes of the edge. A Breadth-First-Search of the ud-MST, starting with the node located closest to the center of the network, is now conducted to iteratively construct a rooted directed minimum-weight spanning tree (rd-MST). The three tree traversal algorithms are then executed on the rd-MST and the node sequence resulting from each of the traversals is used as the chain of nodes for the PEGASIS protocol. Simulation studies on PEGASIS conducted for both TDMA and CDMA systems illustrate that using the chain of nodes generated from the tree traversal algorithms, the node lifetime can improve as large as by 19%-30% and at the same time, the energy loss per node can be 19%-35% lower than that obtained with the currently used distance-based greedy heuristic.

• 정보처리학회논문지D
• /
• 제9D권3호
• /
• pp.337-344
• /
• 2002

최근에 그래프 타입의 자료에 대한 연구가 이루어지고 있다. 그 이유는 그래프가 지리정보시스템, 네트워크, WWW, 멀티미디어 프리젠테이션 등과 같은 영역의 문제들을 자연스럽게 표현할 수 있으며 자료 변화의 순서가 중요한 영역의 문제들도 자연스럽게 표현할 수 있기 때문이다. 이 논문에서는 방향 비순환 그래프로 표현되는 멀티미디어 프리젠테이션 그래프의 경로를 효과적으로 검색 처리하는 코드 시스템인 노드 코드 시스템을 제안한다. 노드 코스 시스템은 그래프의 각 노드마다 유일한 2진 문자열을 부여한다. 두 노드의 노드 코드를 비교하여 그래프 운행 없이 두 노드가 연결되어 있는지를 확인할 수 있다. 전통적인 그래프 운행을 이용한 방법보다 노드 코드 시스템의 이 특성을 이용하면 두 노드 사이의 경로의 건설을 효과적으로 할 수 있다. 노드 코드 시스템을 이용하여 경로를 건설할 수 있는 알고리즘을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.514-516
• /
• 2002

3D 가상공간 사용자의 몰입감과 임장감에 결정적인 영창을 미치는 상호작용기법은 공간 네비게이션과 객체조작기법으로 나눌 수 있다. 그중 정교한 객체조작이 요구되는 특정분야에서는 보다 효과적인 객체조작기법이 절실히 요구된다. 본 논문에서는 객체를 구성하는 장면 그래프 구조를 사용자의 선택에 따라 내부적으로 분할하여 재구성한 선택트리의 순회를 통해 객체의 세부 단위요소를 선택하고 이를 조작하며 선택을 해제를 할 수 있는 일련의 기법을 제안한다. 제안된 기법은 정교한 객체의 조작을 필요로 하는 분야의 3D 사용자 인터페이스 구축에 효과적으로 적용될 수 있을 것이다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2022년도 춘계학술대회
• /
• pp.22-24
• /
• 2022

최근 그래프데이터베이스가 널리 사용되기 시작했다. 그래프데이터베이스는 그래프구조를 활용하는 데이터베이스이다. 관계형 데이터베이스의 테이블 대신, 그래프데이터베이스는 정점과 간선 형태로 정보를 저장한다. 데이터 저장구조의 사전 정의 없이 데이터를 저장할 수 있으며 사람이 생각하는 방식과 유사하게 데이터를 저장하고 조회할 수 있다. 그래프 데이터베이스를 활용하면 복잡한 연결구조를 가진 대용량 데이터를 효율적으로 처리할 수 있다. 통신망은 다양한 형태의 통신설비가 복잡하게 상호연결된 그래프구조로 볼 수 있다. 기존의 통신망 관리 시스템(Network Operation Support System)은 통신설비와 설비간 연결관계를 관계형데이터베이스로 관리하고 있어 서비스 종단 간 연결관계를 조회하거나, 고장원인 지점을 추적 ·조회하는등 그래프 탐색쿼리를 수행함에 있어서 어려움이 있었다. 본 연구에서는 통신망 구성 정보를 그래프데이터베이스를 이용해 구축하는 방안에 대해 고찰하고자 한다. 그래프데이터베이스의 도입으로 그래프탐색이 필요한 조회인 경우 효율적인 질의처리가 가능할 것으로 기대한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 추계학술발표논문집
• /
• pp.585-589
• /
• 2001

최근 그래픽 하드웨어의 성능향상과 인터넷의 발전으로 이를 기반으로 하는 인터렉티브 3D 그래픽스와 데스크탑 가상환경 분야에 대한 관심이 높아지고 있다. 그러나 데스크탑 가상환경에서 객체의 조작과 관련된 3D 사용자 인터페이스에 대한 성공적인 연구사례는 찾아보기 힘들다. 그 이유는 하드웨어적인 제약과 더불어 3D 공간상의 객체를 2D상에서 조작함으로써 발생하는 인지적인 문제해결이 어렵기 때문이다. 이의 해결을 위해 본 논문에서는 객체를 구성하는 장면 그래프를 내부적으로 분할하여 생성된 서브트리의 순회를 통해 객체의 세부 단위요소를 쉽게 선택하고 해제하는 일련의 객체조작 기법을 제안한다. 또한 각 조작단계에서 사용자의 의사결정을 돕는 다양한 시각 피드백 기능을 함께 지원한다. 제안된 기법은 정교한 객체의 조작을 필요로 하는 분야의 3D 사용자 인터페이스 구축에 매우 효과적으로 적용될 수 있음을 확인하였다.