• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.479-482
• /
• 1994

자동 프로그램이란 인간이 프로그램 언어를 습득하는데 드는 노력과 시간을 감소시키고 프로그램하는 과정의 일부나 전부를 컴퓨터가 대신하도록 하여 프로그램 환경을 개선하고 유지, 보수의 비용을 줄이는데 그 목적이 있으며, 자동 프로그램 4대 구성 요소중 프로그램 명세서를 초고급언어나 예제에 의한 방법 또는 트레이스(Trace)로 기술하는 것이 일반적이다. 그러나 이 방법은 전문가가 아니면 이해하기 어렵고, 불량이 많은 작성하기 어려운 문제점이 있다. 본 논문에서는 이런 단점을 개선하기 위해서 일반 사용자가 접하기 쉽고, 이해하기 용이한 자연어 문장으로 명세서를 작성한다. 그러나 자연어에는 많은 애매성이 존재하는데 이것을 방지하기 위해 사용자에게 미리 자연어 프로그램 틀을 제시한다. 자연어 문장으로 작성된 명세서는 형태소 분석과 구문 분석에 의해 처리되며, 구문 분석시 복합문과 내포문은 단문으로 분리한 다음, 동사를 중심으로한 격 프레임(case frame)를 만들며, 이것을 바탕으로 중간언어를 생성하는 방법을 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.378-387
• /
• 2006

A programming model for ubiquitous sensor network (USN) applications based on Nano-Qplus is proposed. USN applications mean programs of nodes which are components of sensor network such as sensor, router, sink and actuator. Developers can automatically generate programs of USN applications by setting attributes values of nodes using a script after they model a sensor network. A script for setting attributes values of a node is proposed in this paper. The algorithm of automatic code generation is also described. Developers can easily implement USN applications even if they do not know details of low-level communication, data sharing, and collective operations because the applications are automatically generated from a script. They set only attributes values of nodes using the script. Efforts for USN applications development also are reduced because of automatic code generation. Furthermore, developers can correct errors of applications in the early stage of development through ear]y test based on rapid code generation.

• Proceedings of the KIEE Conference
• /
• 2003.07a
• /
• pp.476-478
• /
• 2003

이 논문에서는 종합배전자동화용 응용프로그램을 소개하고자 한다. 자동화개폐기에서 원격으로 취득한 각종 데이터를 이용하여 배전계통을 최적으로 운전함으로써 전력품질 향상과 경제적인 효과를 얻을 수 있었으며, 현재 개발된 프로그램은 종합배전자동화시스템에 적용하여 사용하고 있다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.499-504
• /
• 1996

본 논문은 저온정지에서 2%까지 원전 자동기동시스템에 필요한 발전소 데이터를 시험검증설비로부터 얻기 위해 공유메모리와 TCP/IP를 사용하여 통신프로그램을 개발하였다. 자동기동시스템은 foxboro에서 제공하는 API(Application Program Interface)를 이용하여 데이터베이스에서 제어기에 필요한 데이터를 공유메모리에 올려놓고, 통신프로그램이 읽고 쓸 수 있도록 했으며, 시험검증설비에서는 HP Workstation에서 사용되는 내부 프로세스 통신방법을 이용하여 시험검증설비에서 나온 데이터를 공유메모리에 넣을 수 있도록 설계하였다.

• Journal of KIISE:Databases
• /
• v.32 no.1
• /
• pp.86-99
• /
• 2005

In this paper, we suggest a system which automatically verifies and tunes transaction processing database applications based on program analysis technology. This system automatically verifies two kinds of transaction processing errors. The first case is the un-closed transaction. In this case, data is not updated as expected or performance of overall system can decrease seriously by locking some database tables until the process terminates. The second case is the miss-use of transaction isolation(inking) level. This causes runtime exception or abnormal termination of the program depending on runtime environment. This system automatically tunes two kinds of inefficient definition of transaction processing which decrease the performance of overall system. The first case happens when opened transaction is closed too late. And the second case happens when transaction isolation level is set too high.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2011.07a
• /
• pp.80-81
• /
• 2011

컴포넌트 기반 프로그램은 동시에 여러 컴포넌트간의 상호 협력에 의해서 동작한다. 여러 개의 컴포넌트 기반 프로그램을 기존의 순차적 분석 방법을 이용하여 컴포넌트의 동작을 분석해야 하기 때문에 시간이 많이 소요되고 매우 불편하다. 더욱이 컴포넌트의 수가 많아지면서 각 단계마다 각각의 컴포넌트의 동작을 모두 추적한다는 것은 매우 어렵다. 본 논문에서는 컴포넌트 기반으로 설계된 프로그램의 동작을 나타내는 시퀀스 다이어그램을 자동으로 생성할 수 있는 방법을 제안한다. 컴포넌트 기반 프로그램의 UML 시퀀스 다이어그램을 자동으로 생성하여 시각적으로 보여주어 개발의 편의성과 효율성을 증가시킨다.

• Journal of Convergence for Information Technology
• /
• v.9 no.2
• /
• pp.172-179
• /
• 2019

Recently, design automation of installation drawings and design elements has been required in the elevator industry. This is recognized as an important role in securing adaptability on site, reducing design errors, and enhancing export competitiveness. However, in case of a small company doesn't have enough resources to develop the program, and it is difficult to develop a design automation program. Therefore, it is necessary to have an automatic drawing generation program that enables small companies to easily invest and use, while allowing users to concentrate on productive tasks. In this paper, we propose an automatic drawing generation program using parametric coding technique. This program is linked with the web service and automatically creates the drawing when the user enters the site information on the web. This is useful for elevator installation and maintenance due to reduced drawing time for elevator drawings.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.442-442
• /
• 2012

농업용저수지 수질측정 현황은 17,600여 개소 농업용저수지 중 농업용수 수질측정망 조사시설은 저수지 800개소이며, 농업용 호소로서 환경부 조사 시행 호소수질측정망시설 26개소(저수지 16개소, 담수호 10개소)를 포함한 826개소를 대상으로 농업용수 수질을 분석 평가하고 있다. 저수지 자율항법 자동수질측정을 위하여 개발한 운영시스템은 내용적측정 무인탐사선과의 연계운항 제어모듈 개발 및 저수지 수질측정을 위한 최적항로 운항모듈을 개발하였다. 자율항법 무인탐사선의 자동수질 측정을 위한 운항 제어 알고리즘 설계를 위하여 기존의 자율항법 탐사선의 운항 알고리즘과 수질자동 측정장치 제어 알고리즘을 분석하여 연계 제어모듈을 설계하고 프로그래밍 하였다. 운영과정은 선박운영 프로그램에서 수질모니터링 프로그램으로 Operation Start 명령을 전송하면 수질모니터링 프로그램에서 이 명령을 수신한 이후에 윈치제어 및 수질측정, 각 해당 수심에서 시료채수를 수행한 이후에 Opeartion End 신호를 선박운영 프로그램에 전송하면 다음 지점으로 이동할 수 있도록 하였다. 이를 통하여 효율적인 농업용저수지의 무인자동 수질측정 및 채수기술을 개발 제공하도록 하겠다.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.371-380
• /
• 2009

Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(ATDG). For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.