• Title/Summary/Keyword: Debugging

검색결과 341건 처리시간 0.025초

정적 링크된 ELF 파일에서의 외부 심볼 정보 복구 기법 (A Recovery Method of External Symbol Information in Statically-Linked ELF Files)

  • 김정인
    • 한국멀티미디어학회논문지
    • /
    • 제13권2호
    • /
    • pp.161-170
    • /
    • 2010
  • ELF는 실행과 링킹 형식(Executable and Linkable Format)의 약어로서, 리눅스 시스템에서 사용하는 공유 라이브러리와 실행 파일을 위한 기본 파일 형식이다. 한편 링커는 정적 링킹을 통한 목적 파일 생성 시, 정적 공유 라이브러리의 심볼 정보를 목적 파일 내 심볼 테이블에 복사한다. 이 때, 심볼 테이블은 공유 라이브러리가 제공하는 함수 이름을 포함하여 여러 가지 디버깅 관련 정보를 포함하는데, 프로그램 실행에 직접적인 영향을 미치지 않는다는 점을 이용하여 보안상 디버깅되는 것을 방지하기 위해 삭제될 수 있다. 본 논문은 심볼 테이블이 삭제된 ELF 목적 파일에서 정적 공유 라이브러리의 심볼 정보를 복구하는 방법을 제안하고 실제로 실험을 행하여 복구된 심볼 정보를 확인한다.

사물인터넷 환경에서 시스템에 대한 비정상행위 방지 기법 (A Scheme on Anomaly Prevention for Systems in IoT Environment)

  • 이근호
    • 사물인터넷융복합논문지
    • /
    • 제5권2호
    • /
    • pp.95-101
    • /
    • 2019
  • 4차 산업혁명시대와 사물인터넷의 시대로 접어들면서 다양한 서비스가 빠르게 성장하고 있으며 관련된 다양한 연구가 활발히 진행중에 있다. 그중에서도 사물인터넷에서 사용이 되고 있는 다양한 디바이스에 대한 비정상행위에 대한 연구도 진행이 되고 있다. 초연결의 사회에서 하나의 잘못된 디바이스로 인한 피해가 발생하면 다양하게 연결되어 있는 시스템에 심각한 영향을 줄 수 밖에 없다. 본 논문에서는 이러한 사물인터넷 환경에서 디바이스에 대한 안전성을 높일 수 있는 방법과 안전하게 디바이스와 서비스를 이용하 수 있는 방법에 대하여 안티디버깅 기법, 이상 프로세스 탐지 기법, 백도어 탐지 기법 등 여러 가지 비정상적인 행위로 인한 위협요소에 대응하기 위한 기법을 제안한다.

소프트웨어 시험 인력의 추정 방법 (An Estimating Method for Software Testing Manpower)

  • 박주석
    • 정보처리학회논문지D
    • /
    • 제11D권7호
    • /
    • pp.1491-1498
    • /
    • 2004
  • 성공적인 프로젝트 계획은 활용 가능한 일정과 더불어 프로젝트를 완수하는데 요구되는 인력을 얼마나 정확히 추정하느냐에 달려있다. 새로운 또는 보다 나은 모델 개발에 많은 연구가 이루어졌지만 현존하는 소프트웨어 인력 추정 모델들은 소프트웨어 생명주기 전반에 걸쳐 투입되는 총 개발인력 또는 시간에 따른 단위시간당 개발인력 분포만을 제공하고 있다. 본 논문은 시간의 함수가 아닌 발견된 결함 수에 따라 시험단계에 투입되는 인력과 시험단계의 시험과정과 디버깅과정에 투입되는 인력을 추정하는 모델들을 제시하였다. 시험과 디버깅 과정에서 발견되는 결함에 기반한 투입 인력의 다항식 모델을 제안한다. 제안된 모델들은 5종의 다른 소프트웨어 프로젝트들에 적용되어 결정계수와 MMRE를 통해 모델의 적합성을 검증하였다.

