• Information and Communications Magazine
• /
• v.12 no.9
• /
• pp.153-159
• /
• 1995

본 논문은 대규모 교환기의 연구 개발에 있어서 임의의 연구 개발 단계마다 발생되는 시스템 시험과 관련하여 보다 효율적인 시스템 시험이 될 수 있도록 시험 항목 선정 방법을 체계화한 것으로, 일반적인 시험 항목 선정 방법을 Top Down 방식과 Bottom Up 방식의 두 가지 형태로 분류하여 각각의 장단점을 제시하였으며, 시험 항목의 일관성 및 객관성을 위해 고려해야 될 내용과 시험 항목의 번호 부여 방법 및 항목명 작성 방법, 시험 절차 크기 결정 등을 여러 가지 모형으로 체계화하여 그 중에서 가장 효율적인 방법을 제안하였다. 이러한 방법은 향후 교환기뿐만 아니라, 하드웨어 및 소프트웨어로 이루어지는 모든 시스템의 시험시 활용될 수 있을 것이다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1033-1034
• /
• 2011

공작기계에 유압동력을 공급하는 유압동력발생장치의 신뢰성은 공작기계 전체의 신뢰성과 밀접한 관계를 가진다. 전기모터에 의해 유량을 직접제어하는 유압펌프의 시제품에 대한 신뢰성을 평가하기 위해서 성능시험, 내환경시험, 그리고 수명내구시험을 실시할 필요가 있다. 본 연구에서는 2단계 품질기능 전개를 통해 전기모터에 의한 직접유량 제어방식 유압펌프의 신뢰성평가 시험항목을 결정하였다. 시험항목에는 전기모터에 대한 항목, 유압펌프에 대한 항목, 하우징 및 냉각시스템에 대한 항목이 포함되어 있다. 신뢰성평가 시험 항목 중, 가장 큰 비중을 차지하는 수명내구시험에 대해 무고장수명시험을 산출하고, 시험소요시간 단축을 위한 가속모델을 제안하고, 실제 구동 조건을 적용하여 가속수명시험시간을 산출하였다.

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

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.871-874
• /
• 2003

본 논문은 LDAP 클라이언트와 서버사이에서의 상호운용성 시험을 위한 시험도구 구현에 대한 것이다. 여러 벤더에 의해 구현된 LDAP 제품들을 업무에 적응하기 위해서는 상호간의 접속 운용이 가능한지를 시험하기 위한 것으로 표준적합성 시험과 함께 상호운용성 시험이 선행 되어야 한다. 이러한 시험을 위한 시험도구로 이미 구현된 것이 있으나, 이들은 OS 에 따른 설치 시 제약조건이 많으며, 시험 실행방법의 어려움과, 시험 시 시험항목 및 LDAP 서버에 저장된 데이터가 한정되어 불편한 점이 있다. 이를 보완하기 위해 BLITS를 기반으로 한 OS의 제약이 적고, 사용자가 시험 항목을 수정 가능한 시험도구를 구현하였다. 구현한 시험도구의 타당성 검증을 위해 두 개의 LDAP 서버를 대상으로 하여 실제 상호운용성 시험을 수행 하였다. 시험 결과 203.241.249.185 의 주소를 가지는 서버는 선정된 시험항목과 사용자가 정의한 시험에 대해 모두 정상적인 시험결과를 출력하였으며 www.openldap.com 주소를 가지는 서버는 관리자 권한이 필요치 않은 항목에 대해서는 정상적인 시험결과를 출력하여 구현한 시험도구가 정상적으로 동작함을 확인하였다.

• Journal of KIISE:Software and Applications
• /
• v.41 no.7
• /
• pp.469-480
• /
• 2014

Software Product Line (SPL) is a software development paradigm that guarantees high productivity, reduced cost, and shorter time-to-market by systematically planning and reusing commonality and variability. In order to maximize the benefits of SPL engineering, testing should be integrated into the SPL engineering lifecycle processes that consist of domain engineering and application engineering and should be performed with as little test efforts as possible. This paper proposes a systematic software product line test cases derivation method using combinatorial test design. By applying combinatorial test design to product line test cases derivation and exploiting commonality between products at the same time, the number of generated test cases is dramatically reduced with the result that they can be effectively reused by the products of the given product line. Case studies conducted in this paper show the efficacy of our method compared with other methods that use only commonality or combinatorial design or neither of them in terms of the number of derived test cases.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.5B
• /
• pp.247-252
• /
• 2005

The testing tools implemented up to now for the LDAP(Light-weight Directory Access Protocol) interoperability tests are not easy to modify or add new test items since their source codes are not open. The object-oriented approach, therefore, is required to implement such a testing tool which can be easily modified or add new test items. Thus we designed the architecture for the testing tool applying the object-oriented approach. Java language, appropriate for the object-oriented approach, was used to implement the testing tool. The newly implemented testing tool can modify partly to adapt to the already stored data in the test suite information even during tests. Five LDAP servers can be tested simultaneously with the same configuration setup. Actual testing for the two LDAP servers validates the usefulness of the designed architecture with the proper working of the implemented testing tool according to the architecture.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.8
• /
• pp.1823-1832
• /
• 1997

In this ppaer, fault coverage analysis of a conformance test case for communication protocols, specified as a deterministic finite state machine(DFSM) is presented. The fault coverage analysis of a test case is defined by measuring the extent of the faults detected using a generated test case. The method that evaluates fault coverage analysis for a test case, has been researched by arithmetic analysis and simulation. In this paper, we designed and implemented a simulator for fault coverage analysis of a communication protocol teat case. With this result for Inres protocol, output fault and state merge and split fault have a high fault coverage of 100%. This simulator can be widely used with new fault coverage analysis tools by applying it to various protocols.

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

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.10 no.4
• /
• pp.325-332
• /
• 2017

In this paper, a survey of test sequence generation methods for testing the conformance of a protocol implementation to its specification is presented. The best known methods proposed in the literature are called transition tour, distinguishing sequence, characterizing sequence, and unique input/output sequence. Also, several variants of the above methods are introduced. Applications of these methods to the finite state machine model are discussed. Then, comparative analysis of the methods is made in terms of test sequence length. Finally, conclusions are given as follows. The T-method produces the shortest test sequence, but it has the worst fault coverage. The W-method tends to produce excessively long test sequences even though its fault coverage is complete. The problem with the DS-method is that a distinguishing sequence may not exist. The UIO-method is more widely applicable, but it does not provide the same fault coverage as the DS-method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.2
• /
• pp.241-249
• /
• 1997

In this paper, a new technique is proposed for generating a minimum-length synchronizable test sequence that can be applied in the distributed test architecture where both external synchtonization and input/output operation costs are taken into consideration. the method defines a set of transformation rules that constructs a duplex digraph from a given finite state machine representation of a protocol specification rules that constructs a duplex digraph from a given finite state machine representation of a protocol specificatio such that a rural chinese postman tour of the duplex digraph can be used to generate a minimum-length synchronizable test sequence using synchronizable distinguishing sequences as the state identification sequence for each state of the given finite state machine. The method provides an elegant solution to the synchronization problem that arises during the application of a predetermined test sequence in some protocol test architectures that utilize remote testers.