• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.133-135
• /
• 2006

실시간 프로그램은 다양한 분야에서 사용되고 있으며, 그 개발자는 논리적, 시간적 정확성을 고려해야 한다. 시간적 정확성은 실시간 프로그램에서 가장 중요한 부분이며, 이를 위한 데드라인은 개발자에 의해 정의된다. 따라서 개발자는 데드라인의 정의를 위하여 기준점을 제시할 수 있는 정적 실행시간 분석이 필요하다. 정적 실행시간 분석에서 프로그램의 반복횟수 분석은 큰 비중을 차지한다. 현재 이러한 반복횟수 분석을 자동화하는 연구가 진행 중이다. 하지만 반복횟수 분석은 반복횟수에 영향을 주는 제어변수의 결정정책에 따라 결과가 달라지고, 자동화를 위한 반복횟수 계산 수식의 적용 범위가 제한되어 있다. 본 논문에서는 이러한 제어변수를 결정 및 탐색하고, 수집된 정보를 개선된 수식을 사용하여 반복횟수 분석을 수행할 수 있도록 PS-Block 구조를 기반으로 반복횟수 분석기를 설계 및 구현하였다. 반복횟수 분석기는 제어변수의 탐색 및 결정 분석 과정을 자동화하고, 수식의 개선으로 자동화 범위를 확대하며, 개별 반복 문 단위의 정밀한 반복횟수 분석을 통해 정확도를 높이고, 신뢰성을 향상시킬 수 있다.

• 한국실천공학교육학회논문지
• /
• 제1권1호
• /
• pp.19-24
• /
• 2009

급변하는 시장상황에 따라서 생산 자동화 시스템의 원활한 구현을 위한 다양한 자동화 제어 기술들이 요구 되고 있다. 그 중에서 자동화 제어 기술의 핵심 중의 하나는 PLC기반제어 기술을 바탕으로 하는 융복합 제어기술이다. PLC를 이용한 다양한 자동화 제어 기술이 급속하게 발전하고 보급됨에 따라 자동화, 생산, 제조기술등의 분야에서 재직하고 있는 엔지니어들은 필수적인 제어 기술임에도 불구하고 산업체의 적용범위가 광범위하고 응용사례가 다양하기 때문에 최적의 경로를 선택하여 체계적인 학습을 진행하기는 쉽지 않은 것이 현실이다. 아울러 여러 가지 교육 훈련 프로그램 등이 진행되고 있지만 체계적이지 못한 교육과정과 연계성이 부족한 커리큘럼 구성으로 재직자들의 능력 향상과 기업 경쟁력 강화에 큰 도움이 되지 못하고 있는 상황이다. 이에 본 논문에서는 S사의 현장엔지니어를 대상으로 하는 교육 프로그램의 문제점들을 분석하여 기업 맞춤형 교육과정을 체계적 모델로 개발하여 그것을 적용한 결과와 효과를 제시한다.

• 한국인터넷방송통신학회논문지
• /
• 제18권2호
• /
• pp.163-168
• /
• 2018

본 논문에서는 윈도우 환경에서 블랙박스 테스트 기법을 사용하여 GUI 기반 테스트를 자동화하는 테스트 자동화 프로그램 도구를 제안 및 개발한다. 제안된 테스트 자동화 프로그램 도구의 주요한 특징은 다음과 같다. 첫째, 에러 상태를 이미지로써 지정하고, 테스트 스텝마다 화면을 캡처하여 이미지 유사도 비교를 통해 에러 메시지 검출 여부를 확인한다. 둘째, 실행 중 이벤트 대기시간이나 각 테스트 스텝 간 좌표 증가 값 등 여러 옵션 설정을 지원한다. 이러한 블랙박스 테스트 자동화 연구는 안드로이드나 웹 등의 환경에서는 많았지만 윈도우 환경에서는 그렇지 않았다. 제안된 시스템의 성능평가 결과 제안된 시스템은 이미지 비교 모듈로써 GUI 테스트 자동화를 수행하고, 프로세스 상태 확인과 에러 이미지 검출 여부를 확인함으로써 테스트를 정상적으로 수행함을 확인하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2017년도 제55차 동계학술대회논문집 25권1호
• /
• pp.217-218
• /
• 2017

본 논문에서는 Windows PC에 대해 보안을 설정하는 가이드라인을 적용하는 프로그램을 제안한다. 이 프로그램은 Windows PC의 보안 정책들을 USGCB를 기반으로 사용자 PC의 로컬그룹 정책을 점검하고, 자동으로 USGCB에 적합하게 설정을 바꿔 준다. 이 프로그램을 통해 체계적인 보안 점검 환경을 구축하여 보안성을 최적화할 기반을 마련하고 자동화된 관리를 통해 운영과 관리에 소요되는 비용을 절감하며, 보안 설정을 편리하게 관리할 수 있게 한다. 또한 PC보안 설정을 규격화함으로써 PC의 보안성을 일정하게 유지시키고 IT비용과 조달 기간을 단축한다. 본 논문에서는 PC보안 설정의 필요성과 국내외 현황, 프로그램에 사용한 보안 가이드라인(USGCB)에 대한 소개와이 밖에 프로그램에 대한 자세한 내용을 기술한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.708-720
• /
• 2007

