April 26 (Friday)
항공전자Ⅲ
Oral,
제 5 발표장(무궁화룸)
  • Chair :
  •  이동규
FC5-2
병행 소프트웨어의 원자성위배를 위한 자율수리 기법에 대한 고찰
백형진, 이민지, 최으뜸, 전용기(국립경상대학교)
병행 소프트웨어의 원자성위배는 비결정적인 수행 결과를 발생시킬 수 있기 때문에 소프트웨어의 신뢰성을 보장하기 어렵게 만들 수 있으므로 자율수리할 수 있어야 한다. 기존의 자율수리 기법들 중 테스트 인터리빙을 통해 원자성위배를 예측하는 자율수리 기법은 시험단계에서 프로그램을 반복적으로 실행하여 실행될 수 있는 올바른 인터리빙을 수집한다. 하지만 이때 수집되지 않은 인터리빙들 중 올바른 인터리빙도 오류가 발생하는 인터리빙으로 판단한다. 따라서 불필요한 수리를 수행하게 되어 시간적 오버헤드를 발생시킬 수 있다. 본 연구는 수집단계에서 올바른 인터리빙 실행을 제한하여 수집되지 않은 올바른 인터리빙을 모의실험한다. 그 결과 불필요한 수리에 의해 발생된 오버헤드를 실험적으로 입증한다.
 
 
Keywords :
Concurrent Software(병행 소프트웨어), Test Interleaving(테스트 인터리빙), Atomicity Violation(원자성 위배), 자율수리(On-the-Fly Repairing)
 
Paper : FC5-2.pdf

항공우주시스템공학회, 대전광역시 중구 계백로 1719(오류동, 센트리오피스텔 제 12층 1206호)
Tel: 042-523-1978, E-mail: sase@sase.or.kr