• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.838-840
• /
• 2005

웹 어플리케이션 개발에 있어서 동적인 컨텐츠를 생성하는 기술은 매우 다양하다. 본 논문은 동적인 컨텐츠를 생성하는 어플리케이션을 위하여 동적공유객체를 사용하는 기술인 DHE(DCL HTTP Server Extension)에 대하여 다룬다. DHE는 DHE 서블릿과 DHE 서블릿 컨테이너로 이루어져 있다. 서블릿(Servlet)은 HTTP 요청에 대한 구체적인 처리를 하도록 개발된 DSO이고 서블릿 컨테이너에 의하여 실행된다. 서블릿 컨테이너는 이미 널리 사용되고 있는 웹 서버 소프트웨어의 플러그인(plug-in) 형태로 개발되며 서블릿에게 웹 서버 소프트웨어간에 이식이 가능하도록 하는 독립된 환경을 제공한다. DHE의 유효성을 검증하기 위해 동일한 알고리즘이 적용되어 작성된 ASP. PHP, JSP 어플리케이션과 성능비교 실험을 실시 하였다. 실험의 결과는 DHE가 가장 적은 VM(Virtual Memory)를 사용하고 있었고 200라인 이상(27.8KB)의 문자열을 생성하는 실험에서 단위 시간당 처리할 수 있는 HTTP 요청의 개수가 JSP에 비하여 3배 이상, ASP, PHP에 비하여 6배 이상의 결과를 얻었다.

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

소프트웨어의 테스트는 소프트웨어의 품질결정을 위한 필수항목으로서 체계적인 방법과 절차에 따라서 진행되어야 한다. 많은 노력으로 개발되고 판매되는 소프트웨어서도 오류가 발견되며, 발견된 오류의 절반이상이 개발과정에서 발생 하므로 개발단계부터 결함으로 제거할 수 있는 소프트 테스트가 필요하다. 소프트웨어의 테스트는 소프트웨어가 좋은가를 검증하는 것이 아니라 요구된 명세서의 구현과 구현된 소프트웨어에 결함이 있는가를 찾는 행위이며, 소프트웨어 개발에 최종적인 검토이다. 본 연구에서는 객체지향 소프트웨어의 품질을 향상시키기 위하여 클래스 기반의 단위테스트 수행 시 "Error Seeding" 전략을 통한 동적테스트를 수행하고, 테스팅 과정에 대한 관리 및 성능 테스트를 제공하는 도구를 제안한다. 본 프레임워크는 테스트 유형을 테스트 수행자가 결정하고 테스트를 수행하므로 결과판독이 정확하고 빠른 장점이 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권11호
• /
• pp.1051-1055
• /
• 2010

소프트웨어 라디오는 기존에 특화된 하드웨어 칩으로 구현되던 무선 통신 프로토콜을 소프트웨어로 구현하여 실행하는 기술이다. 새로운 프로토콜의 적용과 기존 프로토콜의 수정이 동적인 프로그래밍만으로 가능해지기 때문에 무선 통신 기술의 새로운 패러다임의 변화를 가져왔다. 하지만, 소프트웨어 라디오 시스템은 범용 프로세서와 통신 하드웨어를 동시에 장착하고 있기 때문에 그만큼 전력 소모가 크다. 본 논문에서는 이러한 소프트웨어 라디오 시스템을 위한 전력 관리 기법인 복합 변조/전압 스케일링 기법을 제안한다. 그리고 제안된 기법의 전력 절감 효과를 수치적인 결과를 통해 분석한다. 결과적으로 복합 변조/전압 스케일링 기법은 주어진 데이터 전송률을 충족시키면서 무선 통신의 변조 레벨과 프로세서의 전압을 효율적으로 조절하여 전력 소모를 최소화시킨다.

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.25-32
• /
• 2018

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

• 대한교통학회:학술대회논문집
• /
• 대한교통학회 1998년도 Proceedings 제34회 추계 학술발표회
• /
• pp.41-41
• /
• 1998

