• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1994년도 제6회 한글 및 한국어정보처리 학술대회
• /
• pp.479-482
• /
• 1994

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권4호
• /
• pp.378-387
• /
• 2006

본 논문에서는 센서네트워크를 위한 운영체제인 Nano-Qplus 기반의 응용프로그램을 자동으로 생성하기 위한 프로그래밍 모델을 제시한다. 즉, 센서네트워크를 구성하는 센서, 라우터, 싱크, 엑츄에이터와 같은 노드들이 수행해야 하는 기능에 대한 프로그램을 자동으로 생성하기 위한 프로그래밍 모델을 제시한다. 제안한 프로그래밍 모델에 따라 센서네트워크에 대한 모델을 작성하고, 이를 바탕으로 센서네트워크의 각 노드에 대한 속성 값을 스크립트를 통하여 설정하면 각 노드를 동작시킬 수 있는 프로그램이 자동으로 생성된다. 본 논문에서는 프로그래밍 모델에서 사용하는 각 노드의 속성을 설정할 수 있는 스크립트와 프로그램을 자동으로 생성하는 알고리즘을 프로그래밍 모델과 함께 설명한다. 본 논문에서 제시한 기법을 이용하면 센서네트워크를 구성하는 각 노드에 대한 속성설정만으로 실행코드를 자동으로 생성함으로써 개발자들은 코드에 대한 상세한 내용을 알지 못하더라도 쉽게 응용프로그램을 구현할 수 있다. 또한 실행코드를 자동으로 생성함으로써 센서네트워크 응용프로그램을 개발하는데 소요되는 노력을 줄일 수 있으며, 신속한 코드생성을 통해 조기에 테스트를 수행하여 오류를 찾아내고 수정함으로써 검증된 코드를 생성할 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 A
• /
• pp.476-478
• /
• 2003

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

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.499-504
• /
• 1996

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

• 한국정보과학회논문지:데이타베이스
• /
• 제32권1호
• /
• pp.86-99
• /
• 2005

본 논문에서는 프로그램 분석 기술에 기반하여, 주어진 프로그램 내에서 트랜잭션 처리 관련 오류를 자동으로 검출해주고, 성능저하 요소가 발견되면 자동으로 개선된 코드로 변환하여 주는 시스템을 제안한다 트랜잭션 처리 오류란 트랜잭션을 열고서 닫지 않는 경우나, 잘못된 잠금수준(Locking-Level)을 설정하는 경우를 말한다 전자의 경우, 원하는 대로 데이타가 저장되지 않거나 장시간 데이타베이스 테이블을 잠금(Locking)으로써 시스템 전체의 성능을 떨어뜨릴 수 있다. 후자의 경우. 시스템에 따라 예외상황이나 프로그램의 파행적 실행 중단을 야기한다. 비효율적인 트랜잭션 처리란, 트랜잭션 영역(Boundary) 또는 잠금수준을 비효율적으로 설계하여서 다른 프로세스들의 트랜잭션을 지연시키는 경우를 말한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2011년도 하계학술대회
• /
• pp.80-81
• /
• 2011

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

• 융합정보논문지
• /
• 제9권2호
• /
• pp.172-179
• /
• 2019

최근 승강기 산업에서 설치도면과 설계요소에 대하여 설계자동화가 요구되고 있다. 이는 현장 적응성 확보와 설계오류의 감소 그리고 수출 경쟁력 강화에 중요한 역할로 인식되고 있다. 그러나 규모가 작은 기업의 경우 프로그램 개발에 투입할 자원이 충분하지 못해 도면 설계 자동화 프로그램을 개발에 어려움을 겪고 있다. 따라서 규모가 작은 기업도 손쉽게 투자하여 사용할 수 있으면서 사용자들이 생산적인 업무에 집중 할 수 있도록 하는 도면 자동생성 프로그램이 필요하다. 본 논문에서는 파라메트릭 코딩기법을 이용한 도면 자동생성 프로그램 개발하여 제시한다. 이 프로그램은 웹서비스와 연계되어 사용자가 현장 정보를 웹상에 입력하면 자동으로 도면을 작성하여준다. 이는 승강기 도면 작성시간이 줄어 승강기 설치 및 유지 보수에 유용하다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2012년도 학술발표회
• /
• pp.442-442
• /
• 2012

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

• 정보처리학회논문지D
• /
• 제14D권2호
• /
• pp.191-202
• /
• 2007

일반적으로 테스트 데이터 생성 방법들은 테스트 데이터를 자동으로 생성하기 위해서 완전한 프로그램 경로를 기술한 것을 요구한다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 테스트 데이터를 자동으로 생성하는 새로운 방법을 제안한다. 이를 위해 이 논문에서는 테스트 대상 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 사용자로 하여금 프로그램 경로를 선택하도록 하는 부담을 덜어줄 뿐만 아니라 다양한 테스트 적합성 기준에 따라 테스트 데이터를 생성하는 일을 용이하게 한다. 간단하지만 설명에 도움이 될 수 있는 예들을 통하여 제안한 방법에 대해 설명한다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.371-380
• /
• 2009

최근에 테스트 데이터를 자동으로 생성하는 방법에 관한 연구가 활발하게 진행되고 있다. 그러나 이러한 방법들은 플래그 변수가 프로그램에 존재하는 경우에는 효과적이지 못함이 밝혀졌다. 이는 엔진 제어기와 같은 내장형 시스템들이 전형적으로 디바이스 관련 상태 정보를 기록하기 위해 플래그 변수를 많이 이용한다는 점을 고려할 때 문제가 된다. 이 논문에서는 플래그 변수가 있는 프로그램에 대하여 효과적으로 테스트 데이터를 생성할 수 있는 방법을 소개한다. 이 방법은 테스트 데이터 생성 문제를 SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성한다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.