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

최근 모델링 및 시뮬레이션(M&S) 기술이 다양한 분야에서 적용되어 활용되고 있으며, 특히 국방 분야에서의 중요성이 더욱 부각되고 있다. 무기체계 획득 절차 전반에 활용되는 시뮬레이션 시스템을 신속하고 편리하게 개발하기 위해서는 모델링에서 디버깅에 이르는 통합된 환경이 제공되어야 한다. 본 연구에서는 GUI 기반의 DEVS 모델링 도구인 QUEST를 이용해 실제 무기체계와 연동되는 시뮬레이션 시스템의 개발 사례를 소개한다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2005년도 춘계학술대회
• /
• pp.495-500
• /
• 2005

현재 리눅스 기반 데스크탑 환경에서는 C, C++, JAVA와 같은 프로그램 언어로 작성된 프로그램을 개별적으로 처리할 수 있는 컴파일러들과 디버거들이 존재하지만, 소프트웨어 개발자들은 그래픽 환경 프로그래밍에 적합한 통합개발환경하에서 프로그램을 개발하기를 원한다. 이를 위해, 본 논문에서는 부여 리눅스 기반 데스크탑 환경을 위한 통합개발환경을 제안한다. 본 논문에서 제안하는 통합개발환경은 오픈 소스 기반 프로그램 도구인 Eclipse를 기반으로 통합개발환경에서 제공하는 컴파일, 디버깅과 같은 일반적인 기능들뿐만 아니라 XML 정보저장소(repository)를 활용하여 소스 코드 기반 소프트웨어 시험 자동화 기능을 통합하여 사용자가 체계적이고 계획적인 소프트웨어 테스트를 수행할 수 있도록 하며, 신뢰성 있는 소프트웨어 개발을 할 수 있도록 지원한다.

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

임계구역을 가진 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 디버깅해야 한다. 이러한 경합을 수행 중에 탐지하는 기존의 기법들은 임계구역의 실행순서에 의해서 발생하는 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 경합의 존재를 검증할 수 있다. 본 논문에서는 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 수행 중에 경합을 탐지함으로써 잠재되어 있는 경합까지 탐지할 수 있는 도구를 제안한다. 제안한 도구는 비결정성이 포함된 합성프로그램과 공인된 OpenMP 벤치마크 프로그램인 Microbenchmark를 이용하여 경합 검증이 가능함을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.764-773
• /
• 2008

W3C는 시맨틱 웹 환경에서 온톨로지를 저작하고 공유하기 위해 온톨로지 구축 언어인 OWL을 발표하였다. 현재 OWL 온톨로지의 논리적 정당성을 검사하기 위해서, OWL 추론 엔진들이 소개되고 있다. 그러나 대부분의 추론 엔진들은 정당하지 못한 개념의 탐지 과정 없이 결과만을 보여준다. 본 논문에서는 온톨로지내의 정당하지 못한 개념을 디버깅하기 위해 종속 부호 기반 비논리적 공리(CIA-Causing Inconsistency Axiom) 탐색 기법을 제안한다. 비논리적 공리는 정당하지 못한 개념들을 유발하는 공리들의 집합이다. 비논리적 공리를 탐지하기 위해서는 온톨로지 내에서 비 일관성을 유발하는 공리를 찾아내야 한다. 온톨로지 저작 도구에 정확한 비논리적 공리가 제공된다면, 온톨로지 저작 도구는 온톨로지 내에서의 정당하지 못한 내용을 수정할 수 있도록 수정될 일부 내용만을 보여줄 것이다. 따라서 본 논문은 두 부분에 초점을 맞추었다. 첫 번째, 정당하지 못한 내용을 가진 온톨로지가 주어졌을 때 비 정당성을 유발하는 공리들을 도출하고, 이들의 근원을 식별한다. 두 번째 비 정당성을 유발하는 공리가 탐지되었을 때 이들만을 추출하여, 온톨로지 설계자에게 보여주는 것이다. 따라서 먼저 기존에 발표되었던 테이블로 알고리즘 기반의 결정 모듈을 소개하고, 이보다 향상된 기법인 종속 부호 기반 비논리적 공리 탐지 기법을 제안한다. 본 논문의 결과물은 현재 온톨로지 언어의 기본이 되는 SHOIN 서술 논리 응용시스템에 적용가능하다.

