Compact Storage Schems for Sparse Matrix

이경환(Lee. kyung whan) 한국정보과학회 1976 한국정보과학회 학술발표논문집 Vol.3 No.2

Regular Expression에 의한 프로그램 복잡도 척도에 관하여

이경환(Kyung Whan Lee),황선명(Sun Myung Hwang) 한국정보과학회 1986 정보과학회논문지 Vol.13 No.4

본 논문은 일반적으로 널리 사용되어온 프로그램 제이흐름 복잡도 척도들을 분석, 평가하여 새로운 측정방법인 regulai expression을 이용한 복잡도 척도 Cop의 프로그램 구조도 측정을 위한 S를 제시한다. 프로그램의 구조에 따른 복잡도를 나타내기 위하여 Cop1, Cop2 그리고 Cop3를 구분하였으며 이들의 타당성을 실험적 연구로써 조사한다. 또한 제어흐름 그래프로부터 regular expression을 구하는 알고리즘 NNR에 대하여 연구하였으며, 이를 이용하여 프로그램 경로 테스팅을 위해 존재하는 모든 경로들에 관한 정보를 제공한다. This paper analyzes properties of control flow complexity measures and proposes a new complexity metric using regular expression and S to measure program structuredness. To show the complexity according to the structure of programs, Cop1, Cop2 and Cop3 are presented and the validity of these are examined through empirical studies. An algorithm NNR is also studied to obtain regular expression from control flow graph and the regular expression provides informations of all paths for the path testing.

테스트 경로 생성과 품질 메트릭스 측정을 위한 정적분석 툴(FSA)의 구축

이경환(Kyung Whan Lee),황선명(Sun Myung Hwang) 한국정보과학회 1988 정보과학회논문지 Vol.15 No.2

본 논문은 소프트웨어 품질 메트릭스 중 복잡도(Cop)와 구조도(S)의 새로운 측정법방과, 구조적 테스팅 기법으로서의 테스팅 경로기준인 Simple path coverage를 제시한다. 또한 MTR 알고리즘에 의해 산출된 그래프의 Regular expression이 품질 메트릭스와 제시된 경로테스팅 기준에 적용되는 방법을 연구하고 포트란 언어를 대상으로한 툴(FSA)을 구현하였다. This paper presents a new method for measuring complexity and structuredness among Software Quality Metrics, and simple path coverage that is a testing path criterion as structured approach The simple paths for generating test cases are produced using the MTR algorithm from the regular expression which represents the control flow of the input program. A FSA(Fortran Static Analyzer) has been implemented for generating the proposed complexity, structuredness, and test paths of a program.

프로그램의 자동테스팅을 위한 프로그램 인스트루멘테이션 기법

이경환(Kyung Whan Lee) 한국정보과학회 1983 정보과학회논문지 Vol.10 No.4

본 논문은 syntax-free하고 실행 가능한 파스칼 프로그램을 입력 데이터로 하여 처리하고 필요한 정보를 출력시켜주는 다이나믹 테스팅의 기법을 연구하였다. 프로그램의 reference edge에 flow-controlling monitor를 넣고 instrumented source program을 만들어주는 방법과 함께 파스칼 프로그램의 자동테스팅을 위한 시스템 PASDAN을 개발하였다. We have assumed the input Pascal source program to be syntax-free and executable. The approach of using the flow-contralling monitor is concerned with instrumenting the reference edges of a program. This means that every contro structure will be instrumented such that any path can be analyzed for the number of times It is executed or for any given decision, how many times a particular branch is taken. In this paper, it is presented the system PASDAN of the Pascal program test for the softwere development under Pascal environment.

컴포넌트 합성을 위한 정형화 명세

이경환(Kyung Whan Lee),이창훈(Chang Hoon Lee) 한국정보과학회 1997 정보과학회논문지(B) Vol.24 No.11

본 논문은 소프트웨어 아키텍쳐에서 부각되고 있는 컴포넌트들간의 상호작용을 정형화하는 것이다. 일반적으로 컴포넌트들간의 상호작용을 선이나 박스등과 같은 비정형적인 형태로 표현함으로써 추론과 정확성 검증 그리고 호환성 체크와 같은것이 어렵다는 한계를 갖고 있다. 또한 재사용성은 구현단계보다 설계단계에서의 재사용성이 높다는 것이 일반적인 견해지만, 이를위해서는 각 컴포넌트들간의 호환성 문제가 매우 중요하다. 본 논문에서는 컴포넌트 및 이들의 상호작용, 그리고 이들간의 합성에 관한 표기를 LOTOS의 프로세스로 정형화 함으로써 합성의 호환성과 같은 검증과 재사용의 효율을 평가 할 수 있도록 연구하였다. In this paper we present a formal specification for one aspect of software architecture: the interaction between software components. The software architecture of most systems is usually described informally and diagrammatically using lines and boxes. So it is difficult for designers or developers to check for correctness and component compatibility as well as reason about software architecture. Also, software reusability is said to be much higher at the design level than at the implementation level, even though the compatibility between each software components would have to be considered as a big factor. We have done our research to provide a formal means of evaluating the component's compatibility and the effectiveness of reusing components, by formalizing the components, its interactions, and its combination in terms of the processes of LOTOS.

데이타 플로우 커버리지를 이용한 테스트 데이타 생성의 자동화에 관한 연구

이경환(Kyung Whan Lee),김정종(Chong Jong Kim),이종은(Jong Eun Lee) 한국정보과학회 1988 정보과학회논문지 Vol.15 No.1

