• 제목/요약/키워드: 디버깅

검색결과 334건 처리시간 0.022초

프로그램의 오염 정보 추적을 위한 동적 오염 분석의 이론 및 구현 (Theory and Implementation of Dynamic Taint Analysis for Tracing Tainted Data of Programs)

  • 임현일
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제2권7호
    • /
    • pp.303-310
    • /
    • 2013
  • 컴퓨팅 환경에서 소프트웨어가 차지하는 역할이 커지면서 소프트웨어 보안은 더욱 중요한 문제가 되고 있다. 동적 오염 분석은 프로그램 실행 중에 신뢰할 수 없는 소스로부터 유래된 오염된 데이터의 이동을 추적하고 관리하는 분석 방법이다. 이 분석 방법은 소프트웨어의 보안 검증 뿐만 아니라 소프트웨어의 동작을 이해하고, 예상하지 못한 오류에 대한 테스팅 및 디버깅 등에서 활용할 수 있다. 기존에 이와 관련한 연구에서는 동적 오염 분석을 이용한 분석 사례를 보여주고 있지만, 동적 오염 분석에서 오염된 정보 전파 과정 및 동작 과정에 대해서 체계적이고 논리적으로 기술하지 못하고 있다. 본 논문에서는 이런 분석 과정을 이론적으로 기술함으로써 오염된 정보의 전파 과정을 어떻게 추적할 수 있는지 논리적으로 보여주고, 이를 응용할 수 있는 이론적 모델을 제시하고 있다. 본 논문에서 기술한 이론적 모델에 대해서 분석기를 구현하고 프로그램에 대한 분석 결과를 통해서 모델의 정확성을 검증한다. 그리고, 프로그램에 나타나는 오염 정보들의 전파 과정을 보이고 결과를 검증한다. 본 이론적 모델은 동적 오염 분석에서 자료 흐름의 분석 과정을 이해하고 이를 활용하는 분석 방법을 설계하거나 구현하는 기반 지식으로 활용될 수 있을 것이다.

효율적인 자바언어 학습을 위한 인터넷기반 자율학습시스템의 구현 (An Internet-based Self-Learning Educational System for Efficient Learning of Java Language)

  • 김동식;이동엽
    • 공학교육연구
    • /
    • 제8권1호
    • /
    • pp.71-83
    • /
    • 2005
  • 본 논문에서는 자바 언어를 학습하는데 있어 효율성을 증가시키기 위해 인터넷 기반 자율학습시스템이 제안되었다. 제안된 자율학습시스템은 JWP(Java Web Player)라고 불리며 Java Web Start 기술을 활용하여 웹상에서 실행이 가능한 자바 애플리케이션 프로그램이다. 또한 본 논문에서는 컴퓨터 언어를 학습하는데 있어 3가지 중요한 일련의 과정인 개념학습과정, 프로그래밍 실습과정, 그리고 학습 성취도 평가과정을 Java Web Start 기술을 이용하여 JWP에 통합하였다. 제안된 시스템은 학습과정을 교육공학적인 측면에서 멀티미디어 요소를 강화하였기 때문에 학습자가 흥미를 가지고 자발적으로 학습을 할 수 있도록 설계되었다. 더욱이 JWP 에는 효율적인 자바 언어 학습을 위해 학습내용에 대한 설명이 음성으로 출력되며, 이때 이와 관련된 이미지와 텍스트들이 동기화되어 동시에 화면에 표시된다. 더욱이 소스파일의 코딩, 에디팅, 실행 그리고 디버깅 등을 쉽게 할 수 있는 컴파일러가 삽입되어 있어 편리한 자바 언어 실습환경을 제공한다. 마지막으로 각 단원별 돌발퀴즈와 마무리 테스트를 통하여 학습자가 자신의 학습상황을 체크하여 반복학습을 할 수 있도록 유도하였다.