• 정보교육학회논문지
• /
• 제20권3호
• /
• pp.255-262
• /
• 2016

본 연구는 Computational Thinking 역량을 효과적으로 평가하기 위한 서술형 수행평가 방법에 관한 내용이다. 제안된 서술형 수행평가도구는 MIT에서 제시한 창의컴퓨팅 평가 문항들을 델파이 기법을 통해 조사한 후 문항을 선별 및 수정하였다. 이 서술형 수행평가 도구는 실험하기 및 반복하기, 테스팅과 디버깅, 재사용과 재구성, 추상화와 모듈화의 4가지 영역으로 구성되어 총 4문항으로 개발하여 예비교사를 대상으로 수업에 적용하였다. 적용결과 평가 도구는 $Cronbach-{\alpha}$값이 0.6 이상으로 신뢰도가 높았으며 전문가 대상의 델파이 검사 결과 타당도도 높게 나타나 제안된 평가 도구가 학생들의 CT 역량을 효과적으로 측정하는 유용한 평가 도구로 확인되었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권9호
• /
• pp.395-406
• /
• 2007

OpenMP 디렉티브를 가진 프로그램에서 경합은 프로그램의 의도하지 않은 비결정적 수행결과를 초래하기 때문에 디버깅을 위해서 반드시 탐지되어야 한다. 하지만 이를 위한 기존의 경합탐지 도구인 Intel사의 Thread Checker는 경합의 존재를 검증하지 못하고 경합을 탐지하는 비용이 크므로 비실용적이다. 본 논문에서는 OpenMP 프로그램의 특성 및 사용자 요구사항의 분석결과를 이용하여 최적의 기능과 성능으로 경합을 검증하는 웹 기반 도구를 제시한다. 그리고 합성 프로그램을 이용하여 실험한 결과로서 Thread Checker는 경합의 존재를 검증하지 못하고 경합탐지 시에 소요되는 시간의 증가비율은 총 접근 사건수 n에 대해서 $O(n^2)$이지만 제안된 도구는 경합의 존재를 검증하고 소요되는 시간의 증가비율은 O(n)이므로 기능 및 성능적인 측면에서 실용적인 도구이다.

• 정보보호학회논문지
• /
• 제27권6호
• /
• pp.1331-1345
• /
• 2017

바이너리 instrumentation 기법은 소스코드가 공개되어 있지 않은 프로그램을 모니터링하거나 디버깅을 통해 오류를 진단, 또는 메모리 정보획득 등을 위해 개발, 발전되어왔다. 그러나 instrumentation 기법을 사용한 바이너리 분석기법에 관한 연구들은 주로 그 활용방법과 누락없는 정확한 분석에 집중하고 있으며, 실용적 측면에서 중요한 성능지표인 효율성에 대한 연구는 거의 이뤄지지 않고 있다. 특히 분석도구나 알고리즘의 분석시간을 상호 비교할 수 있는 지표와 방법론이 정립되어있지 않았다. 이 연구는 바이너리 instrumentation 기법의 오버헤드를 측정하여 그 효율성을 비교평가할 수 있는 단위기능과 측정방법론을 제안한다. 또한 제안한 방법을 DynamoRIO와 Pin에 적용하여 성능차를 도출하였다. 분석도구의 효율성 비교결과는 사용목적에 따른 분석도구의 선택기준이 되며, 측정방법론은 기존도구와 앞으로 새롭게 개발될 분석도구들에 대해서도 그 효율성을 검증하는 방법으로 사용될 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권2호
• /
• pp.166-181
• /
• 2003