메모리 접근연산으로부터 발생되는 프로그램 오류는 C언어로 작성된 테스트 대상 프로그램에서 가장 빈번하게 발생하는 오류이다[1,2]. 기존연구를 통해 이런 문제점을 해결하기 위한 다양한 메모리 오류 자동검출 방법들이 제안되었다. 하지만 기존의 오류검출방법은 테스트 대상 프로그램에 가해지는 부가적인 오버헤드가 매우 크거나 검출할 수 있는 메모리 접근오류의 종류가 제한적이다. 또한 메모리 할당함수의 내부구현에 의존성을 갖고 있기 때문에 플랫폼 간 이식성(portability)이 떨어지는 단점을 갖고 있다. 본 연구에서는 이러한 문제점을 해결하기 위해 새로운 메모리 접근오류 검출기법을 제안하고 테스트 자동화 도구를 설계하였다.

• 기계저널
• /
• 제32권5호
• /
• pp.456-464
• /
• 1992

CMM과 CAD/CAM접속(interface)은 1)CMM의 가동률 향상과 자동측정 프로그램 작성의 효율화, 2) 피축정물 측정 기준값의 효율적 작성, 3) CMM의 측정결과의 피드 백에 의한 데이터 해석과 설계시방, 도면의 수정, 4) 설계되지 않은 미지형상의 피측정물을 측정해 CAD/CAM시스템에 의한 모델링과 NC 가공 프로그램의 작성을 주목적으로하여 진행되고 있다. 향후 생산라인 내의 검사 스테이션으로 사용될 수 있도록 CMM 자체의 제약 극복과, 공장자동화를 위한 요소 기술, 기계와의 접속 (interface) 기술개발에 의해 설계, 가공공정에 비해 상대적으로 낙후되어 있는 검사공정의 자동화와 타부문과의 통합화가 촉진될 것으로 전망된다.

• 제어로봇시스템학회지
• /
• 제2권4호
• /
• pp.30-41
• /
• 1996

MMS는 통신망으로 연결된 자동화기기와 컴퓨터 응용 프로그램간에 실시간 데이터와 감시제어정보를 교환하기 위한 국제표준의 메시지 교환 규약으로, MMS는 실행되는 응용기능의 종류나 기기의 개발자에 관계없이 표준적인 방법으로 정보를 교환하게 한다. MMS에서 제공되는 서비스들은 각종의 자동화기기와 응용 프로그램, 또한 여러 산업현장에서 필요로 하는 기능을 모두 만족하기에 충분하다. 그리고 MMS는 자동화된 생산공정을 구성하거나 사용하는데 필요한 경비를 줄여준다. MMS는 다양한 자동화 기기간의 통신을 하나의 통일된 규약과 방법론을 사용하여 이루고자 할 때 상호운용성(Interoperability), 독립성(Independence), 데이터접근(Data Access)성 등의 특징을 가장 잘 발휘할 수 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제68차 하계학술대회논문집 31권2호
• /
• pp.665-667
• /
• 2023

본 논문에서는 효율적인 쇼핑 경험을 제공하기 위해 숏카트라는 자동화된 쇼핑 카트 시스템을 제안한다. 숏카트는 사용자의 편의성을 높이기 위해 자동화 기술을 활용하며, 사용자가 상품을 선택하면 카메라를 통해 바코드를 인식하고, Python을 활용하여 바코드값을 읽어온다. 읽어온 바코드 값을 데이터베이스의 바코드 값들과 비교하여 동일한 값을 가진 상품을 사용자의 장바구니에 자동으로 추가한다. 이를 통해 사용자는 편리하게 상품을 선택하고, 계산 과정을 자동화하여 시간을 절약할 수 있다. 또한, GUI 프로그램을 PyQT로 개발하여 사용자에게 시각적으로 장바구니 내용을 표시해 준다.

• 전자통신동향분석
• /
• 제30권4호
• /
• pp.54-58
• /
• 2015

수리 논리 기반의 프로그램 증명방법은 매우 유용한 프로그램 분석방법이지만, 수리 논리식에 대한 증명을 사람이 직접 수행하는 것은 매우 힘들고 고된 작업이다. 본고에서는 이러한 수리 논리 기반의 프로그램 증명을 자동화하기 위하여 개발된 중간 증명 언어(Intermediate Verification Language)에 대하여 살펴보고자 한다.

• 전기저널
• /
• 9호통권201호
• /
• pp.23-34
• /
• 1993