• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.261-263
• /
• 1998

인터넷 급속한 발전은 사용자들에게 웹을 통해서 다양한 설문조사를 하는 서비스를 제공한다. 일반 사용자가 웹을 통한 설문지 작성하기 위해서는 웹에 대한 많은 비용과 시간이 필요하고, 전문지식까지 요구된다. 사용자들은 사용하기 편하고 이해하기 쉬운 프로그램을 원하기 때문에 시각 프로그래밍 기법을 이용하는 WYSIWYG 방식의 저작도구가 필요하다. 시각 프로그래밍 기법은 프로그램에 대해서 구체적으로 표현하기 때문에 사용자가 프로그램을 이해하기와 배우기 쉽다. 본 논문에서는 설문지 저작도구로서 시각 프로그래밍기법을 이용한 WAST(Web Survey Authoring Tool)를 구현하였다. WAST는 설문지를 작성할 때 편의성과 신속성을 제공하여 설문지 작성의 효율성을 높이는 설문지 저작도구이다.

• Digital Contents
• /
• no.2 s.69
• /
• pp.78-88
• /
• 1999

분산객체관리 시스템을 구축하기 위해 사용되는 자동화도구 중에서 특별히 JAVA에 관련되고 웹을 구축할 수 있는 프로그램 자동화도구에 대하여 알아보기로 한다. 여기에서는 JBuilder, Netdynamics, Prolifics, Recital Internet Developer, Sappjire/Web, Vibe Enterprise, Visual Cafe Pfo, WebObject, WebSpeed의 9가지 CASE 도구를 선택하여 이 도구들의 평가버전, 제품의 운영환경, 강점, 약점, 제품의 구성, 제품전략, 작업절차의 순서로 설명하기로 하겠다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.9
• /
• pp.395-406
• /
• 2007

Races in programs with OpenMP directives must be detected for debugging, because they may cause unexpected result by non-deterministic executions. But, Thread Checker of Intel corporation, a well-known existing tool for detecting the races, is not practical because this tool does not verify the existence of races and is known that the cost for race detection is too big. This paper presents a web-based tool which verify the existence of races with an optimal functionality and performance using the results from the property analysis of OpenMP program as well as the user requirements. Our tool is proved to be practical in the aspect of functionality and performance by experiments using synthetic programs, because the suggested tool can verify the existence of race and shows O(n) as the ratio of time consumption while Thread Checker can not verify the existence of race and shows $O(n^2)$ as the ratio, where n is the number of total accesses.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1490-1492
• /
• 2012

프로파일링 도구는 프로그램 최적화뿐만 아니라 스케줄링이나 호출 그래프 작성, 프로그램의 부하 분석 등과 같은 많은 분야에서 이용되고 있다. 이 논문에서는 한국에서 많이 사용되는 운영체제인 윈도우즈 상에서 동작하며 실행 코드만으로 분석이 가능한 프로파일링 도구에 대해 알아본다. 특히 윈도우즈 상에서 동작하는 유명한 프로파일링 도구인 Very Sleepy, 리소스 모니터, PIX, CodeAnalyst, PCM의 특징에 대해 알아본다. 그리고 프로파일링 도구의 특징을 이용해 특정 상황에 적합한 프로파일링 도구를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.331-334
• /
• 2008

현재 위피 저작도구는 위피 코드 작성의 편의성이 부족하고, 시각화를 배제한 문법 중심의 프로그래밍 도구가 대부분이다. 이로 인해 규모가 작은 위피 응용프로그램의 경우에도 직접 코딩해서 개발하고 있다. 따라서 위피 상위레벨(High level) 컴포넌트를 GUI 위젯(Widget)으로 시각화하고, 이를 모바일 레이아웃에 쉽게 적용한 후, 위피 코드로 렌더링(Rendering) 해주는 저작도구에 대한 연구가 필요하다. 본 논문에서는 위젯, 기본 위피 코드, 에뮬레이터 관리를 위해 W2PM(Widget and WIPI Platform Management)을 제안하고, 이를 시스템 기능 요구사항에 반영하여 GUI 위젯을 이용한 위피 저작도구를 설계한다. 제안한 도구는 개발자가 Look & Feel을 자유롭게 조정하고, 중.소규모의 위피 응용프로그램을 제작하는데 효율적이다.

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

