• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.7B
• /
• pp.1296-1304
• /
• 1999

In this paper, we propose an enhanced usage parameter control algorithm, which is one of the preventive traffic control method in ATM networks. Proposed algorithm is based on the cell loss priority bit in the ATM cell header. This algorithm can eliminate the measurement phasing problem in cell conformance testing in ATM networks. Proposed algorithm can minimize the cell loss ratio of high priority cell(CLP = 0) and resolve the burstiness of cells which may be introduced in traffic multiplexing and demultiplexing procedure. For the performance evaluation, we simulate the proposed algorithm with discrete time input traffic model, the results show that the performance of proposed algorithm is better than that of ITU-T usage parameter control algorithm.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1327-1336
• /
• 1997

Test generation from the communication protocol specified in I/OFSM protocol is based on the asumption that the specification S and implemenataiton I are storngly, connected,minmal and deterministic.In this paper,we identify why these asumptions are necessary for minimal test cases genration from I/OFSM protocol speci-fication,and we propose a graph Rewriting System and its application to the specification I/OFSM for verifying its storng cinnectivity.We prove that the suggested algorithm is more dffcient thah the traditional strongly connected compoment find algorithm.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.56-57
• /
• 2006

IEC61850은 변전소 자동화 시스템에 관한 국제 표준이다. IEC61850-10에서는 시스템을 구성하고 있는 각 기기들이 IEC61850 국제표준을 준수하고 기기들간의 상호운영성을 입증하기 위해 적합성 검사를 정의한다. 하지만 IEC61850-10에서 기술된 내용은 무엇을 검사할 것인지에 대해 추상적 방식으로 서술하고 있고 어떻게 검사하는지에 대해 구체적 방법의 제시는 부족하다. 이에 대해 UCA IUG(International Users Group)는 품질 보증 프로그램(QAP)을 운영한다. QAP는 IEC61850에 따른 검사절차에 대해 명시할 뿐만 아니라 그룹에 참여한 모든 사람들에게 이득을 가져다준다. 본 논문에서는 이러한 QAP에 대해 소개한다.

• Journal of Korea Multimedia Society
• /
• v.1 no.1
• /
• pp.109-119
• /
• 1998

This paper describes a research result on automatic generation of Abstract Test Suite from INAP protocol in formal specifications by applying many existing related algorithms such as Rural Chinese Postman Tour and UIO sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence, called UIO sequence, is defined for the I/O FSM. The UIO sequence is combined with the concept of Rural Chinese Postman tour to obtain an optimal test sequence. It also proposes an estimation methodology of the fault courage for the Test Suite obtained by our method and their translation into the standardized test notation TTCN.

• 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.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2015.07a
• /
• pp.527-530
• /
• 2015

2014 년 4 월 TTA 에서 개정된 "HTML5 기반 스마트 TV 플랫폼(TTAK.KO-07.0111/R1)" 표준의 멀티스크린 서비스는 UNnP, mDNS 등의 ZeroConf 네트워크 기술을 기반으로 스마트 TV 수신기가 스마트 폰이나 태블릿과 같은 다양한 컴패니언 디바이스를 발견하고 서로 연결하여 디바이스 간 연동 서비스를 구현할 수 있는 기술을 정의하고 있다. 또한, 이 멀티스크린 기술을 활용하여 개발된 서비스(앱)가 표준을 준수하는 다양한 수신기에서 동일한 사용자 경험(UX)으로 실행되기 위해서는 수신기가 멀티스크린 기술 요구 사항을 준수하여 구현되었는지를 검증하는 적합성 시험이 반드시 필요하다. 본 논문에서는 이러한 적합성 시험을 위한 시험 기준과 수행절차, 판정 기준 등을 정의하고 있는 " HTML5 기반 스마트 TV 플랫폼 수신기 적합성 시험(TTAK.KO-07.0119/R1)" 표준에 멀티스크린 시험을 위하여 추가된 시험 항목과 이를 실제로 실행하여 수신기를 검증하기 위하여 개발된 테스트케이스를 소개한다. 아울러, 컴패니언 디바이스에서 실행되면서 수신기의 테스트케이스와 연동하여 수신기 기능을 검증하는 데 활용하는 모바일 테스트 프레임워크와 이를 기반으로 하는 모바일 테스트케이스의 구현을 설명한다. 아울러, 본 논문에서는 TTA 에 구축된 멀티스크린 시험 환경에서 표준 기반 참조 수신기를 대상으로 멀티스크린 시험을 수행한 사례를 통해 시험환경의 유효성을 확인하고 향후 개선 방향을 제시한다.