유한요소법을 이용한 타이머 Curing Bladder Shaping엔 관한 연구 (A Study of Tire Curing Bladder shaping by Using Finite Element Method)

  • 김천식;김항우
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 1992년도 가을 학술발표회 논문집
    • /
    • pp.3-3
    • /
    • 1992
  • 타이어 Curing공정은 공기압 타이어의 제조시 상당히 정교한 단계를 거쳐서 이루어지며, 이는 타이어 설계에 큰 영향을 줄 뿐만아니라, 타이어의 성능에도 관건이 있다. 본 연구에서는 유한요소법을 이용하여 타이어의 molding 공정을 분석하였다. 유한요소해석 프로그램인 MARC가 Cured 타이어 내부의 Curing Bladder 팽창과정해석에 이용되었다. 비압축성 요소로 Curing Bladder를 모형화하였으며, MARC의 접촉문제해석기법(contact option)을 이용하여 Cured 타이어 내부와 Curing Bladder 외부의 접촉부위를 Simulation하였다. 본 연구의 주요 관심내용으로서는 Curing Bladder의 형상변화에 따른 Curing Bladder의 팽창거동해석과, Cured타이어와 Curing Bladder의 접촉부위에서 얻을 수 있는 접촉압력의 비교.검토이다. 타이어 Curing시 타이어와 Bladder의 Contact과정을 해석하여, 아래와 같은 결과를 도출하였다. Bladder의 형상은 Cylinderical 형상 보다는 Toroidal 형태가 접촉압 분포의 균일성 및 크기 측면에 서 우수한 것으로 판단된다. Curing Bladder의 증심선 부위 보다 이에서 약간 떨어진 부위에서 최대 접촉압력이 발생되며, 이는 타이어 내면의 굴곡현상과 깊은 관련이 있윰 것으로 사료된다. 타이어 Bead부의 Carcass 자연평형현상이 유지된 제품을 얻기위해서는, Side-Bead구간의 접촉압력 증가가 필요하며, 이를 위하여는 Bladder 형상이 Cylinderical 보다는 Toroidal 형태가 유리하고, Bead부의 Gage Down, 전체직경의 증가 및 높이의 증가가 유리한 것으로 판단된다. 본 연구 결과를 이용하여, 타이어 Curing과정에서 발생되는 불량제품의 원인파악 및 타이어 설계자가 원하는 제품생산의 불가능한 원인을 파악하는데 도움을 줄 것이다.를 C의 structure와 pointer를 기반으로 하게끔 변경시키고 이에 따르는 제반 변경 사항을 수정 보완하여 프로그램의 분석을 용이하게 하며 기능의 변경 및 추가가 수월하게 하였고 메모리를 동적으로 관리할 수 있게 하였다. 또한 기존의 smpl에 디버깅용 함수 및 설비(facility) 제어용 함수를 추가하여 시뮬레이션 프로그램 작성을 용이하게 하였다. 예를 들면 who_server(), who_queue(), pop_Q(), push_Q(), pop_server(), push_server(), we(), wf(), printfct() 같은 함수들이다. 또한 동시에 발생되는 사건들의 순서를 조종하기 위해, 동시에 발생할 수 있는 각각의 사건에 우선순위를 두어 이 우선 순위에 의하여 사건 리스트(event list)에서 자동적으로 사건들의 순서가 결정되도록 확장하였으며, 설비 제어방식에 있어서도 FIFO, LIFO, 우선 순위 방식등을 선택할 수 있도록 확장하였다. SIMPLE는 자료구조 및 프로그램이 공개되어 있으므로 프로그래머가 원하는 기능을 쉽게 추가할 수 있는 장점도 있다. 아울러 SMPLE에서 새로이 추가된 자료구조와 함수 및 설비제어 방식등을 활용하여 실제 중형급 시스템에 대한 시뮬레이션 구현과 시스템 분석의 예를 보인다._3$", chain segment, with the activation energy of carriers from the shallow trap with 0.4[eV], in he amorphous regions.의 증발산율은 우기의 기상자료를 이용하여 구한 결과 0.05 - 0.10 mm/hr 의 범위로서 이로 인한 강우손실량은 큰 의미가 없음을 알았다.재발이 나타난 3례의 환자를 제외한 9례 (75%)에서는 현재까지 재발소견을 보이지 않고 있다. 이러한 결과는 다른 보고자들과 유사한 결과를 보이고 있지만 아직까지 증례가 많지 않기 때문에 생존율을 얻

  • PDF