컴퓨터 성능의 향상으로 고비용의 수행을 요하는 뮤테이션 기법의 적용 가능성이 커지면서 뮤테이션 기법에 대한 연구가 다시 활성화되고 있다. 뮤테이션 기법에 대한 연구는 순차 프로그램에 대해서는 완성 단계인 것에 반해, 객체지향 프로그램에 대한 연구는 역사가 짧고 아직 초기 단계에 머무르고 있다. 본 논문에서는 현존하는 자바 뮤테이션 오퍼레이터를 모두 지원하는 뮤테이션 분석 도구인 MuJava/SC를 구현하고 이의 성능 개선 방안에 대해서 논의한다. MuJava/SC 구현에는 리플렉션 시스템을 사용하였는데 그 중에서 구조적 리플렉션이 객체지항 뮤데이션 도구의 구현에 적절히 이용됨을 보여주었다. MuJava/SC의 성능을 개선한다면 객체지향 프로그램의 뮤테이션 분석에 유용하게 사용될 수 있을 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.962-965
• /
• 2015

차량 전장용 소프트웨어는 자동차 전자 장비들을 제어하는 만큼 그 정확성과 안전성이 검증되어야 한다. 본 연구에서는 차량 전장용 제어 소프트웨어의 제어논리가 프로그래머가 의도한 데로 구성되어 있는지를 코딩단계에서 실험하고 가시화하는 도구를 개발하였다. 이를 위해 제어 소프트웨어와 함께 컴파일될 전장용 운영체제의 정형 모델을 구축하고 운영체제 구현과는 독립적으로 제어 프로그램에서 정의된 Task들의 수행 순서를 모의 실험하여 차량 전장용 운영체제의 Task 상태 변화를 확인할 수 있도록 하였다. 임의 생성된 제어프로그램 코드와 실제 차량 전장용 제어프로그램 코드에 개발된 도구를 적용하여 그 효용성을 확인하였다.

• Communications of Mathematical Education
• /
• v.13 no.2
• /
• pp.549-562
• /
• 2002

저학년 학생에게도 적절한 표상이 제공되기만 하면 고등 지식을 수용할 수 있다는 사실은 브루너(J.S. Bruner)의 EIS 이론에 의하여 뒷받침 될 수 있다. 이를 위해서는 구체적인 조작이나 시각적인 표상이 제공되어야 한다. 그러나, 실물로써 교구를 제시하는 것은 현실적으로 많은 제약이 따르므로 그 대안으로 컴퓨터 환경에서 제공되는 조작 도구들을 고려해 볼 수 있다. 인터넷 환경은 접근에 있어 용이하며 별도의 비용이 필요 없고 업데이트가 용이하다는 장점을 가지고 있으므로 교구로써의 장점을 갖고 있다. 이에 따라 인터넷 상의 조작 도구를 통한 수학교육 프로그램을 개발하고자 한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.980-983
• /
• 2003

리눅스와 같은 공개 운영 체제의 출현은 많은 프로그램 개발자들로 하여금 시스템 내부적인 측면에 대하여 한층 더 이해를 쉽게 할 수 있는 계기가 되었다. 그러나 프로그램 보안이라는 문제 영역에 관한 심각한 고려가 개발 시부터 병행되지 못함으로 인해 치명적인 프로그램 취약성이 잠재되어 왔다. 따라서 주요 침해 사례들은 상당 수 시스템이 사용하는 일부 알려진 프로세스들의 버그와 같은 프로그램 코드 수준에서의 취약성을 이용한 악의적인 프로그램들이 대부분을 차지한다. 본 논문에서 이러한 문제점을 해결하기 위해 제안하는 바는 다음과 같다. 첫째, 현재까지 널리 알려져 있는 프로그램 관련 취약성에 대한 명확한 이해, 둘째, 프로그램 코드 자체에 잠재되어 있는 취약성들이 내재된 함수들에 관한 분석, 그리고 마지막으로 이러한 분석 기술서를 기반으로 프로그램 취약성 검사 자동화 도구를 제안한다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1998.10a
• /
• pp.157-164
• /
• 1998

본 논문은 원시 프로그램에 오류가 생겼을 때 신속한 오류검출, 소프트웨어의 유지 보수, 유연한 테스팅 등을 목적으로 하는 프로그램 슬라이싱과 원시 프로그램의 복잡한 베 어 흐름이나 데이터 흐름을 이해하고 프로그램이 테스팅 속도 향상과 오류위치를 파악하는 데 도움을 주는 구조적 순서도의 개념을 도압하여, C 언어데 대한 할당문(Assignment Statement)과 복합 제어 문(Compound Control Statement)으로 된 원시 프로그램의 입력 에 대해 프로시듀어(Procedure) 내에서의 구조적 순서도인 나씨-슈나아더만 차트 (Nassi-Shnei-derman Chart)를 자동 생성하고 실제 관심있는 변수에 대해 정적 슬라이싱 (Static Slicing)을 하는 도구를 개발함으로써 보다 빠르고 정확한 프로그램 구조의 이해에 도움을 주고자 한다.