• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.649-651
• /
• 2002

제어 흐름 그래프는 프로그램의 문장들간의 제어 흐름 정보를 표현하는 방법이다. 제어 흐름 정보는 프로그램 분석과 테스팅 분야에서 필요로 하는 정보이다. 제어 흐름 정보가 정확할수록 정확한 분석 결과와 테스팅 결과를 구할 수 있다. 실제 자바 프로그램에서 예외 구문의 사용빈도가 많으므로 예외 제어 흐름을 제어 흐름 정보에 포함해야 한다. 본 논문에서는 특정 분석에 무관하게 예외 제어 흐름을 포함하는 제어 흐름 그래프를 생성하는 일반적인 방법을 제안한다. 그리고 예외 제어 흐름을 포함하는 제어 흐름 그래프를 생성할때, 정상 흐름과 예외 흐름을 분리해서 하는 방법을 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.643-650
• /
• 2004

Control flow graph is used for Performing many Program-analysis techniques, such as data-flow and control-dependence analysis, and software-engineering techniques, such as program slicing and testings. For these analyses to be safe and useful, the CFG should incorporate the exception flows that are induced by exceptions. In previous research to construct control flow graph, normal flows and exception flows are computed at the same time, since these two flows are known to be mutually dependent. By investigating realistic Java programs, we found that the cases when these two flows are mutually dependent rarely happen. So, we can decouple exception flow analysis from normal flow analysis. In this paper we propose an analysis that estimates exception flows. We also propose exception flow graph to represent exception flows. And we show that the control flow graph that accounts for exception flows can be constructed by merging exception flow graph onto normal control flow graph.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.72-74
• /
• 1998

데이터베이스 관리 시스템에서 제공하는 저장프로시져는 SQL문들과 흐름 제어문으로 프로그래밍된 프로시져를 미리 컴파일하여 데이터베이스에 저장해두고, 사용자가 호출하면 저장된 실행 계획에 따라 한번에 여러 SQL문들을 수행한는 것이다. 저장프로시져내 SQL문들의 실행 흐름을 제어하기 위해서는 범용 언어와 유사한 흐름 제어문을 제공해야 한다. 흐름 제어문을 제공하지 않는 저장프로시져는 일련의 SQL문들의 순차적 수행만 가능하다. 따라서, 저장프로시져내 흐름 제어문을 제공하므로서 사용자에게 저장프로시져내 SQL문들의 실행 흐름을 제어하도록 하여 다양한 프로그래밍을 가능케 한다. 바다-II는 저장프로시져내에 흐름 제어문으로 IF문, FOR문, WHILE문, 단순 LOOP문을 제공한다. 본 논문은 이를 위하여 바다-II를 확장 구현한 사항을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.1277-1280
• /
• 2002

화상회의 시스템들은 여러 명의 사람들에게 멀티미디어 데이터를 공유하여 전송하기 때문에 안정적인 대역폭을 보장받지 못하며, 계속적으로 변화하는 네트워크 상태에서 최적의 서비스를 제공하기 위해서는 동적 흐름제어 기법이 필요하게 된다. 동적 흐름제어 기법은 최적의 서비스를 제공하기 위해서 사용 대역폭이 클 경우에는 데이터의 량이 많은 고품질의 데이터를, 사용 가능한 대역폭이 낮을 경우에는 데이터의 량이 적은 저품질의 데이터를 생성한다. 본 논문에서는 기존의 두 가지 흐름제어 기법에서 사용된 측정 요소인 패킷 손실율과 왕복 시간외의 성능을 개선시킬 수 있는 요소인 네트워크 상태에 따른 제어 메시지의 빈도수와 데이터의 량을 이용한 동적 흐름제어 기법을 제안한다. 또한 실험을 통하여 기존의 동적 흐름제어 기법과 제안한 동적 흐름제어기법의 성능을 비교하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.443-452
• /
• 1993

회선교환에서는 사용자 사이의 전송로가 통화가 지속되는 동안 계속 점유되는 것과는 달리 패킷교환에서는 망내의 자원을 여러 사용자들이 공유함으로서 자원을 효율적으로 사용하게 되는데 적절한 제어가 이루어지지 않으면 망내에 congestion이 발생하여 오히려 성능이 감소하게 된다. 본 연구에서는 기존의 흐름제어 기법들인 ack-at-end-of-window기법과 pacing window flow control기법을 토대로 새로운 흐름제어기법을 제안한다. 새로운 흐름제어기법의 성능을 시뮬레이션을 이용하여 TDX-10 패킷처리기에 적용하여 분석한 결과 기존의 방법보다는 새로운 흐름제어기법의 성능이 다소 좋음을 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.582-585
• /
• 2008

