• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1821-1841
• /
• 1997

본 논문은 형식 기술 기법 중의 하나인 LOTOS 명세로부터 적합성 시험 시퀀스를 자동 생성하는 방법을 기술한다. 전체적인 시스템 구현을 위해 현재까지 연구된 여러가지 알고리즘들을 응용하여 적용하였고, 또 Rural Chinese Postman tour 개념을 개선한 후 적용하였다. 통신 프로토콜에 대한 LOTOS 명세로부터 CAESAR 도구의 Petri-net을 통한 시뮬레이션 기능을 이용하여 해당상태 천이 그래프를 생성하고, 얻어진 상태 천이 그래프에 대해 적합성 시험 시퀀스를 생성하기 위해 주어진 그래프의 각 상태에 대한 유일한 시퀀스인 UE sequence(Unique Event sequence)를 정의하였다. 또한 이러한 UE 시퀀스가 존재하지 않는 상태에 대해서는 부분 UE sequence(Partial UE sequence) 및 signature를 정의하였고, 또 이러한 특성 시퀀스에 대한 경험적 연구 결과를 정리하였다. 한편, 최적의 시험 시퀀스 생성을 위해 얻어진 특성 시퀀스들을 Rural Chinese Postman tour 개념에 적용하는 방법론에 대해서도 제시하였다. 또 생성된 적합성 시험 시퀀스의 오류 판단 영역 예측 방법 및 과정과 결과에 대해서도 기술하였고, 얻어진 시험 시퀀스를 표준 시험 표준기법인 TTCN으로의 변화 방법론도 제시하였다. 마지막으로 제안된 생성방법론에 대한 프로토타입은 실제 통신 프로토콜에 적용하기 위해 실질적인 많은 부분을 고려하면서 실행시험 스우트 생성을 위해 구현되었고, 이 프로토타입은 지능망이나 PCS 또는 ATM 프로토콜을 위한 적합성 시험 목적으로 사용될 수 있다.

• 한국공간정보시스템학회 논문지
• /
• 제1권2호
• /
• pp.5-20
• /
• 1999

최근 정보기술(Information Technology : IT) 분야의 새로운 소프트웨어 패러다임 (paradigm)은 분산 컴퓨팅 기법이 가져온 컴포넌트 기술이다. 컴포넌트 기술은 프로그램 개발에 소요되는 시간을 상당히 단축시킬 수 있으며, 인터넷/인트라넷 환경에 적합한 분산 컴퓨팅 환경을 쉽게 구축할 수 있도록 설계되어 있다. 이러한 소프트웨어 기술의 변화는 지리 정보 시스템(GIS) 분야에도 커다란 영향을 주었으며. 또한 지리정보 시스템의 기술적 정책적 측면에서 컴포넌트 기술이 매우 필요하게 되었다. 본 논문에서는 분산 GIS 컴포넌트들의 효과적인 개발과 운용을 위해 선 마이크로 시스템에서 산업 표준으로 제시한 Enterprise JavaBeans Specification 1.1을 적용하여 GIS 컴포넌트를 위한 엔터프라이즈 서버를 개발한다. 사용자는 엔터프라이즈 서버를 활용하여 GIS 컴포넌트 개발을 위한 UML과 디자인 패턴 등을 관리하며, 개방형 지리 데이타 상호 운용성 사양인 OpenGIS를 준수하는 GIS 컴포넌트 컨테이너를 개발하고. 공간 XML 엔진을 이용하여 공간 메타데이타를 관리하며 그리고 개발된 GIS 컴포넌트들의 테스트 및 검증을 위한 TESTBED 서버를 구현할 수 있다.

• 대한전자공학회논문지SD
• /
• 제43권5호
• /
• pp.34-47
• /
• 2006

본 논문에서는 무선 트랜시버 구성소자들의 완제품 테스팅을 용이하게 할 수 있는 새로운 테스팅 기법을 제안하였다. 즉 RF 집적회로에 존재하는 고장들에 대하여 설계사양의 정보를 포함하는 구간고장모델(band fault model)을 제안하고 이 구간고장모델들의 변화를 회로의 출력에서 그대로 관찰할 수 있도록 함으로써 시간영역에서 설계사양에 대한 테스트를 용이하게 할 수 있는 방식을 제시하였다. 이 방식은 주파수 영역에서 테스트를 행하는 기존의 설계사양 테스트를 시간영역에서 용이하게 테스트할 수 있도록 함으로써 고가의 테스트 장비가 필요 없으며 테스트 시간이 단축되는 장점이 있다. 본 논문에서 제시된 테스팅 기법을 5.25 GHz 저잡음증폭기의 테스트에 적용하여 설계사양을 고려한 시간영역 테스팅 기법이 저잡음증폭기를 비롯한 RF 집적회로의 테스트에 매우 효과적임을 입증하였다.

• 한국정보처리학회논문지
• /
• 제4권5호
• /
• pp.1327-1336
• /
• 1997