ITS틀 내의 한 분야인 도로교통정보체계 (ATIS: Advanced Traveler Information system)는 실시간 교통정보를 운전자에게 직접 제공하는 것으로서, 이를 위해 매 순간마다 가로망에 배정되는 교통량 및 통행시간을 예측할 수 있는 범용의 동적 통행배정모형(dynamic route choice model)의 개발이 필히 수반되어야 한다. 본 연구에서는 ITS사업에서 필수적으로 수반되어야 할 최적 제어이론에 의한 동적 통행 배정모형을 ATIS의 핵심 소프트웨어로 응용하기 위해 기존 연구성과를 발판으로, 순간 동적 통행 배정모형(Ran, Boyce &LeBlanc, 1993)의 통행제약조건인 링크통행함수, 특히, 과부하 시 엘켈릭의 일반식의 파라메터를 조정, 적용하여, 서울시 강남지역의 실제 가로망의 사례연구를 통해 지체식의 각각의 파라메터에 따른 결과를 O/D에 따른 통행시간, 링크통행시간, 혼잡도를 중심으로 비교 평가하여, ATIS의 핵심 소프트웨어로서 순간 동적 통행배정을 통해 보다 현실여건을 잘 반영할 수 있는 링크 통행 성능 함수를 도출하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.177-184
• /
• 2006

시스템의 동적 요소를 기술하고 분석하기 위해 C&C view 아키텍처를 주로 사용하지만 시스템의 실행 순서나 상태에 대한 정보가 부족하기 때문에 단지 C&C view 아키텍처로만 시스템의 동적 요소를 분석하기가 어렵다. FSP model은 시스템의 동작을 표현하기 위한 모델링 언어로써 시스템의 동작을 모델링 할 뿐만 아니라 LTSA라는 FSP 검증 툴을 이용하여 시스템의 특성을 자동으로 파악하기에도 용이한 특성을 가지고 있어 시스템 동적 요소 분석에 도움을 준다. 하지만 관련 정보를 얻기 어려워 FSP model을 구현하는데 어려움이 있다. 이 논문은 C&C view 아키텍처와 요구 사항(Use Case Scenario 혹은 Sequence diagram)을 근간으로 시스템의 동적 요소를 FSP로 모델링 하는 방법을 정의한다. 또한 LTSA 툴을 이용하여 자동적으로 시스템의 특성을 검증할 수 있고, 이를 통해 시스템 구현 전에 시스템의 에러를 찾아내고 해결하는 도움을 줄 수 있다. C&C view 아키텍처는 시스템의 컴포넌트와 커넥터에 대한 정보를 제공하여 주고 요구 사항은 소프트웨어 시스템의 행동에 대한 정보를 제공하여 줄 수 있다. 만약 우리가 컴포넌트와 커넥터에 대한 정보가 있고 시스템 동적 요소에 대해 알고 있다면 우리는 이것을 기반으로 메시지 흐름도를 구현할 수 있다. 메시지 흐름도는 Harel, Kugler 와 Pnueli에 의해 개발된 Synthesized 알고리즘을 이용하여 Statechart로 만들어지고 이것은 바로 FSP model로 변환될 수 있다. 우리가 소프트웨어 시스템에 대한 FSP model을 가지고 있다면 이것을 기반으로 시스템 행동 특성을 체크할 수 있으며 이는 향후 발생할 수 있는 결함을 미리 찾아내는데 유용한 도움이 될 수 있다. 우리는 간단한 예제를 통해 본 논문의 이론을 수립하였으며 이를 기반으로 실제 어플리케이션에 적용하여 그 효용성을 검증하였다.

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

대규모 공개 소스 소프트웨어 저장소를 대상으로 프로그램 분석을 수행하면, 각 저장소의 소프트웨어의 변화 과정을 살펴볼 수 있고, 방대한 양의 프로그램을 분석함으로써 신뢰도가 높은 분석 결과를 얻을 수 있다는 점에서 의의가 있다. 본 논문에서는 대규모 소프트웨어 저장소를 대상으로 확장 가능하게 정적 프로그램 분석을 수행할 수 있는 프레임워크인 WALABOA를 소개한다. 나아가, 정적 분석 결과인 정적 함수 호출 그래프와 동적 분석 결과인 동적 함수 호출 그래프를 비교하는 모듈을 WALABOA에 추가하여, 자바스크립트 분석기 WALA에서 제공하는 분석 기법 중 하나인 필드 기반 분석(field-based analysis) 결과를 평가하는 데 활용하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권7호
• /
• pp.303-310
• /
• 2013