누적외상병에 관한 연구

  • 권영국
    • 대한인간공학회:학술대회논문집
    • /
    • 대한인간공학회 1993년도 추계학술대회논문집
    • /
    • pp.20-20
    • /
    • 1993
  • 반복적인 일의 수행으로 인한 병인 누적외상병에 관해 살펴보고자 한다. 누적외 상병(Cumulative Trauma Disorders)이란 비교적 생소한 질환으로 손이나 어떤 신체 부위를 반복적으로 오래 사용하였을 때 오는 병이다. 이 질환은 200년전 이탈리아 의사인 Benardino Ramazinni에 의해 분류되었으나 최근까지 큰 관심을 끌지 못했 다. 이 병은 Tennis Elbow(테니스 팔꿈치) 또는 Triger Finger(방아쇠 손가락)등 으로 더 잘 알려져 왔다. 그리고 의학계에서는 Ganglions(수종)으로 알려져 왔다. 그러나 80년대의 탁상컴퓨터의 보급으로 많은 사무실에서 반복적인 작업을 연속적 으로 하게 되어 많은 사무원들이 누적외상병(CTD)으로 고통에 시달리게 되고, 심한 경우에는 수술까지 하게된다. 제안자 역시 이 병으로 손목수술을 받은 바 있는 데 이 병은 잠복기가 몇년씩 되는 직업병이다. 이병의 특성상 암과 같이 조기에 발견 하기 어렵고, 이것을 느꼈을 때는 대부분 너무 늦어 수술이 불가피한 경우가 많다. 본 연구에서는 누적외상병의 실체와 현재까지의 외국에서 수행된 연구결과를 소개하고, 현재 한국에서의 이병의 실태를 파악하기 위해 표본대상을 선정하여 설 문조사와 실측조사를 함께 수행하고자 한다. 표본대상으로 육체노동으로 반복작업 을 하는 (Blue-Color) 집단, 사무실에서 반복작업을 하는 (White-Color) 집단, 그리 고 가정에서 반복작업을 하게 되는 주부집단등으로 나누어 실태조사를 하고자 한다. 설문조사의 통계처리를 바탕으로 한국에서의 누적외상병에 관한 실태조사와 의식구 조까지를 진단해 보고자 한다. 그런 다음 총체적이고 최신의 이론과 연구에 바탕을 둔 해결책과 대안을 제시해 보고자 한다.콘에 대해 일반화시키기는 어려우나 이후에 행해질 Icon-based User Interface 분야의 많은 연구들의 기초가 될 것이다. 더불어 아이콘과 관련된 많은 요인들(문화적 영향, 아이콘 색깔, 크기, 아이콘의 위치등이 인식에 미치는 영향)에 대해서도 연구가 행해져야 할 것이다. 확인하고 각각의 기능을 분명히 했다.가 수월하게 하였고 메모리를 동적으로 관리할 수 있게 하였다. 또한 기존의 smpl에 디버깅용 함수 및 설비(facility) 제어용 함수를 추가하여 시뮬레이션 프로그램 작성을 용이하게 하였다. 예를 들면 who_server(), who_queue(), pop_Q(), push_Q(), pop_server(), push_server(), we(), wf(), printfct() 같은 함수들이다. 또한 동시에 발생되는 사건들의 순서를 조종하기 위해, 동시에 발생할 수 있는 각각의 사건에 우선순위를 두어 이 우선 순위에 의하여 사건 리스트(event list)에서 자동적으로 사건들의 순서가 결정되도록 확장하였으며, 설비 제어방식에 있어서도 FIFO, LIFO, 우선 순위 방식등을 선택할 수 있도록 확장하였다. SIMPLE는 자료구조 및 프로그램이 공개되어 있으므로 프로그래머가 원하는 기능을 쉽게 추가할 수 있는 장점도 있다. 아울러 SMPLE에서 새로이 추가된 자료구조와 함수 및 설비제어 방식등을 활용하여 실제 중형급 시스템에 대한 시뮬레이션 구현과 시스템 분석의 예를 보인다._3$", chain segment, with the activation energy of carriers from the shallow trap with 0.4[eV], in he amorphous regions.의 증발산율은 우기의 기상자료를 이용하

  • PDF

