• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권5호
• /
• pp.643-650
• /
• 2004

제어 흐름 그래프는 자료 흐름 분석과 제어 종속 분석과 같은 프로그램 분석 분야와 프로그램 슬라이싱과 테스팅과 같은 소프트웨어공학 분야에서 필요로 하는 정보이다. 이러한 분석들이 안전하고 유용하기 위해서는 제어 흐름 그래프는 예외 흐름을 포함해야 한다. 기존의 방법은 예외 흐름과 정상 흐름의 상호 의존적인 관계로 인해 두 흐름을 동시에 계산하면서 제어 흐름 그래프를 생성한다. 그러나 실제 Java 프로그램을 조사해 본 결과 두 흐름이 상호 의존적으로 필요한 경우는 거의 발생하지 않음을 알 수 있었다. 그러므로 정상 흐름과 예외 흐름을 분리해서 계산할 수 있음을 알았고, 예외 흐름을 계산하는 예외 흐름 분석을 제안한다. 그리고 예외 흐름을 표현하는 예외 흐름 그래프를 제안한다. 그리고 제어 흐름 그래프는 예외 흐름 그래프와 정상 흐름 그래프를 합병함으로써 생성될 수 있음을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권7_8호
• /
• pp.696-702
• /
• 2003

본 논문에서는 자바 프로그램의 예외 전파 경로를 추정하기 위한 집합 기반 분석을 제시하고 분석 결과를 이용하여 예외 전파 경로를 시각적으로 보여주는 시각화기를 제시한다. 본 논문에서는 예외 전파 분석기 및 시각화기를 구현하였다. 프로그래머는 시각화기를 이용하여 예외 전파 경로를 따라가면서 처리되지 않는 예외들을 감지하고 예외들을 보다 효과적으로 처리할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권3호
• /
• pp.275-289
• /
• 2000

이 논문의 목적은 ML 프로그램의 소스(source)를 수정하여 ML의 예외상황 처리기의 수행속도를 개선하고자 하는 것이다. ML은 함수를 값으로 주고받을 수 있으며 타입을 이용하여 프로그램을 검사해 주는 언어이다. 이러한 ML의 예외상황 처리부분을 사용함으로서 프로그래머는 쉽게 자신의 프로그램의 예외적인 동작을 기술할 수 있다. 하지만, 이러한 예외상황을 처리하기 위해서는 많은 계산이 필요하기 때문에, 예외상황을 처리하는 프로그램 부분이 병목 현상을 일으키는 경우가 많다. 프로그램의 소스를 바꾸어서 예외상황 처리부분이 존재하지 않는 같은 동작을 하는 다른 프로그램으로 바꾸는 방법은 이미 알려져 있지만, 도리어 수행시간이 느려진다. 위의 바꾸는 방법은 '나중에 할 일을 넘겨주는 방식(Continuation Passing Style)'이라고 부르는 방식으로 프로그램의 소스를 바꾸는 방법을 조금 수정하여, 예외상황을 처리하는 부분을 위의 '나중에 할 일(continuation)'과 같은 방식으로 넘겨주어 예외상황 처리부분이 모두 사라지게 된다. 그러나, 이러한 방식은 모든 프로그램내 표현(expression)을 모두 위와 같은 방식으로 바꾸기 때문에, 이로 인해 발생하는 계산이 예외상황을 처리하는 계산보다 더 많아지게 된다. 이 논문에서는 이러한 단점을 개선하여 프로그램내에서 예외상황 처리부분을 없애는데 꼭 필요한 표현 만을 정적분석을 사용하여 골라내어 이를 선택적으로 변환하는 방법을 사용한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권7호
• /
• pp.510-520
• /
• 2002

