소프트웨어 신뢰도 측정에 관한 연구

우치수(Chi Su Wu),한상영(Sang Young Han),이강수(Gang Soo Lee) 한국정보과학회 1988 정보과학회논문지 Vol.15 No.3

본 논문에서는 소프트웨어 신뢰도의 측정 연구에 관하여 논한다. 소프트웨어 신뢰도 분야들과 30종의 고장자료를 조사 수집하였고, 고장수 형태의 자료를 고장간시간 형태의 자료로 변환하는 2가지 방법을 제시하였다. 측정 및 비교연구를 위하여, 고장간시간 형태의 모델중에서 대표적인 Jehnski-Moranda 모델과 고장수 형태의 모델중에서 대표적인 Non-homogeneous Poisson Process 모델을 선택하여 수집된 30종의 고장자료에 적용하였고 4종의 에러들을 이용해 비교하였다. 모델적용시, 모수들은 최우 추정식을 regular-falsi 반복법을 이용해 풀었다. In this paper, we discuss a study on software reliability measures. We survey and collect the software reliability area and 30 set of actual fault data, and propose transformation methods which transform fault-count (FC) type data into time-between-fault (TBF) type data. For the measurement and comparative study, the Jelinski-Maranda model, which is one of the basic TBF type models, is compared with the Non-homogeneous Poisson Process model, which is a FC type, using the collected fault data and 4 types of error. We solved the maximum likelyhood parameter estimation problem of the models by the regular-falsi iteration method.

자동문서 추출을 위한 역공학에 관한 연구

우치수(Chi Su Wu) 한국정보과학회 1986 정보과학회논문지 Vol.13 No.4

언어 시스템의 ERA모델 구성과 메타정의로부터 Knowledge Data Base를 구성하여 운용되는 프로그램으로부터 소프트웨어 도구 SEM을 이용하여 자동으로 문서를 추출하였다. 본 논문에서는 PASCAL언어시스템을 대상으로 하여 ERA모델, 메타정의, 필터의 원형 및 생성된 문서를 보였다. An ERA model and a meta definition of a language system is written for Knowledge Data Base to generate documents automatically from existing system using software tool, SEM. This paper shows the ERA mode, the meta definition, prototype of filter and the generated documents of the Pascal language system.

기술과 증명이 용이한 싱크로 나이저 기술방법에 관한 연구

우치수(Chi Su Wu),최경희(Kyung Hee Choi),한상영(Sang Young Han) 한국정보과학회 1985 정보과학회논문지 Vol.12 No.4

본 논문에서는 공유자원의 정확한 운용이나 프로세스 사이의 커뮤니케이션을 위하여 중요한 싱크로나이제이션 문제를 공유자원을 사용하려는 프로세스나 메시지의 큐, 공유자원의 상태, 그리고 싱크로나이저의 상태 변화를 유도하는 이벤트를 이용하여 해결하였다. 본 논문에서 해결된 readers writers 문제에서 보듯이 본 연구에서 개발된 방법은 싱크로나이저의 기술과 invariant assertion의 증명을 용이하게 함을 알 수 있다. This paper presents a modeling and description method for synchronization problems which are important for the reliable use of shared objects and the reliable interprocess communications. The model and description are built using process or message queues, states of shared objects, and events causing changes of synchronizers' states. The model presented in this paper, illustrated by the familiar readers writers problem, make it easy to solve synchronization problems and to verify the invariant assertions.

패스워드 및 암호를 이용한 분산시스템에서의 데이타보호에 관한 연구

우치수(Chi Su Wu),강현석(Hyun Suk Kang) 한국정보과학회 1983 정보과학회논문지 Vol.10 No.3

RSA 기법의 변형된 형태로 하나의 대중 key 암호기법을 제안하였다. 이 기법과 password 기법을 이용하여 분산 시스템에서의 데이터 안전방법을 효과적으로 적용했다. 즉, 통신선상에서 뿐만 아니라 데이터베이스에서의 데이다 access 에 암호기법을 일관성있게 적용할 수 있음을 보였다. 또한 그들의 적용 protocol 을 제시하고 장 · 단점을 분석하였다. A public key cryptographic technique which is a variant of the Rivest-Shamir-Adleman (RSA) cryptographic scheme is proposed. Then a data security scheme based on this cryptographic technique and password technique is presented and applied to distributed systems environment. Here the protection over communication hoes and the access control on encrypted database are considered. The implementation protocols and analysis of the advantages/disadvantages of the scheme are also described.

컴퓨터 바이러스와 소프트웨어 에러의 비교연구

박학수(Hark Su Park),이강수(Gang Su Lee),우치수(Chi Su Wu) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1

본 논문에서는 소프트웨어 신뢰도관점에서 바이러스에 관한 연구 결과를 논한다. 우선, 소프트웨어 신뢰도와 바이러스에 관련된 일반사항을 논하고 특히, 바이러스의 특성과 분류방법을 논하며, 컴퓨터 바이러스와 소프트웨어 에러를 비교연구하였다. 국내 대학과 전산학원에 대한 바이러스 감염실태 조사결과, 대학내 프로그램 디스켓의 80%이상이 감염되었고, 악성 바이러스인 Lbc 바이러스가 대부분이었다.