교육용 한글 프로그래밍 언어 'HanScript'의 적용 (The Development and Evaluation of Educational Hangul Programming Language 'HanScript')

  • 정영식
    • 컴퓨터교육학회논문지
    • /
    • 제7권3호
    • /
    • pp.15-22
    • /
    • 2004
  • 본 연구에서는 프로그램을 보다 쉽고 편리하게 작성할 수 있도록 교육용 한글 프로그래밍 언어인 HanScript를 개발하여 학교 현장에 적용하였다. 또한 HanScript를 평가하기 위해서 교육용 프로그래밍 언어의 조건을 가독성, 가작성, 교정성으로 구분하고, 이를 Visual Basic과 비교하였다. 그 결과 HanScript는 우리말식으로 표현되어 있어 Visual Basic에 비해 가독성과 교정성이 높게 나타났다. 그러나 Visual Basic에 비해 라이브러리가 부족하여 복잡한 기능을 구현하기 어려웠고, 소스 코드를 쉽게 작성할 수 있는 편집기가 제공되지 않아 실습하는 데 어려움이 많았다. 따라서 HanScript가 풍부한 라이브러리와 자세한 디버그 정보를 제공하고, 소스를 편리하게 작성할 수 있는 편집기를 제공한다면 보다 유용한 교육용 프로그래밍 언어가 될 수 있을 것이다.

  • PDF

운영중인 소프트웨어의 신뢰도 향상 연구 (A Study on the SRGM of Operational Software)

  • 최규식
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2005년도 추계 종합학술대회 논문집
    • /
    • pp.423-427
    • /
    • 2005
  • 운영 중에는 결함 수정이 쉽지 않아서 고장률이 일정하다고 하는 연구도 있다. 그러나, 운영단계 중에는 결함을 수정하건 안하건 시간이 지남에 따라서 고장율이 줄어들어서 신뢰도가 향상된다는 사실이 관찰되고 있다. 이러한 신뢰도 성장에 대한 이유는 제품을 사용하게 됨에 따라 그에 대한 경험이 쌓이게 되며, 제품을 정확하게 사용하는 법을 배우게 되고, 또한 결함을 일으키는 환경을 발견하여 조치를 취할 수 있기 때문이다. 이러한 성장모델에 영향을 미치는 또 다른 요인을 살펴보면 제품을 설치한 후에 사용자가 새로운 드라이버를 설치한다든지, 소프트웨어를 더 나은 새로운 버전으로 업그레이드 시킨다든지 하는 행위를 하는 것이 필요하다는 것을 알게 된다는 것이다. 본 논문에서는 이러한 현상을 표현하는 간단한 모델을 제시한다.

  • PDF

공유 메모리 병렬 프로그램의 수행중 오류 탐지를 위한 루프 분리 (Loop Splitting for On-the-fly Race Detection of Sharded-memory Parallel Programs)

  • 송태섭
    • 한국정보통신학회논문지
    • /
    • 제16권3호
    • /
    • pp.391-398
    • /
    • 2012
  • 병렬 프로그램은 의도되지 않은 비결정적인 수행을 야기하므로 공유 메모리를 사용하는 병렬 프로그램에서는 경합을 탐지하는 것은 매우 중요하다. 수행 중 기법에서 경합을 탐지하기 위해서 요구되는 기억장소의 부담은 매우크다. 특히 동기화가 있는 병렬 프로그램에서 경합 탐지에 필요한 기억 공간의 문제는 더욱 심각하다. 그래서, 본 논문에서는 원시 프로그램의 시멘틱을 유지하면서 동기화를 가지는 공유 메모리 병렬 프로그램의 디버깅을 위한 루프 분리 기법을 제시한다. 이것은 동기화를 가지는 병렬 프로그램의 수행 중 경합 탐지에 필요로 하는 기억공간의 복잡성을 줄일 수 있고, 루프 분리된 프로그램을 수행 중에 감시하여 최초 경합들을 탐지할 수 있다.

효율적 디버깅을 위한 디자인 체크포인트 기반 시뮬레이션 방법 (Simulation Method based on Design Checkpoint for Efficient Debugging)

  • 심규호;김남도;박인학;민병언;양세양
    • 정보처리학회논문지A
    • /
    • 제19A권3호
    • /
    • pp.113-120
    • /
    • 2012
  • 디지털시스템 설계에 대한 HDL 시뮬레이션을 통한 검증 과정에서는 설계에 대한 분석 및 디버깅을 위하여 설계에 존재하는 수많은 신호선들에 대하여 시뮬레이션 실행 중에 시그널 덤핑을 통한 가시도 확보가 필요하게 된다. 그러나 이와 같은 시그널 덤핑은 일반적으로 시뮬레이션의 속도를 크게 떨어뜨리는 문제점을 가지고 있거나, 시뮬레이션의 실행 횟수를 늘리는 문제점을 초래한다. 본 논문에서는 디자인 체크포인트를 활용하여서 시그널 덤핑을 효율적이며 신속하게 수행하는 시뮬레이션 방법을 제시하고, 이를 시스템반도체급의 대규모 회로인 산업체 설계들에 적용하여 제안된 방법이 효과적임을 확인하였다.

