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

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

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

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

• 한국정보처리학회논문지
• /
• 제5권5호
• /
• pp.1225-1233
• /
• 1998

소프트웨어 시스템을 언제까지 테스팅해서 사용자에게 양도할 것인가를 결정하는 소프트웨어 양도 정책은 개발자가 해결해야 하는 중요한 문제의 하나이다. 이 양도 정책 문제에 대한 일반적인 접근법은 주어진 신뢰성 요구사항을 만족하기 위해 필요한 고장 발견수나 테스팅 시간을 결정하는 것이다. 소프트웨어 신뢰성은 잔존 고장수 또는 수정된 고장수에 의존하며, 불완전 디버깅 환경에서는 발견된 고장이 모두 수정되는 것이 아니므로 불완전 디버깅 환경에서의 양도 정책을 구하는 새로운 방법이 필요하다. 본 논문에서는 불완전 디버깅 환경에서의 신뢰성 요구사항을 만족하였음을 원하는 신뢰수준으로 보증하는 양도 정책을 제안하고, 이를 구현하였다.

• 정보기술과데이타베이스저널
• /
• 제7권2호
• /
• pp.33-45
• /
• 2000

Uniview system is a client-server system that runs on heterogeneous distributed systems and supports the debugging of various kinds of programs. Its client system provides a unified debugging concept and interface on various debuggers of heterogeneous hosts. Its server system provides debugging services and features openness and scalability by interoperating with one or more debugger processes existing on the same host. Based on FSF(Free Software Foundation)'s gdb and Sun Microsystems's dbx. Uniview system supports C/C++ programming language in various UNIX environments as well as Windows environments. The proposed system was designed and implemented to support the JAVA language, which is prevalently used in recent heterogeneous distributed systems and was partly extended to make a clear analysis of JAVA class file structure. Sun Microsystems's Jdb supplied as a JAVA debugger has very limited functions compared to other programming language debugger. In this paper, Uniview as a JAVA debugging system was implemented to provide debugging technologies which are necessary to debug Java applications but missing in current JAVA language as well as to provide its users with various information.

• 한국산학기술학회논문지
• /
• 제9권1호
• /
• pp.41-46
• /
• 2008

임베디드 소프트웨어는 대상 시스템의 내부 자원과 호스트 시스템의 환경에 매우 민감하므로 수행시 대상 시스템과 동일한 환경에서 디버깅해야 한다. 그러나 대상 시스템의 자원에 직접적으로 접근하여 시스템 상태를 조사하거나 제어하는 기법들은 내부 신호나 자원에 대한 접근이 제한되어 있는 SoC (System-On-a-Chip) 소프트웨어를 디버깅하기는 부적합하다. 본 논문에서는 JTAG을 기반으로 원격 시스템에 접근하여 임베디드 소프트웨어를 디버깅할 수 있는 어뎁터를 제안한다. 이는 원격 디버깅을 위한 환경 구축에 많은 어려움 있는 기존의 환경 구축의 경제적 제한점을 해소할 수 있다. 따라서 본 논문은 원격 시스템내의 임베디드 소프트웨어를 디버깅할 수 있는 경제적인 인터페이싱 환경을 제공한다.

• 품질경영학회지
• /
• 제34권3호
• /
• pp.73-78
• /
• 2006

In this paper, we propose a software reliability growth model based on the testing domain in the software system, which is isolated by the executed test cases in software testing. In particular, our model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process, and is formulated as a nonhomogeneous Poisson process(NHPP). Further, it is applied to fault-detection data, the results of software reliability assessment are shown, and comparison of goodness-of-fit with the existing software reliability growth model is performed.

• 제어로봇시스템학회논문지
• /
• 제20권4호
• /
• pp.474-479
• /
• 2014

LEON3 is a 32-bit synthesizable processor based on the SPARC V8. It can be connected to AMBA 2.0 bus and has a 7- stage pipeline, IEEE-754 FPU and 256[KB] cache. It can be easily implemented using FPGA and used for a SoC design. DSU which comes with LEON3 can be used to control and monitor the operation of LEON3. And DSU makes it easy to set a debugging environment for the development of both hardware and software for an embedded systems based on LEON3. This paper presents the summary of the debugging tool for LEON3 based embedded systems. The debugging tool can initialize the target hardware, find out how the target hardware is configured, load application code to a specified memory space and run that application code. To provide users a debugging environment, it can set breakpoints and control the operation of LEON3 correspondingly. And function call trace is one of key functions of the debugging tool.

• ETRI Journal
• /
• 제35권2호
• /
• pp.301-310
• /
• 2013

Nowadays, the multicore processor is watched with interest by people all over the world. As the design technology of system on chip has developed, observing and controlling the processor core's internal state has not been easy. Therefore, multicore processor debugging is very difficult and time-consuming. Thus, we need a reliable and efficient debugger to find the bugs. In this paper, we propose an on-chip debug architecture for multicore processors that is easily adaptable and flexible. It is based on the JTAG standard and supports monitoring mode debugging, which is different from run-stop mode debugging. Compared with the debug architecture that supports the run-stop mode debugging, the proposed architecture is easily applied to a debugger and has the advantage of having a desirable gate count and execution cycle. To verify the on-chip debug architecture, it is applied to the debugger of the prototype multicore processor and is tested by interconnecting it with a software debugger based on GDB and configured for the target processor.

• 한국국방경영분석학회지
• /
• 제17권2호
• /
• pp.100-112
• /
• 1991

Software system is a hierarchical structure with collection of program units. Software system can import external packages globally or locally depending on the usage within a system. If the imported package is used globally, the soft-ware system can be influenced globally by any change of package and programmer's debugging time for the program maintenance will be greater. To solve these problems, it is desirable to use the imported package locally right on the usage point within the system. The model presented in this paper analyzed entity usage of package in structure of program, identified the usage level to obtain localization and provided information for restructure of the program to localize package usage. To obtain localization, it identified declared entities inside the imported package and analyzed the specification and body part of program unit to identify entities referenced from the imported package. The proposed model can be used to improve the maintainability of software system and contributed to reduction of programmer's debugging time in program maintenance.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.1007-1010
• /
• 2003

This paper presents in-circuit system-on-chip verification and debugging environment. To maximize the emulation speed, the software part is compiled natively for the host computer and the hardware part is mapped into FPGA. The two parts communicate with each other in transaction level. The operation of the hardware part and the software part is recorded independently during the emulation, and after the emulation is over, they are merged in a waveform to give user a unified view that covers both hardware and software.