I/O FSM 모델로 표현된 프로토콜들로부터의 시험 계열 생성은 I/OFSM 명세 자체가 강하게 접속되어야 하며 (strongly connected) 상태(state) 수가 최소(minimal)하여야 하며, 그리고 또 결정형(determinstic) 이어야 한다는 가정에서 출발한다. 본 논문에서는 프로토콜을 나타내는 명세 I/OFSM(또는 Graph)이 이러한 가정으로 출발 되는 이유를 객관화 시키고, 또 그래프 재표기 시스템(Graph Rewriting System)을 정의하고, 이를 명세 그래프(명세 I/OFSM)에 적용시켜 기존의 알고리즘보다 훨씬 빨리 강한 접속 여부를 판단하는 알고리즘을 제시한다.

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

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.296-299
• /
• 2003

This paper presents the implementation of an integrated messaging gateway (IMG) based on the open services gateway initiative (OSGi) specification to deliver home messages between home and some telecommunication devices. The IMG has four service agents to support a diverse communication channel. In this paper, we describe a software architecture for a seamless messaging and device layouts in the IMG. And then, we detail each components allowing users to be notified automatically through a cellular phone, a telephone, and the Internet.

• 산업공학
• /
• 제17권2호
• /
• pp.149-157
• /
• 2004

This paper considers a conformity testing problem on EJB(Enterprise JavaBeans). The EJB architecture is a component architecture for the development and deployment of component-based distributed business applications. The objective is to find an optimal test sequence for the conformity test between the EJB specification and an implemented one. For the test sequence, we formulate the problem as a rural Chinese postman tour one and use a linear programming formulation. Based upon the formulations, we suggest a conformance test procedure and show its efficiency by applying the procedure to the CMP(Container- Managed persistency) entity bean of the EJB.

• 품질경영학회지
• /
• 제41권3호
• /
• pp.433-441
• /
• 2013

Purpose: This study investigates software qualification procedures based on the FA-50 flight control software to satisfy high reliability and flight safety. Methods: We studied software qualification categories, standard/specification and developed country case. We proposed procedure to satisfy not only flight safety but also international standard. Results: The proposed software qualification procedure satisfied flight safety and airworthiness based on the testing result of the FA-50 flight control software. Conclusion: This paper showed an appropriate qualification procedures of the flight control software in domestic circumstance through the FA-50 flight control software qualification.

• 디지털융복합연구
• /
• 제13권11호
• /
• pp.141-148
• /
• 2015

기존 비디오 라이브 스트리머에 비해서 매우 저렴하고 저전력으로 휴대용으로 쉽게 동작하는 HLS(Http Live Streaming) 전송기를 임베디드 리눅스 기반으로 개발 및 구현하였다. HLS 전송기를 저렴하게 구현하기 위해 Arm11 프로세서 위에 임베디드 리눅스를 운영체제로 포팅 하였고 오픈 소스인 FFmpeg와 Segmenter을 이용하여 HLS 프로토콜을 구현하였다. 노트북, iPhone, android phone, 노트북을 수신단말기로 이용하여 개발한 임베디드 리눅스 기반의 휴대용 HLS 전송기의 성능을 평가하였다. 본 논문에서 개발한 HLS 전송기는 애플사가 제안한 HLS 권고 규격 이상의 성능을 구현하였음을 성능평가 실험을 통해 확인하였다. 본 논문에서 개발한 제품의 활용분야는 실시간으로 현장의 위급상황을 현지 지휘소나 원거리 사령부에 전달해야하는 경우 HLS를 개인이 착용하여 이동하면서 실시간으로 상황영상을 전달하는 분야에 활용될 수 있을 것으로 생각된다.

• 한국도로학회논문집
• /
• 제16권6호
• /
• pp.121-128
• /
• 2014

PURPOSES : The objective of this study is to evaluate the tack-coating material's properties using the bitumen bond strength(BBS) test and damping test as function of changed curing times. In this study, bonding strength tests were performed according to the curing time of tack coating materials. METHODS : In order to investigate bonding characteristic of tack coating materials, the Pneumatic Adhesion tensile Testing Instrument(PATTI) device is used to measure the bond strength between the tack coating materials and aggregate substrate based on the AASHTO TP-91. Also, damping test as in situ test was used to determine an appropriate traffic openting time for construction vehicle. Four different tack-coating materials were used in this study. The BBS tests were performed a one hour curing and testing temperatures of $5^{\circ}C$, $15^{\circ}C$, and $25^{\circ}C$. Damping test was conducted at 30min, 60min, 90min, and 120 min of curing times with temperatures of $20^{\circ}C$ and $30^{\circ}C$. RESULTS and CONCLUSIONS : The BBS test results show various bond strength as function of tack coat materials. At the same testing condition, A tack coat material shows almost two times higher than D tack coat materials although both materials are satisfied the criteria of material's physical properties. Also, Dampting test results shows similar trend with BBS test result. The damping test result was significantly changed as function of tack coat materials. Based on this study, the tack coating material's curing time is very important. Therefore, both curing time and the bond strength's characteristic has to be considered in standard specification.