• Communications for Statistical Applications and Methods
• /
• 제17권6호
• /
• pp.891-898
• /
• 2010

소프트웨어는 독립적으로 개발된 모듈들을 통합하는 개발과정을 거치며, 통합된 소프트웨어는 가용도, 소프트웨어에 내재된 결함의 제거 수 및 주어진 업무(task)들의 처리능력에 의하여 성능이 평가된다. 본 연구에서는 Lee와 Park (2003)의 마코프 불완전 수리모형을 기반으로 모듈들로 구성된 소프트웨어의 업무처리 능력을 평가할 수 있는 업무의 완전처리확률(completion probability)을 유도하며, 이와함께 개발된 소프트웨어가 출하되는 최적의 시점을 결정하는 방안을 제시하고자 한다.

• 응용통계연구
• /
• 제21권6호
• /
• pp.997-1006
• /
• 2008

This paper proposes a new model by combining an infinite-server queueing model for multi-task processing software system with a perfect debugging model based on Markov process with two types of faults suggested by Lee et al. (2001). We apply this model for module and integration testing in the testing process. Also, we compute several measure, such as the expected number of tasks whose processes can be completed and the task completion probability are investigated under the proposed model.

• 컴퓨터교육학회논문지
• /
• 제23권4호
• /
• pp.61-68
• /
• 2020

본 연구의 목적은 소프트웨어(SW) 교육에서 과정중심 평가를 지원하기 위한 디버깅 과제를 개발하고 서비스하는 사이트를 개발하는 것이다. 초등학교와 중학교 SW교육과정 중 프로그래밍 영역의 성취기준을 살펴보면 반복, 조건과 같은 제어구조를 구현하는 것과 변수, 입출력과 같은 요소로 구성되어 있다. 교육부에서 제시하는 과정중심 평가를 적용하기 위해서는 실제 수업환경에서 활용할 수 있는 과제를 제시하고, 성취수준과의 연계를 고려해야 한다. 따라서 본 연구에서는 디버깅 과제로 초등학교용 12과제, 중학교용 15과제를 개발하고 그 타당도를 검증하였다. 타당도 검증을 위해서 델파이 검증을 실시한 결과, 디버깅 과제의 수준과 내용이 적합한 것으로 나타났다. 또한, 디버깅 챌린지 사이트의 사용성을 휴리스틱 평가법으로 검증한 결과 양호한 수준으로 나타나, 실제 교육현장에서 활용하기에 적합한 것으로 나타났다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.170-176
• /
• 2002

자바 언어는 다양한 플랫폼과 다양한 분야에서 사용되고 있는 대표적인 객체지향 언어이다. 자바 언어는 객체지향의 특징 때문에 전통적인 절차지향 언어 보다 프로그램의 구조가 단순하다. 그러나 복잡한 자바 프로그램을 디버깅하는 일은 쉽지 않다. 디버깅은 항상 소프트웨어 발전의 많은 비용이 드는 부분이다. 자바 프로그램의 구문 오류는 현재 디버깅 시스템에 의해서 쉽게 발견된다. 그러나 자바 프로그램에 포함된 논리적인 오류는 발견하기가 어렵다. 자바 프로그램을 위한 기존의 디버깅 기술은 절차지향언어에서 사용하는 순차적인 방법을 사용하고 있다. 불행히도, 이 전통적인 방법들은 종종 특별한 프로그램의 오류를 찾는데 적당하지 않다. 이는 프로그램의 크기가 커지고 복잡해짐에 따라 디버깅하는데 걸리는 시간이 프로그램을 개발하는 시간의 많은 부분을 차지하게 된다. 디버거 사용자가 자바 프로그램 내에 포함되어 있는 오류를 쉽게 찾아내는 일은 효율적인 소프트웨어 개발에서 매우 중요하다. 본 논문에서는 사용자가 자바프로그램을 좀 더 빠르게 디버깅을 할 수 있도록 알고리즈믹 디버깅 방법을 적용한다. 알고리즈믹 디버깅 방법은 함수의 호출관계를 실행 트리로 구성하고 이를 검사하여 에러가 포함 되어 있는 함수를 발견하는 방법이다. 따라서 기존의 순차적인 방법보다 디버깅하는 횟수를 줄일 수 있다.

• 한국산학기술학회논문지
• /
• 제15권9호
• /
• pp.5652-5659
• /
• 2014

소프트웨어를 구성하는 모듈들은 각 모듈에 주어지는 업무들이 동시에 처리될 수 있도록 멀티태스킹이 가능하도록 개발되며, 또한 처리중인 업무들은 완전처리된 업무들과 처리중 모듈고장으로 완전처리 되지 않는 불완전 처리업무로 세분화한다. 이러한 경우 여러 모듈에 동시에 업무가 주어졌을 때, Farlie [11]의 결합확률분포를 기반으로 모듈간의 의존성을 고려하여 업무의 완전처리확률을 평가할 수 있는 모형을 제안하며, 이를 통하여 모듈의존성 모수 값이 커질수록 소프트웨어에 주어진 업무의 완전처리확률은 점점 커짐을 보이고자 한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.105-108
• /
• 1987