컴퓨팅 환경에서 소프트웨어가 차지하는 역할이 커지면서 소프트웨어 보안은 더욱 중요한 문제가 되고 있다. 동적 오염 분석은 프로그램 실행 중에 신뢰할 수 없는 소스로부터 유래된 오염된 데이터의 이동을 추적하고 관리하는 분석 방법이다. 이 분석 방법은 소프트웨어의 보안 검증 뿐만 아니라 소프트웨어의 동작을 이해하고, 예상하지 못한 오류에 대한 테스팅 및 디버깅 등에서 활용할 수 있다. 기존에 이와 관련한 연구에서는 동적 오염 분석을 이용한 분석 사례를 보여주고 있지만, 동적 오염 분석에서 오염된 정보 전파 과정 및 동작 과정에 대해서 체계적이고 논리적으로 기술하지 못하고 있다. 본 논문에서는 이런 분석 과정을 이론적으로 기술함으로써 오염된 정보의 전파 과정을 어떻게 추적할 수 있는지 논리적으로 보여주고, 이를 응용할 수 있는 이론적 모델을 제시하고 있다. 본 논문에서 기술한 이론적 모델에 대해서 분석기를 구현하고 프로그램에 대한 분석 결과를 통해서 모델의 정확성을 검증한다. 그리고, 프로그램에 나타나는 오염 정보들의 전파 과정을 보이고 결과를 검증한다. 본 이론적 모델은 동적 오염 분석에서 자료 흐름의 분석 과정을 이해하고 이를 활용하는 분석 방법을 설계하거나 구현하는 기반 지식으로 활용될 수 있을 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2024년도 춘계학술발표대회
• /
• pp.675-677
• /
• 2024

그래프 학습 기술은 실세계의 네트워크를 그래프로 모델링하여 분석함으로써, 네트워크에 내재된 유용한 정보를 도출하는 핵심적인 역할을 한다. 그러나 기존의 그래프 학습 기술에는 두 가지 한계점이 존재한다: (1) 그룹 정보 표현의 한계 및 (2) 동적 관계 학습의 한계. 각 한계를 극복하기 위해 하이퍼그래프 학습 기술과 동적 그래프 학습 기술이 활발하게 연구되었지만, 두 가지 한계를 동시에 극복하기 위한 연구들은 아직까지 충분히 수행되지 못했다. 이러한 동기로부터, 본 논문은 실세계 네트워크를 동적인 하이퍼그래프로 모델링하여, 동적 그래프 학습 기술, 정적 하이퍼그래프 학습 기술, 그리고 동적 하이퍼그래프 학습 기술들의 성능에 대해 비교 분석하고자 한다. 실험 결과, 시간에 따라 변화하는 실세계의 복잡한 관계를 정확하게 포착하는 데는 동적 하이퍼그래프 학습 기술이 가장 효과적이라는 것을 확인하였다.

• 에너지공학
• /
• 제8권2호
• /
• pp.213-223
• /
• 1999

최근 원자력발전소의 안전계통 소프트웨어는 신뢰성을 향상시키기 위해 ANSI/IEEE-ANS-7-4.3.2-1982 기준에 따라 확인 및 검증이 이루어지고 있다. 이 규정은 안전관련 소프트웨어가 정적 및 동적 환경에서 시험되어야 한다고 요구하고 있다. 부적절노심냉각감시계통의 경우에 정적시험 절차 및 관련기술들은 개발되었으나 동적시험 절차 및 관련기술들은 개발되지 않았다. 따라서, 본 논문에서는 미개발된 기술들을 논의하고, 동적시험 절차와 시험 입력자료 생성 프로그램을 제안한다. 이 프로그램의 성능은 울진 3,4호기 최종 안전성 분석 보고서의 사고해석 결과를 사용하여 확인하였다.