최근 인터넷의 급속한 성장으로 Web TV, PDA 및 Web phone과 같은 장치들이 인터넷에 연결되기 시작하고 있다. 그러나, 이러한 장치들은 복잡한 실시간 응용 시스템을 지원하기 위해 RTOS와 같은 실시간 운영체제가 필요로 하게 되었으며, 특히, 내장형 인터넷 응용 시스템을 개발하기 위한 디버거 등과 같은 적절한 도구들의 부족으로 개발하는데 어려움을 겪고 있다. 이에, 본 논문에서는 Qplus-T 실시간 운영 체제 내장형 시스템을 위한 새로운 트레이스포인트 디버깅 도구를 제안하다. 이 도구는 타이밍 트레이스포인트들을 이용하여 실시간 응용 소프트웨어의 디버깅을 쉽게 한다. 전통적인 브레이크포인트 디버거에 비해, 이 트레이스포인트 디버거는 온라인 및 오프라인 분석을 위해 응용 프로그램의 데이터를 동적으로 수집하고 기록하는 기능을 제공한다. 그리고, 응용프로그램의 실행을 멈추거나 원래의 실행 속도에 참견이 거의 없이 실행중인 응용프로그램의 변수들에 새로운 값을 할당해 보기 위한 수단으로도 제공된다. 본 논문에서 제시하는 트레이스포인트 디버거는 Qplus-T 인터넷 응용프로그램과 같은 타겟 실시간 응용 프로그램에 수많은 모니터링 트레이스포인트들을 추가하기 위한 효과적인 방법을 제공하며, 실행 중에 응용프로 그램의 행위를 모니터하고 분석하기 위한 트레이스포인트를 설정할 수 있다. 또한, RTL(Real-Time Logic) 표현을 이용하여 타이밍 문제를 명세화하고 검출할 수 있어 기존 트레이스포인트 디버거와는 다르다.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.111-118
• /
• 2010

본 논문에서는 Simulink로 모델 검사를 위한 향상된 기능을 가진 디버거의 구현에 대해 기술한다. Simulink에서 기본적으로 제공되는 디버그 기능은 복잡한 시나리오나 복잡한 모델을 검사할 때 단순 반복적인 작업이 다수 요구되었다. 이를 개선하기 위해서 본 연구에서는 임의의 시나리오에 따른 시뮬레이션 결과와 예상한 결과를 확인할 수 있는 기능, 원하는 시점에서 시스템의 변화를 확인하는 기능, 임의의 혹은 전체 시나리오에 대한 시스템의 Coverage Report 기능 등이 구현된 Simulink 디버거에 대해 소개하고 구현에 대한 이슈를 기술한다. 이 프로그램을 Matlab에서 제공하는 자판기 모델에 적용해서 그 유용성을 확인했다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.671-674
• /
• 2001

Q+P Esto는 정보가전용 RTOS인 Q+P를 위한 원격 개발 환경이다. 타겟에이전트는 타겟에서 실행되면서 호스트에 있는 디버거와 원격쉘, 그리고 자원모니터 같은 Q+P Esto 도구들이 원격 개발을 하는데 필요한 기본적인 기능들을 제공한다. 본 논문은 GNU gdb 5.0에 있는 gdbserver를 이용하여 타겟에서 실행 중인 응용 프로세스를 감시 및 제어하는 구조를 제안한다. 디버깅을 위하여 정지점(breakpoint)에 걸린 응용 프로세스를 continue 시켰을 때 응용 프로세스가 무한 루프에 빠지더라도 타겟에이전트는 다른 도구의 요청을 계속 처리할 수 있다. 응용 프로세스를 제어하는 자세한 메커니즘은 gdbserver가 담당한다. 따라서, 타겟에이전트는 단지 gdb remote protocol만 사용하여 gdbserver와 통신하면 되므로 구현이 용이하다.