http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
최약 선행 조건을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출
윤광식(Gwang Sik Yoon),차성덕(Sung Deok Cha),권용래(Yong Rae Kwon) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.1A
다중 버전 프로그램기법(N-Version Programming, NVP)은 소프트웨어 결함 허용기법의 하나로써 둘이상의 프로그램의 독립적인 개발을 통해 소수의 프로그램이 잘못된 결과를 출력하더라도 올바른 동작을 하는 다른 다수의 프로그램들을 통해 시스템의 출력이 올바르도록 하는 기법이다. NVP기법은 서로 독립적으로 개발된 프로그램 버전들은 서로 독립적으로 고장을 일으킬 것이며 다수의 버전들은 언제나 올바른 출력을 낼 것이라는 가정을 바탕으로 하고 있다. 하지만 실제 실험결과 하나 이상의 버전이 같은 입력에 대해 잘못된 결과를 내는 공통 모드 고장(Common Mode Failure, CMF)은 실제 NVP기법을 이용한 시스템에서 기대하는 것보다 자주 발생하며 결과적으로 NVP기법의 신뢰도에 큰영향을 미치는 것으로 나타났다. 하자만 기존의 연구들 중 이러한 CMF를 방지하거나 검출하여 제거할 수 있는 방법은 제시되어 있지 못하다. 이 논문에서는 기존의 프로그램 올바름 증명 방법중 하나인 Weakest Precondition Analysis를 이용하여 CMF를 일으킬 수 있는 각 버전들의 입력 영역을 결정할 수 있음을 예시한다. 버전의 고장상태를 나타내는 postcondition으로 부터 프로그램을 역방향으로 분석함으로써 weakest precondition을 결정한다. 이러한 weakest precondition은 각 비전에 대해 고장을 일으킬 수 있는 입력 영역을 나타내며 이러한 각 버전에 대한 weakest precondition사이의 교집합은 CMF가 발생할 수 있는 조건을 나타낸다. 만약 이러한 교집합이 존재한다면 이 교집합에 대한 정보를 이용하여 CMF를 일으킬 수 있는 결함들을 찾아냄으로써 결과적으로 전체 다중 버전 시스템의 신뢰도를 향상시킬 수 있다. 이러한 CMF 검출 기법의 효율성을 평가해 보기 위해 이 논문에서는 기존의 NVP 기법연구에 이용된 실제적인 예제 프로그램에 대해 이 기법을 적용하였다. 실제 적응결과, 예제 프로그램들에서 CMF를 발생시킬수 있는 전체 18개의 결함쌍중 13개의 결함쌍을 검출할 수 있었으며 이를 통해 NVP 기법의 효율성을 향상시킬 수 있었다.
기술 및 비 기술 요소를 고려한 무기체계 상호운용성 평가 모델
한익준,방춘식,윤광식,천재영,김형균,조병인,Han, Ik-Joon,Bang, Choon-Sik,Yoon, Gwang-Sik,Cheon, Jae-Young,Kim, Hyung-Gyoon,Cho, Byoung-In 한국군사과학기술학회 2009 한국군사과학기술학회지 Vol.12 No.4
In the modern warfield, as the defense systems has been digitalized, intelligent, and working with network, the importance of interoperability among the systems has been also increasing. KMND(Korean Ministry of National Defense) has developed and used the SITES(Systems Interoperability Test & Evaluation System) based on Korean LISI(Levels of Information Systems Interoperability). SITES had been developed in order to evaluate the interoperability among information systems from the viewpoint of technical attributes. In this paper, we propose the extended interoperability evaluation model which can be applied not only the information systems, but also the weapon systems. Moreover, the extended interoperability evaluation model also includes the consideration of non-technical attributes.
강제성(Jae Sung Kang),윤광식(Gwang Sik Yoon),오승욱(Seung Uk Oh),권용래(Yong Rae Kwon) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.1A
인터넷을 기반으로 웹이 급속하게 성장함에 따라 웹 기반 어플리케이션의 품질이 점차 중요시되고 있다. 이로 인하여 웹 어플리케이션의 품질을 검증할 수 있는 수단이 필요하게 되었고 산업계에서도 연구가 활발히 이루어 지고 있는 실정이다. 하지만 대부분의 연구가 웹 사이트에 대한 부하시험등에 치중하고 있고, 기능적 측면의 시험은 제대로 지원하고 있지 못하다. 본 논문에서는 웹의 기능적 측면을 시험할 수 있는 기법을 제시하려 한다. 웹을 기반 모델로 보고, 웹의 동적 행위를 웹의 상태 전이로 정의하였다. 이러한 상태 전이를 표현하기 위한 상태 전이 그래프를 제안하였고, 이를 기반으로 기존의 상태 기반 시험 기법을 도입하여 시험사례를 생성하는 기법을 제시하였다.
배현섭(Hyun Seop Bae),윤광식(Gwang Sik Yoon),고장혁(Jang Hyuk Kauh),조완수(Wan Soo Cho),안병래(Byung Lae An) 한국IT서비스학회 2005 한국IT서비스학회지 Vol.4 No.2
Inter operability among defense information systems is one of the most Important technologies in the modern information and electronic wars. Computer-aided interviewing has been used in popular for measuring the interoperability among information systems in military domain. In this paper, we suggest a new approach, testing after interviewing, in order to resolve the weakness of interviewing approach. In the testing after reviewing approach, the potential level of interoperability predicted by computer-aided interviewing is explored by distributed testing techniques. For this purpose, test requirements of each interoperability level are identified and appropriate testing model and test cases are suggested. Finally, a distributed testing tool is designed for automating the execution of suggested test cases.
정인상(In Sang Chung),윤광식(Gwang Sik Yoon),이완권(Wan Kwon Lee),권용래(Yong Rae Kwon) 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.7·8
기존의 프로그램 슬라이스에 관한 정의들은 주로 프로그램 변수들간의 문법적인 관계만을 고려한다. 이에 반해, 이 논문에서는 프로그램 변수들간의 의미론적인 관계를 고려함으로써 기존의 슬라이스보다 더 정확한 프로그램 슬라이스를 구할 수 있는 명세 기반 슬라이싱 기법을 제시한다. 명세 기반 슬라이스는 선행 조건, 후행 조건의 쌍으로 주어진 프로그램의 명세에 대해 원래 프로그램의 행위와 올바름을 보존하는 프로그램 문장들의 부분집합으로 구성된다. 명세 기반 슬라이싱 기법은 주어진 명세에 나타나 있는 프로그램의 기능과 관련한 프로그램 문장만을 다루기 때문에, 소프트웨어 공학의 여러 가지 문제들을 더욱 효과적으로 해결할 수 있도록 지원한다. 여러 적용 가능한 문제들 중에서도, 이 논문에서는 소프트웨어 재사용과 소프트웨어 재구성 과정이 명세 기반 슬라이싱 기법을 이용함으로써 어떻게 향상될 수 있는지를 보인다. More precise program slices could be obtained by considering the semantic relations between variables of interest, compared to the existing slicing techniques considering only the syntactic relations. In this paper, we present specification-based slicing that allows a better decomposition of the program by taking a specification as its slicing criterion. A specification-based slice consists of a subset of program statements which preserve the behavior and the correctness of the original program with respect to a specification given by a pre-postcondition pair. Because specification-based slicing enables one to focus attention on only those program statements which realize the functional abstraction specified by the given specification, it can be widely used in many software engineering areas. Of its possible applications, we show how specification-based slicing can improve the process for extracting reusable parts from existing programs and restructuring complex programs for better maintainability.