• Advances in nano research
• /
• v.14 no.5
• /
• pp.443-450
• /
• 2023

Carbon nanotubes (CNTs) have received increased interest in reinforcing research for polymer matrix composites due to their exceptional mechanical characteristics. Its high surface area/volume ratio and aspect ratio enable polymer-based composites to make the most of its features. This study focuses on the experimental tensile testing and fabrication of carbon nanotube reinforced composite (CNTRC) beams, exploring various micromechanical models. By examining the performance of these models alongside experimental results, the research aims to better understand and optimize the mechanical properties of CNTRC materials. Tensile properties of neat epoxy and 0.3%; 0.4% and 0.5% by CNT reinforced laminated single layer (0°/90°) carbon fiber composite beams were investigated. The composite plates were produced in accordance with ASTM D7264 standard. The tensile test was performed in order to see the mechanical properties of the composite beams. The results showed that the optimum amount of CNT was 0.3% based on the tensile capacity. The capacity was significantly reduced when 0.4% CNT was utilized. Moreover, the experimental results are compared with Finite Element Models using ABAQUS. Hashin Failure Criteria was utilized to predict the tensile capacity. Good conformance was observed between experimental and numerical models. More importantly is that Young' Moduli of the specimens is compared with the prediction Halpin-Tsai and Mixture-Rule. Although Halpin-Tsai can accurately predict the Young's Moduli of the specimens, the accuracy of Mixture-Rule was significantly low.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.1232-1235
• /
• 2008

TTCN-3(Testing & Test Control Notation Version 3)은 국제 표준 테스팅 언어이다. TTCN-3는 다양한 통신 프로토콜이나 장치간의 연동성을 검증하기 위한 적합성 시험을 할 수 있고, 프로토콜이나 통신 장치가 표준에 적합하게 구현되었는지를 검증할 수 있다. 본 논문에서는 TTCN-3을 사용하여 종단과 종단간의 연결설정의 확립의 인증성 시험에 대한 프로토콜 장치간의 상호 여동성을 보장하기 위한 적합성 시험을 제안하고, 산호 연동성 시험과 장치에 구현된 프로토콜이 표준 구격에 적합한지를 시험하는 예를 시험한다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.2
• /
• pp.552-562
• /
• 1997

This paper proposes a formal method on confromance testing for INAP(AIN) test sequence generation by optimization technique.In order to implement and prove the dffectiveness of the proposed method,we specify the SRSM of INAP protocol SRF in SDL and generate I/O FSM by using our S/W tool. We generate an opti-mal test sequence by applying our method our method to this reference I/O FSM. We prove experimentally that the length of the generated test sequence by our method is more effective and shorter(i.e 32% improved)than the one geverated by UIO method,and estimate that The test coverage space of our test sequence is larger that of UIO method.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.69-85
• /
• 2003

In this paper, we discuss a validation test for cryptographic algorithms. The cryptographic algorithms decide on the security and the confidence of a security system protecting sensitive information. So. the implementation of cryptographic algorithms is very critical of the system. The validation lest specifies the procedures involved in validating implementations of the cryptographic standards and provides conformance testing for components or procedures of the algorithm. We propose a SEED Validation System(SVS) to verify that the implementation correctly performs the SEED algorithm. The SVS is composed of two types of validation tests, the Known Answer test and the Monte Carlo test. The System generates the testing data for the Known Answer tests and the random data for the Monte Carlo tests. This system can be used to validate and certify the cryptographic product.