본 논문은 데이터 플로우 기법을 이용하여 프로그램을 구조적으로 분석하여, 데이터 플로우에 의한 정보들로써 allue 커버리지를 적용하고 프로그램의 패스생성을 위한 단계 및 알고리즘을 제시한다. 생성된 테스트 패스는 프로그램 개발자가 객관적으로 프로그램을 테스트할 수 있는 환경을 제공하기 위해, 각 패스들에 대한 기호처리(symbolic evaluation)를 하여 테스트 데이터를 생성하는 방법에 관하여 연구하고 구현하였다. This paper analyzes a program with data flow technique structurally and proposes the algorithm that generates paths of the program that satisfies all-use coverage using data flow information. In order to build the testing environment objectively, we study and implement the method that automatically generates test data by symbolic evaluation for each generated path.

통신 소프트웨어의 프로그램 결함과 복잡도의 관련성 분석을 위한 회귀분석 모델

이경환(Kyung Whan Lee),정창신(Chang-Shin Chung),황선명(Sun-Myung Hwang),조병규(Byung Kyu Cho),박지훈(Ji-Hoon Park),김강태(Kang-Tae Kim) 한국정보과학회 1999 정보과학회논문지(B) Vol.26 No.11

통신 프로그램은 고도의 신뢰성과 기능성, 확장성, 그리고 유지 보수성이 필요하다. 프로그램 테스트의 결과와 McCabe의 Complexity를 측정한 데이타를 가지고 회귀모델을 만들고 그 신뢰성을 분석함으로서 프로그램의 결함과 복잡도의 관련성을 평가한다. 본 연구에서 사용한 통신 프로그램은 500개 블록이 59가지 기능을 수행하는 교환 기능 중에서 복잡도가 너무 많아서 통계 처리의 bias가 될 블록을 제외하고 394 블록을 선정하여 SAS에 의해서 통계 분석을 하고 회귀 분석 모델을 설계하였다. t 분포에 의하여 방정식의 유의성 수준을 검증하고 프로그램의 결함수에 가장 큰 영향을 주고 있는 복잡도가 McCabe의 복잡도와 설계 복잡도 임을 밝혀냈다. 이 연구 결과에 의해서 설계 정보 및 유지 보수 정보를 얻을 수 있다. Switching software requires high reliability, functionality, extendability and maintainability. For doing, software quality model based on MaCabe's complexity measure is investigated. It is experimentally shown using regression analysis the program fault density depends on the complexity and size of the function unit. The software should be verified and tested if it satisfies its requirements with automated analysis tools. In this paper we propose the regression model with the test data. The sample program for the regression model consists of more than 500 blocks, where each block compose of 10 files, which has 59 functions of switching activity. Among them we choose 394 blocks and analyzed for 59 functions by testing tools and SAS package. We developed Regression Analysis Model and evaluated significant of the equation based on McCabe's cyclomatic complexity, block design complexity, design complexity, and integration complexity. The results of our experimental study are that number of fault are under the influence of McCabe's complexity number and design complexity.

[특별기고]일본 정보처리학회 참관기

이경환(Kyung Whan Lee) 한국정보과학회 1999 정보과학회지 Vol.17 No.12

A PROGRAM INSTRUMENTATION TECHNIOUE FOR DYNAMIC TESTING

이경환(KYUNG WHAN LEE) 한국정보과학회 1983 한국정보과학회 학술발표논문집 Vol.10 No.2

본 논문은 syntax-free 하고 실행가능한 파스칼 프로그램을 입력데이타로 하여 처리하고 필요한 정보를 출력시켜주는 다이나믹 테스팅 기법을 설명한다. 파스칼 프로그램의 reference edge 를 instrumenting 하고 각 문장의 실행회수, 분기회수, 또 복잡도등의 다이나믹 테스트 정보를 주므로서 프로그램의 신뢰성을 향상시킬 수 있는 방법을 연구 하였다.

프로그램 테스트를 위한 소프트웨어 툴에 관한 연구 - 포트란 프로그램 테스트를 위한 Instrumentation 구현과 툴의 구축

이경환(Kyung Whan Lee),황선명(Sun Myung Hwang),김영길(Young Gil Kim) 한국정보과학회 1985 정보과학회논문지 Vol.12 No.2

포트란 소오스 프로그램에 대한 動的테스트를 해주는 툴은 콘트롤 드라이버, 테스트 데이타 生成器, 시뮬레이타 및 동적 테스타로 구성되어 program behavior에 관한 정보를 제공해 준다. 본 논문에서는 포트란 테스팅 툴을 개발하기 위한 콘트롤 드라이버 및 여러가지 테스트 모듈을 연구하여 테스팅한 결과를 보여 줌으로써 product tool을 개발하기 위한 기초 연구 과정을 제시하였다. Probe를 소오스 프로그램에 삽입시켜서 instrumented source program을 만드는 루우틴과 이 루우틴을 콘트롤 드라이버에 의해서 중간 화일링 및 동적 테스타의 모듈들과 연결시켜서 動的情報를 출력시키는 과정을 연구하였다. Automated tools for source code testing include the automated test drivers, test data generators, simulators and dynamic testers. Test drivers provide an environment in which an individual routine or collection of routines can be tested and dynamic testing is that the behavior of the software can be observated in its actual operating environment. For the collection of test information about the Fortran program executed, we discuss the insertion of software probes in the candidated source code so that all segments of the code which are exercised by a given test case can be identified and we build the instrumented Fortran program. And we describe the organization of dynamic testing tool and present its implementation.