• Communications for Statistical Applications and Methods
• /
• 제18권6호
• /
• pp.741-750
• /
• 2011

본 논문에서는 소프트웨어의 고장수리 과정 중 완전 수리와 불완전 수리를 모두 고려하는 혼합수리 모형을 제안하려고 한다. 이를 위해 소프트웨어가 가지고 있는 전체 결함의 유형을 고치기 쉬운 결함 유형과 고치기 어려운 결함 유형으로 나누고, 고치기 쉬운 결함의 경우에서는 수리 과정 중 결함을 완전하게 고친다고 가정한다. 또한 고치기 어려운 결함 유형은 완전 또는 불완전 수리가 가능하도록 가정하며, 이러한 가정과 마코프 과정(Markov process)하에서 소프트웨어 성능 평가를 위한 측도 중에 하나인 소프트웨어 가용성(software availability)을 제시하고자 한다.

• Communications for Statistical Applications and Methods
• /
• 제19권4호
• /
• pp.571-577
• /
• 2012

Modules that consist of software are respectively coded in the early development phase and the modules are unified as a software. After unification, the software is repeatedly tested with a given taskset (the set of module tasks that are tested simultaneously) until a required performance level is satisfied. In this paper, we expand the one-module software debugging model of Jang and Lee (2011) to a multi-module debugging model and derive the taskset completion probability and the mean of the completed tasksets under the assumption that the processing times of module tasks given in a taskset are mutually dependent.

• 정보처리학회논문지A
• /
• 제9A권4호
• /
• pp.525-534
• /
• 2002

병렬프로그램에서 경합 조건은 비결정적인 수행 결과를 초래하므로 디버깅을 위해 반드시 탐지되어야 한다. 이러한 경합을 수행 중에 탐지하는 기존의 기법들은 병행성 정보 생성 시에 공유 자료구조를 사용하여 심각한 병목현상을 발생시키거나, 병행성 정보 비교 시에 내포병렬성의 정도에 의존하는 비효율적인 시간 복잡도를 가진다. 본 논문에서는 개별 자료구조를 사용함으로써 병목현상을 제거하여 병행성 정보를 확장적으로 생성하며, 생성된 병행성 정보의 비교 시간을 상수적인 복잡도로 개선한 새로운 레이블링 기법을 제안한다. 그러므로 제안된 레이블링 기법의 확장성 및 효율성은 공유메모리와 메시지전달 프로그램뿐만 아니라 이를 혼합하여 사용하는 병렬프로그램에서도 효율적인 수행중 경합탐지를 가능하게 한다.