제어 흐름 그래프(CFG : Control Flow Graph)는 제어 흐름상의 오류나 문제점을 찾아내고 흐름에 대해 한눈에 파악할 수 있기 때문에 소프트웨어공학 분야에서 많이 사용되고 있다. 현재 여러 테스팅 분야에서 다양한 제어 흐름 분석 기법들이 연구, 소개되고 있는데 본 논문에서는 XML 문서를 이용하여 CFG를 나타내고자 한다. XML은 트리구조를 가진 문서 모델로 C 언어 소스 코드를 구조적으로 나타냄으로써 좀 더 쉽게 코드를 분석하고, 제어 흐름 요소를 추출하여 제어 흐름 그래프를 나타내는 데에 유용하다. 따라서 중간 분석 파일로 XML을 이용하여 보다 빠르고 쉽게 CFG를 나타내는 기법을 제안한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.67-70
• /
• 2010

본 논문은 바이너리 코드 수준에서 정적인 프로그램 분석을 수행하는 프레임워크를 설계 및 구현한다. 정적으로 바이너리 코드 수준에서 분석을 수행하려는 이유는 일반적으로 컴퓨터에 설치되는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이고, 정적 제어 흐름 분석을 통해 수행 전에 동작을 파악하기 위해서이다. 본 논문에서는 바이너리 실행 파일로부터 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 제어 흐름 그래프를 작성하여 바이너리 파일의 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악할 수 있도록 하며, 그래프 시각화를 통해 바이너리 파일의 분석을 용이하게 한다. 또한 실행 흐름에 대한 자동 탐색 방법을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04d
• /
• pp.512-514
• /
• 2003

본 논문은 모바일 환경에서 제한된 메모리를 가지고 있는 수신자에 의 한 TCP흐름 제어 방법을 제안한다. TCP 흐름 제어는 송신자에서 수신자에게 전달되는 Advertised 윈도우 크기를 조정하여 수행된다. 수신자는 무선 대역폭과 종단간 패킷 왕복 시간을 동적으로 측정하며 최적의 Advertised 윈도우 크기를 계산하고 송신자의 전송률을 무선 대역폭으로 제한한다. 제안된 흐름 제어 기법은 제한된 메모리를 가진 수신자를 고려하였으며 무선 네트웍의 특성을 고려 한 효율적 인 TCP 흐름 제어로 TCP의 전송 성능 향상과 종단간 패킷 왕복 시간의 지연을 줄일 수 있도록 하였다. 제안된 흐름 제어 기 법의 효율성과 성능을 구현과 실험을 통해 검증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.763-766
• /
• 2003

산업 분야에서 자동화 시스템은 제품의 자동설계, 생산 공정의 자동제어, 장애의 발견과 복구, 품질 검사 등 각종 생산과 관련되어 생산성을 향상시킨다. 자동화 시스템을 구성하는 제어 시스템에 사용되는 흐름 제어 언어에는 IL, ST, FBD, SFC, LD의 5종이 있다. 일반적인 소프트웨어에서 동시에 사용할 수 있는 흐름 제어 언어의 종류는 2종 이하로 제한되어 있다. 이에 본 논문에서는 그래픽 기반의 흐름 제어 언어인 FBD, LD, SFC의 3종을 통합하여 처리가 가능한 소프트웨어를 제시한다. 그래픽 기반의 흐름 제어 언어인 FBD, LD, SFC의 형식을 모두 포함하는 데이터 구조를 설계하고, 데이터 구조로부터 읽어 들인 데이터를 출력하는 그래픽 처리 방안을 제시한다. 소프트웨어에서 편집한 FBD LD, SFC는 파일 단위로 관리할 수 있고, 각 파일들은 프로젝트 파일로 통합하여 관리가 가능하다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.8
• /
• pp.2096-2105
• /
• 1998

As there can be coincident bursts which may result in congetsion in a node of ATM network, reactive flow control schemes are required to guarantee user's Quality of Service. But, the high speed characteristics of ATM networks make it difficult to control source transmission rate in reacting to congestions in intermediate nodes. Therefore, flow control in Customer Premise Network may be more efficient than end-to-end flow control. In this paper, we propose a management model for flow ontrol in CPN and new Network Access Flow/Congestsion control scheme to utilize efficiently Virtual Path Connection.