In this paper, a new algorithm is proposed to obtain important corner and real corner points of the simple objects and the visual robot graphics simulation using the results is studied. This is capable of performing as a debugging tool for task programming of a visual robot. And the robot motion is also simulated on a CRT terminal.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 정기총회 및 창립40주년기념 학술대회 학회본부
• /
• pp.430-434
• /
• 1987

This paper describes implementation of a robot programming system for automation of manufacturing products, which is embedded in the C programming language. World representation and motion primitives necessary to describe a manipulator task are provided by a set of procedure calls and user defined data structures. Off-line programming is implemented with graphic simulation as a debugging tool. PUMA 560 manipulators are used as a model for one task which inserts a nonstandard power IC Iota PCB. Communication facilities are provided for collision avoidance or two manipulators.

• 정보처리학회논문지A
• /
• 제15A권2호
• /
• pp.87-94
• /
• 2008

메시지전달 프로그램에서 발생하는 메시지경합은 프로그램의 비결정적 수행결과를 초래하므로 효과적인 디버깅을 위하여 탐지되어야 한다. 메시지경합을 탐지하는 기존의 도구는 임의의 메시지를 수신하는 모든 사건에서 경합이 발생한다고 보고한다. 그러나 메시지들이 전송되는 논리적인 통신채널이 서로 다르면 임의의 메시지를 수신하는 사건에서 경합이 발생하지 않을 수도 있으므로, 기존 도구의 부정확한 탐지정보는 프로그래머의 디버깅 작업을 더욱 어렵게 한다. 본 논문에서는 메시지 송수신 사건간의 병행성과 메시지들의 논리적 통신채널을 검사하여 보다 정확하게 메시지경합을 탐지하는 도구인 MPIRace-Check를 제안하다. 본 도구는 vector timestamp를 이용하여 프로그램 수행 중에 메시지를 전송하는 송수신 사건들간의 병행성을 검사하고, 메시지 부가정보를 이용하여 메시지들의 논리적인 통신채널이 동일한지를 검사하여 메시지경합을 탐지한다. 실험에서는 MPI_RTED와 벤치마크 프로그램을 이용하여 본 도구가 프로그램 수행 중에 효율적으로 모든 경합을 정확하게 탐지함을 보인다. 따라서 본 도구는 메시지경합을 정확하게 탐지하여 프로그래머의 디버깅 부담을 줄이고 신뢰성이 있는 병렬 프로그램의 개발을 가능하게 한다.

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

본 논문에서 인터넷 정보가전과 같은 Qplus-T 내장형 시스템을 위한 멀티 태스크 디버깅 환경에 대해 제안한다. 효과적인 교차 개발을 지원하기 위해 원격 멀티 태스크 디버깅 환경의 구조 및 기능틀을 제안할 것이다. 그리고, 좀더 효율적인 교차 개발 환경의 개발을 위하여 호스트-타겟 사이에 디버깅 커뮤니케이션 아키텍쳐를 개선할 것이다. 본 논문에서 제안하는 Q+Esto라는 원격 개발 도구들은 대화형 쉘, 원격 디버거, 리소스 모니터, 타겟 매니저, 그리고 디버그 에이전트들과 같이 몇 개의 독립된 도구들로 구성된다. 호스트에서 원격 멀티 태스크 디버거를 이용해서, 개발자는 타겟 실행 시스템 위에 태스크들을 생성시키거나 디버그 할 수 있으며, 실행 중인 태스크들에 접속하여 디버그 할 수 있다. 응용 코드는 C/C++ 소스레벨로 활 수 있으며, 어셈블리 레벨 코드로도 볼 수 있다. 그리고, 소스코드, 레지스터들, 지역/전역 변수들, 스택 프레임, 메모리, 그리고 사건 트레이스 등등을 위한 다양한 디스플레이 윈도우들을 포함하고 있다. 타겟 매니저는 Q+Esto 도구들에 의해 공유되는 공통된 기능 즉, 호스트-타겟 커뮤니케이션, 오브젝트 파일 로딩, 타겟 상주 호스트 메모리 풀의 관리, 그리고 타겟 시스템 심볼 테이블 관리 등등의 기능들을 구현한다. 이러한 기능들을 개방형 C API라고 부르는데, Q+Esto의 도구들의 확장성을 크게 개선한다. 그리고, 타겟 매니저와 타겟 시스템 커뮤니케이션을 위한 상대파트 모듈 즉, 디버그 에이전트가 존재하는데, 이것은 타겟의 실시간 운영체제 위에서 데몬 태스크 형태로 수행된다. 디버거를 포함한 호스트 도구로부터의 디버깅 요청을 밟아, 그것을 해석하고 실행하여, 그 결과론 호스트에 보내는 기능을 수행한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 하계학술대회 논문집
• /
• pp.337-340
• /
• 1991

The most difficult, time-consuming, and expensive task in building an ES (Expert System) is constructing and debugging its knowledge base. Our goals are to eliminate the knowledge-acquisition bottle-neck for ES creation in data rich situations and to make an ANN (Artificial Neural Network) model behave as much as possible like an ES. The ANN ES has many benifits: Once it has been learned, inference time is very short. It can provide a reasonable conclusion for insufficient input data. But it has also several demerits : Learning time is too long to converge. We cannot guarantee the convergence of its weights. We introduce an ANN ES model which makes most of its benefits and compensates its shortcomings.