게임 서비스 보호를 위한 소프트웨어 위변조 방지기술 연구 (The Study on Software Tamper Resistance for Securing Game Services)

  • 장항배;강종구;조태희
    • 한국멀티미디어학회논문지
    • /
    • 제12권8호
    • /
    • pp.1120-1127
    • /
    • 2009
  • 게임 산업의 급격한 성장과 사회적 영향은 그에 비례하여 게임 서비스의 취약성을 공격하는 침해사고 건수는 지속적으로 증가하고 있다. 하지만, 게임서비스 역기능 방지를 위한 차별화된 정보보안 기술연구는 아직 미진한 상태이다. 따라서 본 연구에서는 현재 서비스되고 있는 온라인 게임서비스에 대한 침해현황을 조사하고, 가장 큰 보안 취약점으로 도출된 게임서비스 위변조에 기술적 대응 방안을 설계하였다. 게임 서비스의 위변조 방지를 위하여 실행파일을 암호화하고 실시간으로 복호화하며 게임서비스 역 분석 방지를 위하여 디버깅, 디스어셈블, 자체 메모리 덤프를 방지하고 모듈 의존성에 대한 정보를 은닉하도록 하였다.

  • PDF

Debugging of Parallel Programs using Distributed Cooperating Components

  • Mrayyan, Reema Mohammad;Al Rababah, Ahmad AbdulQadir
    • International Journal of Computer Science & Network Security
    • /
    • 제21권12spc호
    • /
    • pp.570-578
    • /
    • 2021
  • Recently, in the field of engineering and scientific and technical calculations, problems of mathematical modeling, real-time problems, there has been a tendency towards rejection of sequential solutions for single-processor computers. Almost all modern application packages created in the above areas are focused on a parallel or distributed computing environment. This is primarily due to the ever-increasing requirements for the reliability of the results obtained and the accuracy of calculations, and hence the multiply increasing volumes of processed data [2,17,41]. In addition, new methods and algorithms for solving problems appear, the implementation of which on single-processor systems would be simply impossible due to increased requirements for the performance of the computing system. The ubiquity of various types of parallel systems also plays a positive role in this process. Simultaneously with the growing demand for parallel programs and the proliferation of multiprocessor, multicore and cluster technologies, the development of parallel programs is becoming more and more urgent, since program users want to make the most of the capabilities of their modern computing equipment[14,39]. The high complexity of the development of parallel programs, which often does not allow the efficient use of the capabilities of high-performance computers, is a generally accepted fact[23,31].

영상기기의 EMC Debugging 기술 (EMC Debugging Technique for Image Equipments)

  • 송민종;김진사
    • 한국전기전자재료학회논문지
    • /
    • 제35권2호
    • /
    • pp.143-148
    • /
    • 2022
  • For the purpose of treating health checkups and recovery of patients in a super-aged society, hospitals use devices designed with a reduction circuit of electromagnetic waves associated with the specific absorption rate of electromagnetic waves absorbed by the human body. In this paper, we proposed a filter improvement design method capable of reducing electromagnetic waves. As a result of confirming the validity of the proposed technique through simulation and experimental results, the following result values were obtained. Applying the common-mode (CM) inductor 4 mH to a calibration circuit, noise decreased in a multiband spectrum. Using the differential mode(DM) inductor 40 µH element in the primary calibration circuit, the noise decreased by 15 dB or more in the 3 MHz band spectrum. Also, applying the Admittance Capacitance (Y-Cap) 10 nF element in the secondary calibration circuit resulted in the decrease by more than 30 dB in the band spectrum before 2 MHz. After using a common-mode inductor 4 mH element in the tertiary calibration circuit, it decreased by more than 15 dB in the band spectrum after 2 MHz.