• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.9
• /
• pp.1854-1866
• /
• 1997

This paper proposes a new test case generation technique for a nondeterministic finite state machine by improving the existing UIO sequence generation method. First, a new conformance relationis defined, which is one of prerequisites for automatic test case generation. Because fof the nondeterministic property of torpocols, the output of the systems under test is not known deterministically to the tester. Therefore, tree-like test case generation method is introduced for adaptive testing, in which the next input is selected after observing the previous output. Since the test cases are generated with regarding the inputs and outputs as separate events and are represented in tree notation, the test cases are easily converted into TTCN, the international standard test suite specification language.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.15 no.6
• /
• pp.786-801
• /
• 2012

The most essential ROC(requirement operational capability) in order to assure the effectiveness of the C4I Systems in NCW Environments is the seamless and stable interoperability between systems. The U.S. Armed Forces that perceived the importance of interoperability, prepared the framework to apply from the proposal of requirement to every step of acquisition process. The Korea Joint Chiefs of Staff is also developing a similar system in order to assure the interoperability between command control(C4I) systems. In the paper, we specify the needs of standardization of test systems and international trends on the technology, and propose an interoperability test & evaluation system based on a standardization conformity method to improve the interoperability test & evaluation for the C4I systems in NCW environments. Finally we show an example of the implementation of the test system and its application to C4I systems to verify the proposed test system.

• Journal of Advanced Marine Engineering and Technology
• /
• v.35 no.8
• /
• pp.1070-1077
• /
• 2011

This study includes field test results for performance evaluation of a tubular turbine in marine small hydro power plant. Minimum output power of the tested turbine generator is examined with using of the measured effective head, output power and efficiency. For the rated and maximum output power tests, corrected values from the result of turbine model test are used for the performance evaluation, because experimental conditions of field test at the rated and maximum output powers are restricted correctly. Performance of the test turbine shows good conformance with the suggested guarantee values of output power and efficiency at the measured points of minimum, rated and maximum output power.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.12
• /
• pp.1423-1434
• /
• 1991

This paper extends TTCN, a conformance test notation, using object oriented concepts including object, class and inheritance. In distributed system environments, since test systems that should test the implementations for application protocols whether they conform to the standard protocol include protocol test behaviours executed in parallel, the converntional TTCN can't describe whole thest suites explicitly. ISO is working the extension of TTCN including parallel notations, but concurrently if TTCN could be applied by the object model that regards a parallel test component as a object, we would gain the advantages of reliability and software reusability, and make TTCN a test language.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.11
• /
• pp.2255-2263
• /
• 1994

Protocol conformance testing consists of procedures to observe an output and to check a transition state of the Implementation Under Test considered as a black box by applying an input. There are several methods to check the transition state such as Unique Input/Output(UIO) sequence. Distinguishing Sequence(DS) and Characterization Set(CS). Particularly, as a test method for a state having no UIO sequence, Partial UIO sequence method can be considered. In this paper, three properties which can be found among Partial UIO sequence and a modified algorithm using these properties are suggested.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.5
• /
• pp.65-71
• /
• 2016

Bluetooth technology(BT) is a standard for short distance wireless communication and widely used to connect and control various electronic and telecommunication devices without wires, where CSR8670 chip is generally adopted. These BT devices are required to comply with BT specification and the equipments for conformance test are also important. However, the existing BT testing methods have inconvenience in that they are mostly time-consuming procedure due to not only repetitive execution for each evaluation element but also error-prone nature of manual experiments. This paper proposes an automated BT communication test method using CSR8670 chip, which solves the problems related to manual testing methods. The proposed method can reduce the development period of BT products and guarantee the quality improvement owing to the exact system error detection capability.

• The KSFM Journal of Fluid Machinery
• /
• v.16 no.5
• /
• pp.11-17
• /
• 2013

This study is aimed to construct a marine small hydro power plant using discharge water of fish farm in Jeju Haengwon-ri. The difference of design methods between marine small hydro power plant and land small hydro power plant is to consider the tides. Moreover, ground condition should be examined because gushout sea water comes out from the ground at high tide in Jeju as the ground of Jeju beach consists of basalt stone. From the field test of the turbine generator after construction of the power plant, output power and efficiency of the turbine generator shows good conformance to the required conditions.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.115_116
• /
• 2009

IEC 61850 based substation automation system mainly consists of a various of protective and control IEDs. In order to implement the system, All of them should require the performance verification of IEC 61850 communication services for the assurance of interoperability throughout the digital network. This paper shows a research result on the testing method of IEC 61850 control communication interface of IEDs according to IED IEC 61850 conformance test procedures.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.187_188
• /
• 2009

본 논문은 IEC 61850 기반의 전력IT기기에 대한 시험 및 평가방법에 대해 다루었다. 여러 제조업체에서 제작한 IEC 61850 기반 전력IT기기는 현장과 같은 실제 사이트에서 구성된다. 현장시험(SAT: site acceptance test)은 운전하기 이전에 고객에게 확신을 주기위해 사이트에 설치된 모든 장비에 대해 시험 및 평가를 수행한다. 적합성 시험(conformance test)은 효율적인 현장시험을 위해서 수행해야 한다. 그러나 적합성시험을 통과한 장비일지라도 통합작업, 검수시험 및 운전하는 경우 문제가 발생할 수도 있다. 따라서 통합작업, 검수시험 및 운전하는 경우에 문제점을 최소화하기 위해 적합성시험뿐만 아니라 상호운용성 시험을 수행해야 한다.

• Electronics and Telecommunications Trends
• /
• v.14 no.2 s.56
• /
• pp.26-37
• /
• 1999

ATM 프로토콜 적합성 시험 생성 도구 개발을 프로토콜 개발 통합환경과 연계하여 개발한다. 즉 생성된 I/O FSM 중간모델을 대상으로 연구된 가장 짧은 길이의 시험 스위트(test suite)를 생성하는 알고리즘을 편리하고 용이하게 적용하기 위해 데이터 구조화 및 컴퓨터 내에서의 표현 등을 위한 초기화 작업기능을 SDL Editor & Simulator를 활용하여 확인한다. 그리고 ATS(Abstract Test Suite) 생성은 UIO 시퀀스를 결정하고, TUT와 도착상태의 UIO 시퀀스를 결합한 시험 subsequence 생성과 symmetric argumentation 과정을 거처 RCP(Rural Chinese Postman) Tour 생성 알고리즘 구현을 통해 완전 시험 스위트 생성도구를 개발하고, 프로토콜 검정기와 연계하여 통합된 환경에서 사용할 수 있도록 개발한다.