• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3176-3184
• /
• 1998

프로토콜 적합성 시험을 효과적으로 하기 위하여 시험항목을 올바로 기술하는 것은 매우 중요하다. 시험 항목 검증을 자동화한다면 수 작업으로 할 때의 번거로움과 오류를 피할 수 있다. 이 연구에서는 이러한 수 작업으로 생성된 시험 항목의 검증을 자동화함으로써 오류를 줄이고, 적합성 시험의 생산성을 향상시키기 위한 시험 항목 검증 도구를 설계하고 이를 구현하였다. 검증대상 시험 항목은 TTCN형태이고 검증의 핵심기반은 reachability tree analysis 방법이다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.262-263
• /
• 2011

변전소를 구성하는 모든 설비를 가상의 데이터 모델로 구현하고 모든 제품에 동일한 데이터 정보객체를 가지고 구현하는 것을 의미하는 IEC 61850 기반의 변전자동화 IEC 61850 기반의 변전자동화 시스템을 구성하는 제품의 상호운용성이 보장되어야 하며, UCA의 국제전문가모임에서는 제정한 IEC 61850 통신서비스 시험항목으로 구성된 적합성 인증 항목을 IED와 상위운영시스템이 만족하는 것이 최소한의 기본 조건이다. 본 논문에서는 IEC 61850에서 명시하는 4가지 제어모델 중 가장 복잡하고 클라이언트 입장에서 고려해야 할 사항이 많은 SBOes 클라이언트 적합성 시험모델링과 시험사례를 다루고자 한다.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.2 no.2
• /
• pp.39-53
• /
• 1991

디지탈 기기를 포함한 일반적인 전기전자기기로 부터 발생하는 방해전자파는, 낮은 주파수 대역(MF, HF 대역)에서는 전원성 등의 도선을 따라서 전달(전도성 방해파)되고, 높은 주파수 대역(VHF, UHF 대역)에서는 직접 공간에 방사(방사성 방해파)된다. 이러한 전도성 및 방사성 방해파의 측정은 IEC, CISPR, FCC, VDE 등의 규격이 정하고 있는 규정에 따라서 실시된다. 이들 규격은 방해파 측정법을 규정하고 있을 뿐만 아니라, 재현성이 좋은 측정을 실현시키기 위해 측정용 시설에 대해서도 자세하게 규정하고 있다. 방사성 방해파의 측정에 사용하는 측정시설로서는, 기본적으로 야외시험장(Open Area Test Site, OATS)을 사용하도록 규정하고 있는데, 측정치의 상호연관성을 위해서는 규약에 정해진 적합성이 평 가되고 확인되어 있어야만 한다. 여기서는 방사성 방해파 측정용 시설중에서 가장 기본적이고도 중요한 야외시험장의 적합성 평가 파 라미터 - 두 지점간의 전송손실, 이를 시험장감쇠량 이라함 - 에 대하여 기술하기로 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.9
• /
• pp.1395-1403
• /
• 1993

Protocol conformance is crucial to inter-operability and cost effective computer communication. Given a protocol specification, the task of checking whether an inplementation conforms to the specification is called conformance testing. The efficiency and fault coverage of conformance testing are largely dependent on how test cases are chosen. Some states may have more one UIO sequence when the protocol is represented by FSM (Finite State Machine). The length of test sequence can be minimized if the optimal test sequences are chosen. In this paper, we construct the depth-tree to find the maximum overlapping among the test sequence. By using the resulting depth-tree, we generate the minimum-length test sequence. We show the example of the minimum-length test sequence obtained by using the resulting depth-tree.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.7B
• /
• pp.1253-1259
• /
• 2000