본 논문에서는 Java 프로그램에 대한 집합기반 분석 설계 시, 효율적인 분석을 위해 분석의 단위를 조절하는 생성규칙 변환 방법을 제안한다. 기존의 생성규칙을 변환함으로서 기존의 분석보다는 정확성이 감소하지만 보다 효율적인 분석을 설계할 수 있다. 본 방법을 응용한 예로서 기존의식 수준의 클래스 분석과 예외 상황 분석에 대해 생성규칙 변환을 사용하여 효율적인 클래스 분석과 예외상황 분석을 설계하였다. 클래스 분석에서는 메소드와 필드 변수 단위의 분석을 설계하였으며, 예외상황 분석에서는 메소드와 try 구문 단위의 분석을 설계하였다. 그리고 예외상황 분석에서는 식 수준의 분석과 변환된 메소드 수준의 분석이 각 메소드에 대해서 동등한 정보를 제공함을 보였다.

• 대한전자공학회논문지
• /
• 제27권9호
• /
• pp.1351-1363
• /
• 1990

In this paper, a reliable control system structured with dual CPU modules and dual I/O modules is implemented as a means of achieving a highly reliable fault tolerant control system. For this, faults in the system modules are first examined, and a fault detection technique consisting of self diagnostic, comparison process, and exception processing is applied. Self diagnostic is used to locate which components in the modules have been failed, while comparison process is to cmpare control outputs computed by both CPU modules and protect the plant from malfunction by blocking failed control outputsin advance. Finally exception processing is used to determine the faults that are not detected immediately by the self diagnostic and comparison process, e.g. bus error processing when acknowledge signal for data transfer is not activeted in the I/O modules. Also reliability analysis is conducted for the discrete time Markov model with dual structure. It is shown quantitatively that the reliability is improved in the control system with dual structure in comparison with a system with single module structure.

• Journal of Preventive Medicine and Public Health
• /
• 제38권3호
• /
• pp.315-324
• /
• 2005

Objectives : The aim of this study was to examined the mediating role of empowerment in relations to job and organizational factors, and job satisfaction and organizational commitment in hospital organizations. Methods : Job variety, clarity, significance, and fitness were examined as the job factors, and security, reward justice, and organizational support as the organizational factors. Data were collected from 8 national university hospitals with 1,289 data points used for the final analysis. Results : All the job factors were found to positively influence empowerment, as were all the organizational factors, with the exception of reward justice . As hypothesized, empowerment had significant effects on both job satisfaction and organizational commitment, and was the most influential variable of all those examined. Conclusions : In the relations to job satisfaction, empowerment completely mediated job significance, security and organizational support, and partially mediated all other variables, with the exception of reward justice. In the relations to organizational commitment, empowerment completely mediated job variety and job fitness, and partially mediated all other variables, with the exception of reward justice. The theoretical and practical implications of these results have been discussed.

• 한국해양학회지
• /
• 제26권2호
• /
• pp.101-107
• /
• 1991

영산강 하구역에 분포하는 진주담치에 기생하는 요각류, Pseudomyicola spinosus 의 계절 변동을 조사했다. 본 종은 일년에 4세대를 영위하며 여름에 나타난 세대의 개 체수가 가장 많았다. 성비는 9월을 제외하고 6∼10월은 수컷이 1월을 제외한 11∼5월 은 암컷성체가 각각 우세하게 나타났다. 포란성체는 2월을 제외하고 연중 발견되었다. 포란성체가 많이 나타난 1개월 후에는 copeodid가 많이 출현하였다. copeodid는 1∼3 기는 전체의 약 4%에 불과하였으며, 이러한 결과는 copeodid 3기에 본격적인 감염이 이루어지고 있음을 시사하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권4호
• /
• pp.342-356
• /
• 2000