손목관증후군에 관한 인간공학적 연구 (An Ergonomic Study on Carpal Tunnel Syndrome)

  • 김철홍
    • 대한인간공학회:학술대회논문집
    • /
    • 대한인간공학회 1993년도 추계학술대회논문집
    • /
    • pp.3-14
    • /
    • 1993
  • 손목관증후군(CTS)이란 장기간에 걸쳐 여러가지 의학적, 생리학적, 직업적 요인들에 기인 하여 발생하는 누적외상병(Cumulative Trauma Disorders: CTD)의 대표적인 한 형태이다. 이 증 후근은 1960년에 국제노동기구(ILO)에 의해 직업병으로 인정되었으며 미국을 비롯한 구미각국에 서는 산업체에서 발생하는 작업손실시간및 산업재해보상으로 인한 경비손실에 중요한 요인의 하 나로 규정되어 이에 대한 예방책의 연구가 정부기관, 대학, 연구소, 그리고 산업체를 중심으로 활 발히 이루어지고 있으나, 우리나라에서는 아직 이에 대한 인식및 예방책에 관한 연구가 미흡한 실정이다. 본 논문에서는 직업적 요인을 중심으로 손목관증후군(CTS)의 발병가능성이 높은 직업 및 그 작업조건들을 고찰하고 이의 예방을 위한 연구방안을 다음과 같이 모색하였다. 첫째, 손목 관증후군에 관련된 문헌조사를 통하여 어떠한 직업들이 보다 높은 발병위험에 직면하고 있으며 어 떤 작업조건및 환경적 요인들이 손목관증후군(CTS)을 발병시킬수 있는가에 대하여 고찰하였다. 둘째, 미국등의 대학및 연구소에서 여러가지 작업조건들을 통제한 실험을 통하여 얻어진 이 증후군 의 발병율을 감소시키기 위한 여러가지 안전한 작업기준들을 검토하고 정부기관(NIOSH, OSHA)의 정책방향을 검토하였다. 세째, 미국의 연구소및 경영자문회사등에서 산업체를 대상으로 시행하고 종합적인 누적외상병(CTD)의 예방프로그램을 검토하였다. 마지막으로, 현재 우리나라의 손목관증 후군(CTS)을 중심으로한 누적외상병의 현실을 검토하고 앞으로의 예방을 위한 연구방향및 방법과 정책적 대응방안등에 대하여 연구검토하였다. 결론을 제시하고자 한다.기서 사용된 아이콘에 대해서만 타당한 것으로 이것을 모든 아이콘에 대해 일반화시키기는 어려우나 이후에 행해질 Icon-based User Interface 분야의 많은 연구들의 기초가 될 것이다. 더불어 아이콘과 관련된 많은 요인들(문화적 영향, 아이콘 색깔, 크기, 아이콘의 위치등이 인식에 미치는 영향)에 대해서도 연구가 행해져야 할 것이다. 확인하고 각각의 기능을 분명히 했다.가 수월하게 하였고 메모리를 동적으로 관리할 수 있게 하였다. 또한 기존의 smpl에 디버깅용 함수 및 설비(facility) 제어용 함수를 추가하여 시뮬레이션 프로그램 작성을 용이하게 하였다. 예를 들면 who_server(), who_queue(), pop_Q(), push_Q(), pop_server(), push_server(), we(), wf(), printfct() 같은 함수들이다. 또한 동시에 발생되는 사건들의 순서를 조종하기 위해, 동시에 발생할 수 있는 각각의 사건에 우선순위를 두어 이 우선 순위에 의하여 사건 리스트(event list)에서 자동적으로 사건들의 순서가 결정되도록 확장하였으며, 설비 제어방식에 있어서도 FIFO, LIFO, 우선 순위 방식등을 선택할 수 있도록 확장하였다. SIMPLE는 자료구조 및 프로그램이 공개되어 있으므로 프로그래머가 원하는 기능을 쉽게 추가할 수 있는 장점도 있다. 아울러 SMPLE에서 새로이 추가된 자료구조와 함수 및 설비제어 방식등을 활용하여 실제 중형급 시스템에 대한 시뮬레이션 구현과 시스템 분석의 예를 보인다._3$", chain segment, with the activation ener

  • PDF