적합성 시험은 프로토콜 구현물인 IUT(Implementation Under Test)가 프로토콜 규격과 일치하는지를 검증하는 것으로, 이 적합성 시험의 질은 생성된 시험열에 의존한다. 기존에는 시험열 생성이 수작업으로 이루어지기 때문에 오류의 가능성을 내포한다. 본 논문에서는 자동화된 툴(tool)인 Design/CPN을 이용하여 SDL(Specification and Description Language)로 기술된 프로토콜의 시험열을 생성한다. SDL로 기술된 프로토콜을 자료흐름을 고려한 CPN(Colored Petri Nets)으로 변환 후 Design/CPN에 입력하여 자동 생성된 OG(Occurrence Graph)와 디스크립터 (descriptor)로부터 시험열을 생성함으로써, 기존의 시험열 생성 방법에 비해 오류 가능성을 줄일 수 있으며, 자료 흐름이 고려된 시험열을 얻을 수 있다.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1996.06a
• /
• pp.779-782
• /
• 1996

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.8
• /
• pp.1948-1957
• /
• 1996

The conformance testing of communication protocol is the process to evaluate whether the protocol implemented is identified with standard specification. By evaluating how generated test cases detect many faults, it can be used with standard estimating efficiency of conformance testing. The method that evaluates the capability of fault coverage for test cases, has been researched by mathematical analysis and simulation. In this paper, we pointed out the problem of existing method and proposed new evaluation model of fault covergage for test case which generated by foult model. Also, we analyzed the results comparing to the existing evaluation method and proved its validity.

• Journal of the Korean Society for Railway
• /
• v.18 no.1
• /
• pp.33-42
• /
• 2015

The vertical static stiffness of rail pads or baseplate pads, which are important components in rail fastening systems for track safety, is a key factor to determine the total track stiffness and a guideline of quality control in the manufacturing process. The vertical static stiffness can be checked by laboratory testing: test methods are EN 13146-9 and KRS TR 0014, which are widely used in the railway field. In this paper, to correct some problems, namely the preloading step, the unloading level, and the holding time in the loading program in the vertical static stiffness test of EN 13146-9 and KRS TR 0014, domestic and foreign test standards of pads were analyzed and then certain schemes for a vertical static stiffness test were proposed. To assess the reliability of the proposed schemes, the vertical static stiffness tests were performed with 4 pads and the validity of the test results was estimated.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.15-24
• /
• 2018

High Level Architecture(HLA) for modeling and simulation is an international technical standard to achieve simulation interoperability and reusability. Building federation through the interworking of federates is being used in various fields and is being used in KR(Key Resolve), UFG(Ulchi-Freedom Guardian) as a representative in domestic military. Currently, United States Department of Defense emphasizes the HLA compliance test, which confirms the compliance of Federate by using HLA. However, due to the limitations of testing tools, an HLA compliance test of DoD is not able to perform some of the functional tests on HLA/RTI services such as federation storage/recovery services and also exclude inspection of exchange data between federates. To solve these problems, this paper proposes an HLA compliance testing system of ROK suitable for domestic situations. This will enable effective HLA compliance testing and improve interoperability between federates.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2011.11a
• /
• pp.102-105
• /
• 2011

2008년 처음 IPTV 서비스가 시작된 이후 IPTV 콘텐츠 호환성 확보와 단말 이동성 확보를 통한 IPTV 서비스 활성화 및 전체적인 비용 절감을 위해 많은 표준화 이슈들이 있었고 현재까지 표준화가 일부 완료 및 진행중이다. IPTV는 짧은 시간에 급격히 발전하였고 사업이 활성화 되었기 때문에 표준의 적용을 위한 준비 기간이 짧고 표준의 검증이 이루어지지 않은 상태이다. 그래서 표준을 적용한 시스템에 문제가 생길 수 있고 이는 많은 자원 낭비와 콘텐츠 호환성과 단말 이동성이 점점 늦어지는 원인이 되고 있다. 이에 본 논문은 표준을 적용한 플랫폼과 솔루션들이 상용화 되기전에 표준 적용 개발 제품의 표준 적합성을 시험해보고 표준 기술을 검증하여 표준을 정립하기 위하여 국내 IPTV 표준 중 "IPTV 서비스 탐색 및 전송방식 표준[3]"을 적용한 플랫폼과 솔루션을 검증하기 위한 시험 환경을 구축하고 시험규격을 개발하였다.