• 한국컴퓨터산업학회논문지
• /
• 제2권9호
• /
• pp.1199-1208
• /
• 2001

프로그램 슬라이싱은 테스팅 및 유지보수 작업의 효율성을 높이기 위한 프로그램 분해 기술이다. 본 논문에서는 객체지향 프로그램 실행부의 슬라이싱 방법을 제안하고 정확성을 분석하였다. 또한 프로그램이 주어졌을 때 클래스 선언부에서 필요 없는 함수와 사용하지 않는 데이터멤버 및 서브객체를 제거하는 클래스 인터페이스 슬라이싱 방법을 제안하고 정확성을 증명하였다. 또 클래스 선언부만을 가지고 주어진 데이터멤버에 영향을 주는 또는 영향을 받는 부분을 추출해 내는 클래스 계층구조의 슬라이싱 방법을 제안하였다. 이러한 기술은 클래스 테스팅 같은 분야에서 정보분석 작업에 이용될 수 있다.

• 인터넷정보학회논문지
• /
• 제1권1호
• /
• pp.105-113
• /
• 2000

절차적 프로그램의 표현방법은 클래스, 객체, 계승, 동적 바인딩 등으로 이루어진 객체지향 프로그램 표현에 그대로 적용될 수 없다. 더군다나 기존의 프로그램 종속성은 변수간이 아니라 문장간의 종속성을 나타내고 있다. 즉, 주어진 변수에 어떠한 변수들이 영향을 미치고 있는가 하는 문제를 해결할 수 없다. 따라서 본 연구는 객체지향 프로그램에서 변수간의 종속성을 포함한 구현 수준의 정보를 나타내는 메소드 종속성 모델을 제시하고자 한다. 또한 객체지향 프로그램의 테스트 적합성 기준에 근거한 구현기반 클래스 테스팅 방법을 제안한다. 데이터 멤버간 종속성과 테스트 데이터 적합성에 대한 공리들을 고려하여 흐름 그래프 기반 테스팅 기준을 만족시키는 테스트 케이스인 메소드의 시퀀스를 생성시킨다. 파생 클래스 테스팅을 위해서 유산관계와 실험을 통해 테스트 비용 절감을 검증한 부모 클래스에 대한 테스팅 정보의 재사용성을 고려한다.

• 대한전기학회논문지:전력기술부문A
• /
• 제55권10호
• /
• pp.418-425
• /
• 2006

This paper describes a simulation package for a power system using objected-oriented programming. The package includes four parts which are a power flow, a short circuit calculation, a transient simulation program, and an economic dispatch. The graphical user interface(GUI) is designed as a common platform which allows the user to create one-line diagrams of systems, specify components of power systems as well as simulation parameters, and view the output produced by the chosen application. The paper presents the data structure of the functional modules such as the draw module, power system data module, the power system simulation module, and the utility module using the object oriented programming. This package may be useful for educational and research purposes.

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

시스템의 명세 및 기술 언어인 SDL-92는 객체지향 개념의 도입에서 기존의 시스템 명세 및 설계 문서들과 사용자들을 포용하기 위해 프로세스와 시그널에 기반한 통신 방법을 고수하였다. 이러한 객체지향 개념의 도입은 메소드와 객체 기반의 객체지향 언어 프로그램의 자동 생성에 있어 대응 개념의 부재라는 문제점뿐만 아니라 이에 따르는 가시성 및 통신 방법과 같은 부수적인 문제점들까지 유발하고 있다. 따라서 본 논문에서는 메소드와 객체에 기반한 일반적인 객체지향 언어 모델을 제시한 후, SDL-92에서 제시된 모델로의 변환에서 발생하는 문제점들을 고찰하고 이를 해결할 수 있는 개념 변환 방법들을 제시한다. 제시된 변환 방법은 목적 언어의 구문으로의 사상 방법을 제공함으로써 객체들에 내장된 병렬성을 활용할 수 있고 변환된 프로그램에 대해 컴파일러 수준의 이식성을 보장할 수 있다.