동적인 소프트웨어 신뢰도 예측을 위한 신뢰도 패트리? 모형

이강수(Gang Soo Lee),우치수(Chi Su Wu) 한국정보과학회 1989 정보과학회논문지 Vol.16 No.1

본 논문은 소프트웨어 개발 초기단계(모형화 단계)부터 적용할 수 있는 동적인 신뢰도 예측 방법론에 대하여 다룬다. 기본의 신뢰도 예측 모형들은 대부분 소프트웨어 고장 트리, 신뢰도 블럭 다이어그램, 모듈 그래프와 같은 컴비나토리얼 형태의 모형이며 이들은 복잡한 동시처리, 임베드 및 고장 인성 소프트웨어 동적인 신뢰도 예측에는 부적합하다. 이러한 단점을 극복하기 위해 본 논문에서는, 성능 평가를 목적으로 패트리넬의 트랜지션의 점화규칙을 확장한 형태인 Condition Event Net, Timed Petri Net(TPN) 및 Stochastic Petri Net(SPN)을 신뢰도 예측에 적합하도록 확장 수정한 Reliability Petri Net(RPN), Reliability Timed Petri Net(RTPN) 및 Reliability Stochastic Petri Net(RSPN)을 정의하여 소프트웨어 개발중 모형화 단계부터 성능평가와 함께 동적인 신뢰도를 평가할 수 있게 하였다. In this paper we discuss Reliability Petri Net model for dynamic software reliability prediction. Combinatorial typed models (such as software fault tree, reliability block diagram, module graph and directed acyclic graph) are not suitable for dynamic reliability predictions of the embedded, concurrent, parallel and fault tolerant softwares. For this problem, we propose Reliability Petri Net (RPN), Reliability Timed Petri Net (RTPN) and Reliability Stochastic Petri Net (RSPN), which are modification of Condition Evnet Net. Timed Petri Net (TPN) and Stochastic Petri Net (SPN) respectively. The TPN and SPN are suitable for performance analysis of complex systems. Using the RPN, RTPN and RSPN models, we can predict dynamic software reliability and performance in the modeling phase of a software development.

객체 지향 설계 도구의 설계 및 구현

김태균(Tae-Gyun Kim),우치수(Chi-Su Wu) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.5

The object-oriented concept is one of the most active research areas in the past decade. As it turned out, it would be the best approach for overcoming software crisis and enhancing software productivity. System engineers can take full adventage of such principles as abstraction, divide and conquer, formalism, and information hiding proposed by several software engineering pioneers Moreover, the long term controversial problem of software reusability can be cured by means of this concept. In this paper, we design an environment for supporting Object Modeling Technique(OMT) proposed by General Electric R & D center recently, and implement a prototype of graphic tool named Object Oriented Designer(OOD) Following OMT methodology to build an exact model for OOD, we have achieved a successful productivity goal. OOD is implemented on X-window with OSF/Motif for user interface, and C++ is used for an implementation language to promote object orientedness. 1980년대 중반 이후 각광 받기 시작한 객체 지향 개념은 소프트웨어 위기 극복과 생산성 향상을 위한 최선의 접근 방식임이 분명하다. 객체 지향 분석, 설계, 구현을 통하여 시스템 개발자는 과거 20 여 년간 소프트웨어 공학에서 연구 결과로 제시한 추상화, 분할 통치, 정형화, 정보 은닉과 같은 원리들의 장점을 충분히 얻을 수 있을뿐더러 소프트웨어 개발 시의 최대 난제인 재사용을 달성할 수 있다. 본 논문에서는 최근 General Electric사의 R & D 센터에서 제안한 객체 모델링 기법(Object Modelling Technique, OMT)을 지원하기 위한 환경을 설계하고, OMT에서 사용되는 표기법을 처리하는 그래픽 도구 OOD(Object-Oriented Designer)의 원형을 구현하였다. 특히 OOD의 원형을 설계하기 위하여 OMT 기법을 이용하였기 때문에 생산성에서 많은 이득을 얻을 수 있었다. OOD의 구현은 X 윈도우 상에서 이루어졌으며 사용자 인터페이스를 위하여 OSF/Motif를 이용하였고 구현 언어는 객체 지향성을 살리기 위하여 C++를 이용하였다.

구조적 방법론을 지원하는 CASE 도구 개발

이형원(Hyung Won Lee),우치수(Chi Su Wu) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.4