여행자정보시스템의 인간공학적 평가 (An Ergonomic Evaluation of TravTek System)

  • 권영국
    • 대한인간공학회:학술대회논문집
    • /
    • 대한인간공학회 1993년도 춘계학술대회논문집
    • /
    • pp.111-123
    • /
    • 1993
  • TravTek이란 Travel Technology의 합성어이며, 미래의 여행자들이 차를 사용하여 여행할 때, 보다 편리하고 쾌적한 여행이 될 수 있도록 차에 컴퓨터단말기를 부착하여 현재 주행하고 있는 도로 를 차안에서 화면을 통하여 볼 수 있고, 컴퓨터가 최단경로를 운전자에게 제시하고, 도로의 상황과 여 행정보(즉 호텔, 관공명소, 행사안내등)를 컴퓨터화면으로 나타내고, 그 정보를 컴퓨터음성으로 들려 주는 것등이 TravTek 시스템의 주된 요소들이다. 현재 미국 플로리다주의 올란도시에서 GM회사가 TravTek 시스템을 설치한 차 100대를 가지고 10개의 기관이 합작으로 평가연구중에 있으며, 이 논문에서 다루고자 하는 것은 그중에서 이차의 인간공학적 평가로 제한하고자 한다. 이러한 시스템을 설치한 차 를 타고 여행할 때, 여행자가 과연 얼마나 안락하게 여행할 수 있으며, 도로의 체증현상을 줄이고, 사 고를 예방하며, 차의 설계와 목적이 인간공학적으로 합당한 가를 알아보고자 하는 연구이다. 인간공학적 평가 인자들은 (1) 운전자의 수행도, (2) 사용자 선호도, (3) 사용자 인식, (4) 운행정보등이다. 그리고 컴퓨터음성을 사용하였을 때와 사용하지 않았을 때의 두가지 경우와 (1) 움직이는 컴퓨터 지도를 사용하 였을 때, (2) 단순화 한 도로안내를 사용하였을 때, (3) 컴퓨터 지도를 사용하지 않았을 경우(종이지도 사용)에 관해 위의 4가지 인간공학적 인자들을 평가하고자 한다. 이 연구는 아직도 진행중이라 발표하 고자 하는 논문역시 현재까지의 연구결과를 토대로 발표하는 것이므로 완전한 결론을 내릴 수는 없고, 진행과정의 내용과 토의사항과 잠정적인 결론을 제시하고자 한다.기서 사용된 아이콘에 대해서만 타당한 것으로 이것을 모든 아이콘에 대해 일반화시키기는 어려우나 이후에 행해질 Icon-based User Interface 분야의 많은 연구들의 기초가 될 것이다. 더불어 아이콘과 관련된 많은 요인들(문화적 영향, 아이콘 색깔, 크기, 아이콘의 위치등이 인식에 미치는 영향)에 대해서도 연구가 행해져야 할 것이다. 확인하고 각각의 기능을 분명히 했다.가 수월하게 하였고 메모리를 동적으로 관리할 수 있게 하였다. 또한 기존의 smpl에 디버깅용 함수 및 설비(facility) 제어용 함수를 추가하여 시뮬레이션 프로그램 작성을 용이하게 하였다. 예를 들면 who_server(), who_queue(), pop_Q(), push_Q(), pop_server(), push_server(), we(), wf(), printfct() 같은 함수들이다. 또한 동시에 발생되는 사건들의 순서를 조종하기 위해, 동시에 발생할 수 있는 각각의 사건에 우선순위를 두어 이 우선 순위에 의하여 사건 리스트(event list)에서 자동적으로 사건들의 순서가 결정되도록 확장하였으며, 설비 제어방식에 있어서도 FIFO, LIFO, 우선 순위 방식등을 선택할 수 있도록 확장하였다. SIMPLE는 자료구조 및 프로그램이 공개되어 있으므로 프로그래머가 원하는 기능을 쉽게 추가할 수 있는 장점도 있다. 아울러 SMPLE에서 새로이 추가된 자료구조와 함수 및 설비제어 방식등을 활용하여 실제 중형급 시스템에 대한 시뮬레이션 구현과 시스템 분석의 예를 보인다._3$", chain segment, with the activation energy of carriers from the shal

  • PDF