주어진 프로그램에서 예외상황(exception)을 발생시키는 테스트 데이타를 자동으로 생성해주는 분석 방법을 제안한다. 분석 결과로 얻은 테스트 데이타를 사용하여, 프로그램 내에서 발생한 예외상황들이 프로그래머의 의도대로 처리되는지를 검사할 수 있다. 본 논문에서 제안하는 분석 방법은 입력으로 받은 프로그램에서 특정 예외상황이 발생한다는 조건을 시작으로 하여, 프로그램의 입력 값에 대한 제약식(constraints)을 만들어간다. 이 분석 방법이 옳다는 증명에 의해서, 분석 결과로 얻은 테스트 데이타를 입력으로 하여 프로그램을 수행시키면 지정한 예외상황이 항상 발생한다는 것을 보장할 수 있다.함수를 인수나 결과값으로 전달하지 않고(first-order) ML 스타일의 예외상황 관리 방법을 제공하는 언어를 대상으로 하여 테스트 데이타 생성 방법을 제안하고, 이 분석 방법이 옳다는 것을 증명한 후 몇 가지 예를 사용하여 분석 과정을 설명한다.

• 산업경영시스템학회지
• /
• 제39권4호
• /
• pp.72-80
• /
• 2016

The market size of plant projects in overseas is so large that domestic EPC project contractors are actively seeking the overseas projects and then trying to meet completion plans since successful fulfillment of these projects can provide great opportunities for them to expand into new foreign markets. International EPC projects involve all of the uncertainties common to domestic projects as well as uncertainties specific to foreign projects including marine transportation, customs, regulations, nationality, culture and so on. When overseas project gets off-schedule, the resulting uncertainty may trigger unexpected exceptions and then critical effects to the project performance. It usually require much more time and costs to encounter these exceptions in foreign sites compared to domestic project sites. Therefore, an exception handling approach is required to manage exceptions effectively for successful project progress in foreign project sites. In this research, we proposed a methodology for prediction and evaluation of exceptions caused by risks in international EPC projects based on sensitivity analysis and Bayesian Networks. First, we identified project schedule risks and related exceptions, which may meet during the fulfillment of foreign EPC projects that is performed in a sequence of engineering, procurement, preparatory manufacture, foreign shipping, construction, inspection and modification activities, and affect project performance, using literature review and expert interviews. The impact of exceptions to the schedule delay were also identified. Second, we proposed a methodology to predict the occurrence of exceptions caused by project risks and evaluate them. Using sensitivity analysis, we can identify activities that critically affect schedule delay and need to focus by priority. Then, we use Bayesian Networks to predict and evaluate exceptions. Third, we applied the proposed methodology to an international EPC project example to validate the proposed approach. Finally, we concluded the research with the further research topics. We expect that the proposed approach can be extended to apply in exception management in project management.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권5호
• /
• pp.355-359
• /
• 2009

소프트웨어에서 예외가 발생할 때 원인분석을 해야 할 때가 있다. 이를 위해서 문제상황을 반복 재현하면서 관찰하게 되는데, 이 때 문제가 발생하는 양상이 규칙적이지 않다면 원인을 분석하는 것이 쉽지 않다. 특히 임베디드 시스템 혹은 이동통신단말기의 경우처럼 개발용 컴퓨터와 개발목적 장치가 분리된 경우에는 원인분석을 위한 시간과 노력이 배가되므로 개발자 부담을 가중시켜서 개발생산성을 극도로 악화시키는 요인이 된다. 본 논문에서는 임베디드 시스템과 이동통신단말기 디버그 중 예외 발생경로를 쉽게 확인할 수 있도록, 관점지향프로그래밍(Aspect Oriented Programming) 방식의 예외원인 분석 방법을 제안한다. 원인이 모호하고 발생빈도가 불규칙적인 예외발생 원인을 규명하기 위해서 예외발생 당시의 함수호출 경로를 추적해야 하므로 소모적인 시간과 노력을 필요로 하는데, 제안하는 방식은 예외 발생시 함수호출 경로를 로그 메모리 형태로 즉시 제공해 줌으로써 기존의 디버깅 방법에서 획득할 수 없는 개발자 편의성을 획기적으로 증대시킨다.