소프트웨어의 생산성과 신뢰성을 향상시키기 위한 방법으로 최근 관심이 모아지고 있는 분야가 바로 CASE 환경이다. 본 논문은 구조적 방법론을 지원하는 통합된 CASE 환경 ADVISE의 하위 도구들에 대한 분석, 설계, 구현에 관한 연구 결과를 제시한다. ADVISE는 사용자 편의의 그래픽 인터페이스, 한글, 다양한 오류 검사 및 분석, 생명 주기들 간의 자연스러운 연결, 비용 산정 등의 기능을 제공함으로써 소프트웨어 개발을 자동화시켜 준다. 단위 도구들은 정보 저장소를 중심으로 서로 유기적으로 관계를 맺고 있으며 소프트웨어 생명 주기의 계획 단계에서부터 구현 단계에 이르기까지 효율적인 시스템 개발을 지원한다. 본 CASE 도구의 구현은 IBM RS/6000을 하드웨어 환경으로 하여 UNlX 하에서 X 윈도우를 이용하여 수행하였다. CASE environment becomes the spotlighted area because of the ability to enhance the software productivity and reliability. In this paper, we present the results on the analysis, design, and implementation of the subordinate tools of the integrated CASE environment, ADVISE, supporting structured methodology. ADVISE automates software development with providing user friendly graphical interface, HANGUL, various error checking/analysis facilities, natural linkage between successive phases of life cycle and cost estimation. The tools have organic relation one another with repository in the center and support the efficient development of system from planning to coding phase of the software life cycle. We have implemented our CASE tool by using the X window system in the UNIX environment of IBM RS/6000.

시스템의 구성요소들 사이의 관계 분석에 의한 부시스템의 자동 인식

이명재(Myeong Jae Yi),우치수(Chi Su Wu) 한국정보과학회 1995 정보과학회논문지(B) Vol.22 No.11

복잡한 기능을 수행하는 대규모의 시스템을 개념적으로 독립되고, 쉽게 이해할 수 있는 부시스템이나 모듈로 분할하면 그 시스템을 유지보수하는 것은 훨씬 쉬어질 것이다. 부시스템을 인식하기 위해서는 시스템의 구성 요소 중에서 서로 밀접히 관련을 맺고 있는 요소들을 찾아 이들을 하나로 묶는 작업을 수행해야 한다. 지금까지 이와 관련된 여러 방법이 제안되었지만, 이들 방법은 특정한 특성만 고려하여 클러스터링 작업을 수행하는 단점이 있다. 본 논문에서는 분할에 의한 통치 원칙의 적용으로 생성된 함수들을 묶고, 함수, 전역 변수, 자료형 사이의 관계 분석을 통하여 밀접히 연관된 부분들을 합쳐 C 원시코드로부터 부시스템을 자동적으로 인식하는 방법을 제안한다. 이 방법은 부시스템 요소들의 중요성에 따라 인식 작업을 수행함으로써 부시스템의 계층도 인식할 수 있다. If we divide the large systems processing complex functions into conceptually independent and easily understandable subsystems or modules, it will be quite easy to maintain the systems. We should carry out finding and grouping the closely related components of a system to identify subsystems. Though many methods related with this work have been already proposed, they have a defect that they processed the clustering work by considering only the specific features. In this paper, we propose the method which automatically identifies subsystems from C source code by grouping functions generated by applying the divide-and-conquer principle, and then by grouping the closely related parts through the analysis of relationships among functions, global variables, and data types. This method can also identify subsystem hierarchy by performing identification work according to the importance of components of a system.

프로그램 경로에 기반을 둔 복잡도의 척도

김태공(Tae Gong Kim),우치수(Chi Su Wu) 한국정보과학회 1993 정보과학회논문지 Vol.20 No.1

소프트웨어 특성들을 객관적이고 정량적으로 측정하기 위한 노력들이 지난 70년대 이후로 지속적으로 연구되어 오고 있다. 그 중의 하나가 소프트웨어 복잡도를 측정하는 방법에 관한 것이다. 소프트웨어 복잡도에 영향을 미치는 요인으로는 크게 나누어 프로그램의 규모, 프로그램의 제어 흐름, 그리고 데이타 구조 등이다. 이 중에서 특정한 요인 하나만을 고려한 프로그램의 복잡도가 프로그램의 규모뿐만 아니라 제어 흐름에도 민감하게 반응할 수 있도록 하기 위해서, 프로그램의 선형 독립인 경로와 리뷰 상수를 고려한 새로운 복잡도 척도를 제안한다. 본 논문에서 수집한 데이타에서 제시한 복잡도는 프로그램 규모를 나타내는 Halstead 척도 N과 93% 상관 관계를 보였고, 제어 흐름의 복잡도 척도 V(g)와는 84% 상관 관계를 보였다. In the last two decades, there have been researches on measuring software characteristics quantitatively and objectively. One of them is the method measuring a program complexity. The representative factors of software complexity are the volume of a program, the control flow of a program and the data structure. The software complexity measure which considers only one of those factors cannot detect and measure the complexity of a program. Thus we would like to define a measure which is sensitive to the volume and the control flow of a program. In this paper, we present new measure which considers linealy independent paths of a program and the review constant R. In our selected sample data, a correlation coefficient between the presented measure and Halstead measure N in 0.93 and the coefficient between this measure and cyclomatic measure V(g) is 0.84.