소프트웨어 사업대가기준 보정계수의 유도 및 민감도 분석 (A Study on the Derivation and Sensitivity Analysis of the Adjustment Factor in the Software Cost Estimation Guidelines)

  • 변분희;권기태
    • 정보처리학회논문지D
    • /
    • 제15D권1호
    • /
    • pp.61-72
    • /
    • 2008
  • 성공적인 소프트웨어 프로젝트 수행을 결정짓는 중요한 작업 중의 하나는 프로젝트 개발 초기에 소프트웨어 개발 비용을 정확하게 산정하는 것이다. 정확한 산정을 위해서는 빠르게 변화하고 있는 개발 환경 및 기술 변화에 따른 변경 요인을 비용 산정 과정 시 반영시켜야 하며 이를 위해서는 적절한 보정계수 선정과 보정계수 값 적용이 중요시된다. 이에 본 논문에서는 소프트웨어 개발비 대가기준을 위한 어플리케이션 유형 보정계수와 언어 보정계수 산정을 위해 AHP 기법을 적용하였다. 또한, 민감도 분석을 통하여 각 판단 기준이 보정계수에 미치는 영향을조사하였다. 결론적으로, 어플리케이션 유형 보정계수 값은 처리 복잡도에 비해 데이터관리 복잡도와 제어 복잡도에 민감하게 반응하며 또한, 언어 보정계수 값은 디버깅 시간에 비해 개발인력의 보편성과 개발코딩 시간에 더 민감하게 반응하였다. 향후, 연구과제로는 국내의 소프트웨어 개발 환경과 기술을 적절히 반영시킬 수 있는 추가적인 보정계수 결정과 적절한 보정계수 값 조정에 대하여 연구할 것이다. 또한, 언어 보정계수에서는 구체적인 프로그래밍 언어를 들어 좀더 세부적으로 구분한 후 보정계수를 산정하고자 한다.

USN환경에서 교육용 ZigBee 장비의 설계 및 구현 (A Design and Implementation of ZigBee Educational System in USN Environment)

  • 박균득;정중수;정광욱
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제2권5호
    • /
    • pp.335-340
    • /
    • 2013
  • 본 논문에서는 USN 환경에 적합한 ZigBee 교육용 시스템을 설계 및 구현하였다. 또한 ZigBee 교육용 실습 장비를 통하여 사용자가 USN환경에서 소프트웨어 기술 교육을 위하여 동작과정을 실습하고, 그 과정에서의 소프트웨어 설계 기법을 제시하였다. 시스템의 개발 환경으로 CPU는 Atmel사의 Atmega128 프로세서, 디버깅 환경은 AVR 컴파일러, 펌웨어 개발 언어는 C언어를, 응용 프로그램은 Visual C++를 사용하였다. 시스템 동작 과정은 인터넷을 통한 서버나 직접 접속된 하이퍼 터미널로부터 코디네이터가 센싱정보 읽기 명령을 수신한 후 이를 ZigBee 기술을 이용하여 종단장치로 전달함으로서 시작된다. 이후 종단 장치는 다양한 센싱정보를 코디네이터에게 전달하며, 코디네이터는 인터넷을 통해 서버로 전달하거나 코디네이터에게 직접 접속된 하이퍼 터미널로 전달한다. 교육 과정으로는 이러한 ZigBee 동작과정에 대한 실습과 그에 대한 프로그래밍 기법이다. 이때 코디네이터와 종단장치간 통신은 ZigBee 프로토콜의 물리계층, MAC 계층, 네트워크 계층을 활용하여 설계하였다. 또한 서버와 코디네이터간 통신은 TCP/IP 소켓위에 독자적인 프로토콜을 제시하여 설계하였고, 센싱된 데이터를 전달시 프로토콜 처리과정을 해석하여 검증하였다.

