• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.649-651
• /
• 2002

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권5호
• /
• pp.643-650
• /
• 2004

제어 흐름 그래프는 자료 흐름 분석과 제어 종속 분석과 같은 프로그램 분석 분야와 프로그램 슬라이싱과 테스팅과 같은 소프트웨어공학 분야에서 필요로 하는 정보이다. 이러한 분석들이 안전하고 유용하기 위해서는 제어 흐름 그래프는 예외 흐름을 포함해야 한다. 기존의 방법은 예외 흐름과 정상 흐름의 상호 의존적인 관계로 인해 두 흐름을 동시에 계산하면서 제어 흐름 그래프를 생성한다. 그러나 실제 Java 프로그램을 조사해 본 결과 두 흐름이 상호 의존적으로 필요한 경우는 거의 발생하지 않음을 알 수 있었다. 그러므로 정상 흐름과 예외 흐름을 분리해서 계산할 수 있음을 알았고, 예외 흐름을 계산하는 예외 흐름 분석을 제안한다. 그리고 예외 흐름을 표현하는 예외 흐름 그래프를 제안한다. 그리고 제어 흐름 그래프는 예외 흐름 그래프와 정상 흐름 그래프를 합병함으로써 생성될 수 있음을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.72-74
• /
• 1998

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (중)
• /
• pp.1277-1280
• /
• 2002

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

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1993년도 춘계공동학술대회 발표논문 및 초록집; 계명대학교, 대구; 30 Apr.-1 May 1993
• /
• pp.443-452
• /
• 1993

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.582-585
• /
• 2008

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2010년도 제42차 하계학술발표논문집 18권2호
• /
• pp.67-70
• /
• 2010

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
• /
• pp.512-514
• /
• 2003

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.763-766
• /
• 2003

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

• 한국통신학회논문지
• /
• 제23권8호
• /
• pp.2096-2105
• /
• 1998

ATM 망에서는 어느 한 순간에 다수의 연결에서 동시에 발생하는 버스트가 일어날 수 있으며, 이는 혼잡을 야기 할 수 있다. 따라서, 사용자의 QoS를 보장하기 위해서는 반작용적인(Reactive) 흐름 제어 기법들이 필요하다. 그러나, ATM망은 고속통신망이기 때문에 중간노드에서의 혼잡에 대해서 반작용적으로 소스의 전송률을 제어하기란 쉽지 않다. 그러므로, CPN(Customer Premise Network)에서의 흐름 제어가 종단-대-종단 흐름 제어보다 더 효율적일 수 있다. 본 논문에서는 CPN에서의 흐름 제어를 위한 관리 모델을 제시하고 가상 경로 연결(VPC)을 효율적으로 이용하기 위한 새로운 망 엑세스 흐름/혼잡 제어(NAPC: Network Access Flow/Congestion Control) 기법을 제안한다.