• 대한공간정보학회지
• /
• 제5권2호
• /
• pp.87-97
• /
• 1997

수치영상의 실시간 자료처리를 위해서는 문제 영역의 모든 것을 각각의 독립적 객체로 파악하여, 모든 문제를 객체간의 메시지 전달에 의한 객체들의 동작으로 파악하려는 객체지향기법이 필요하다. 본 연구에서는 객체지향기법을 이용하여 수치사진측량용 클래스를 설계하고 클래스들 간의 계층구조를 확립하였다. 또한 클래스 라이브러리를 이용하여 근거리 사진측량에 적용하므로써 쉽게 수치사진측량 시스템이 구현됨을 알 수 있었다

• 한국농공학회논문집
• /
• 제51권2호
• /
• pp.43-49
• /
• 2009

Many researcher uses simulation techniques for understanding the phenomenon and expecting the response. Simulation techniques have many advantages which is less time-consuming, easy to control constraints, and cheaper than experimental study. However Researches usually are not good at programming the model, it's hard to implement simulation model using computer language. They use spreadsheet program like Microsoft $excel^{TM}$ Although a spreadsheet program is good for modeling, it's cumbersome to describe expressions which consist of not variable name but location indicator. This study suggests the program which helps researcher developing model using graphical interface and variable name. For verifying usability, the model which is implemented by developed modeler were compared with by spreadsheet program.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 A
• /
• pp.322-324
• /
• 2000

This paper introduces the concepts of UML(Unified Modeling Language) and the applying this technique for implementing voltage stability analysis program. Conventional function-oriented software development methodologies are inadequate to support further maintenance and enhancement. To overcome drawbacks of these methodologies, this paper proposes applying object-oriented technology for voltage stability evaluation software development. In this paper, a modal analysis approach, a steady-state voltage stability evaluation method, is used and UML is applied to the analysis and design for software development.

• 정보처리학회논문지D
• /
• 제11D권3호
• /
• pp.649-658
• /
• 2004

객체지향 시스템은 상호 작용하늘 객체들의 집합으로 구성되었고 시스템의 행위는 객체들의 협력 행위로 표현된다. 객체지향 소프트웨어의 상속성, 다형성 등 특성들은 소프트웨어 테스팅에 어려움을 증가시키고 객체의 병행성, 동적바인딩, 상호작용 등 동적인 면들은 프로그램의 실행 시간에 한 멤버 함수의 호출에 의해 여러 멤버함수로 바인딩될 수 있다. 그러므로 객체지향 소프트웨어의 특성들을 고려하고 동시에 객체들간의 상호착용을 테스트하기 위한 연구가 필요하다 이 논문에서 상속성, 다형성 등 특성을 고려하여 평탄화된(Flattened) 상태차트 다이어그램을 구성하고, 시스템 모델링과 시뮬레이션에 전형적으로 사용되는 CPN(Colored Petri net)으로 모델링 한 후 Design/CPN 툴에 적용하여 객체지향 소프트웨어 객체들간의 상호작용 테스트를 자동화할 수 있는 테스트 레이스 생성 기법을 제안한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.57-57
• /
• 2000

The purpose of this paper is show that an chip mounter can be modeled by stochastic petri nets, and that the simulator to verify a fitness of the program to assemble. The chip mounter can be constructed by using the petri net class (CPetriNet) based on the object-oriented programming. By using this simulator, we can get the information about the description of motion of the chip mounter, and moreover, we can evaluate the productivity.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 A
• /
• pp.393-395
• /
• 1998

This paper presents a modeling of railway facilities based on object-oriented software development technique for train operation simulation program. Railway network is decomposed by Line Structure Model and Signal System Model which can be composed to make the train routes and train performance calculation. A brief explanation of class design about these model is provided.