프로그래밍 훈련 지원을 위한 테스트케이스의 제어흐름에 기반한 프로그래밍 실패 피드백 시스템 설계 (Design of Programming Failure Feedback System Based on Control Flow of Test Case to Support Programming Training)

  • 이성희;김덕엽;서강복;이우진
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제8권8호
    • /
    • pp.317-322
    • /
    • 2019
  • 프로그래밍 훈련 지원을 위한 프로그래밍 채점시스템은 일반적으로 웹 상에 구축되어 출제자는 프로그래밍 문제를 업로드하고 이를 학습자가 열람하고 문제에 대한 답안을 제출한다. 프로그래밍 채점시스템은 제출된 답안 소스코드를 실행하여 통과, 실패, 에러 메시지 등의 피드백을 제공한다. 통과를 제외한 피드백을 받은 학습자는 통과 판정받을 때까지 계속해서 소스코드를 디버깅한다. 본교에서 프로그래밍 훈련 지원을 위해 온라인 채점시스템을 자체 개발하였고 학생들이 제출한 답안을 분석한 결과 통과 판정을 받지 못한 학생들 중 다수가 자신이 틀린 부분을 정확하게 모른 채 계속해서 문제를 푼다는 사실을 확인하였다. 현재 프로그래밍 채점시스템은 주로 런타임 에러 메시지 위주로 피드백을 수행한다. 하지만 이러한 정보만으로는 프로그래밍 훈련을 하는 학습자들은 제출한 답안의 틀린 부분을 찾아내기가 어렵다. 따라서 본 논문에서는 학습자가 제출한 소스코드에 사용된 테스트케이스의 제어흐름을 분석한 결과를 프로그래밍 실패에 대한 피드백으로 제공하는 시스템을 제안한다. 제안한 시스템은 제어흐름 상의 결함이 존재할 수 있는 경로를 피드백하여 학습자들이 틀린 부분을 보다 빠르게 찾을 수 있게 도와준다. 또한 실제 학습자가 제출한 답안 소스코드를 예로 들어 본 시스템이 적용 가능함을 보인다.

스마트폰 플래시 메모리 이미지 내의 단편화된 페이지 분석 기법 및 구현 (Design and Implementation of Analysis Techniques for Fragmented Pages in the Flash Memory Image of Smartphones)

  • 박정흠;정현지;이상진;손영동
    • 정보보호학회논문지
    • /
    • 제22권4호
    • /
    • pp.827-839
    • /
    • 2012
  • 휴대폰은 개인의 생활과 가장 밀접한 디지털 기기로 디지털 포렌식 수사 시에 반드시 고려해야 할 대상이 되고 있다. 최근에는 스마트폰의 사용이 증가하고 있는데, 스마트폰은 피처폰과는 달리 일반 PC와 유사한 고성능의 운영체제(Android, iOS 등)를 사용하면서 다양한 모바일 앱(app)을 통해 사용자에게 여러 가지 기능을 제공하는 특징이 있다. 디지털 포렌식 관점에서 스마트폰의 사용 흔적을 수집하고 분석하는 것이 중요해짐에 따라서 전세계적으로 스마트폰 포렌식에 관한 연구가 활발하게 이루어지고 있다. 스마트폰 내의 데이터를 분석하기 위해서는 백업 또는 디버깅 기능을 이용하여 사용자 파일을 추출하거나, 운영체제의 루트(root) 권한을 획득하여 플래시 메모리에 대한 이미지를 수집한 후에 파일시스템(YAFFS, EXT, RFS, HFS+ 등)을 재구성하여 분석하는 방법을 사용할 수 있다. 그러나 이와 같은 방법은 정상적으로 존재하는 파일 이외에 삭제되거나 플래시 메모리 페이지의 데이터가 수정되면서 생성될 수 있는 잉여 데이터에 대한 분석에는 한계가 있다. 본 논문에서는 스마트폰으로부터 획득한 플래시 메모리 이미지 내의 단편화된 페이지(fragmented pages)를 분석하는 기법을 소개한다. 이를 통해 플래시 메모리 페이지의 스페어 영역(spare area)이 없어서 파일시스템의 재구성이 불가능한 이미지 또는 정상적인 파일시스템의 비할당 영역에 속하는 임의의 페이지들에 대한 효과적인 분석 방법을 제시한다.