• 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 생성 알고리즘 구현을 통해 완전 시험 스위트 생성도구를 개발하고, 프로토콜 검정기와 연계하여 통합된 환경에서 사용할 수 있도록 개발한다.

• The Journal of the Korea Contents Association
• /
• v.10 no.6
• /
• pp.144-155
• /
• 2010

In recent years, there has been a rapid and wide spread of robot system in our lives and with the ever increasing the requirement of user for robot functionality, the software component is increasingly sophisticated and complicated. Accordingly it is inevitable to employ a standardized software platform. The OPRoS is open standard software platform based on component for robot system. When the software components were developed, it has got to validate the conformity of robot software components which comply with the OPRoS standard specification. In this paper, we deal with the design and implementation of the structural conformance test suite to verify and validate the conformance of components to be developed by user. As the results of some experiments, we could verify it from this test suite whether the components satisfied standard requirement or not.

• Nuclear Engineering and Technology
• /
• v.44 no.5
• /
• pp.551-560
• /
• 2012

The Wolsong-1 (W-1) Phase-B pre-simulations were carried out in preparation for tests to be conducted for the restart of the reactor after a major refurbishment project that included replacement of the pressure tube. These pre-simulations for Wolsong-1 Phase-B differ from those in the past that were performed for the Wolsong-1,2,3,4 tests in that these tests use the WIMS/DRAGON/RFSP-IST code suite for verification of the tests and gadolinium instead of the traditional PPV/MULTICELL/RFSP code system and boron as poison in the moderator system. The use of gadolinium is deemed not to have domestically accumulated experience gained from the previous Phase-B tests. Thus, it is appropriate to conduct a study in order to gain a correct understanding and interpretation of potential differences in test results stemming from using gadolinium rather than boron. Although the calibration of the reactivity device will not be noticeably different using boron and gadolinium at a constant moderator temperature, the temperature dependency of the neutronic behavior due to the presence of gadolinium in the moderator system might be pronounced. The results of the pre-simulations using gadolinium revealed that the moderator temperature reactivity coefficients indeed showed significant differences in comparison with those with boron. In order to secure the validity of the analysis results, the newly acquired WIMS/DRAGON/RFSP-IST code suite was verified against the W-2,3,4 Phase-B test results. The results of the new code suite verifications revealed some overall improvements in accuracy; justification of the use of the code can be claimed for the validation of the W-1 Phase-B test results.

• Journal of Aerospace System Engineering
• /
• v.16 no.6
• /
• pp.45-53
• /
• 2022

The avionics industry has recently adopted an open architecture to increase software portability and reduce the development schedule and cost associated with changing hardware equipment. This paper presents a data modeling method compliant with FACE, a widely used open avionics architecture. A FACE data model is designed and implemented to output data from VOR/ILS avionics equipment. A FACE Conformance Test Suite (CTS) program is utilised to verify that the data model meets FACE standards. The proposed data modeling method is expected to improve the development schedule and cost associated with modifying communication methods and ICDs (Interface Control Documents).

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.388-390
• /
• 2005

최근 소프트웨어 가 점 점 복잡해 짐 에 따라 다양한 상황에 대한 테스트의 중요도도 함께 증가하지만, 다양한 상황을 모두 고려하여 테스트하는 것은 많은 시간과 비용을 요구한다. 본 논문에서는 이러한 복잡한 시스템의 테스트를 위해 Orthogonal Array와 Equivalence Class 기법을 이용하여 test suite의 중복성을 낮추는 효율적인 test set을 생성하는 기법을 제안한다. 이렇게 제안된 기법을 OMA DRM(Digital Rights Management) System에 적용한 사례를 통해 기법의 우수성을 보인다.

• Journal of Korean Society of Archives and Records Management
• /
• v.21 no.3
• /
• pp.99-118
• /
• 2021

As the importance of data grows because of the advent of the next industrial revolution, foreign countries are pushing for long-term data preservation technology research. On the other hand, in Korea, administrative information data sets have been legislated as records management areas without specific long-term preservation measures. As a response, this study conducted basic, cross-validation tests on the Software Independent Archiving of Relational Database (SIARD), which was proposed as an administrative information data set preservation format in several prior works. First, the underlying verification test focuses on deriving the data, structure, and functionality of the data set that SIARD can preserve. The second cross-validation test aimed at verifying the interoperability of SIARD independent of the DBMS class. In addition, two verification tests have confirmed the SIARD feature delivery range. Consequently, the differences between the feature types specified in the SIARD 2.0 standard and those provided by the actual SIARD Suite have been derived. Based on verification test results, we are proposing a development plan to broaden SIARD functionality and set a direction to efficiently enhance SIARD for local situations.

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.297-308
• /
• 2001

In this paper, we design, validate and implement WTP(Wireless Transaction Protocol) using SDT(SDL Design Tool). We do modeling WTP protocol by SDL(Specification and Description Language), design and implement the environment function for the interface between the SDL system and the UDP platform and design APIs(Application Programming Interface). And we do conformance testing for WTP protocol software using ITEX(Interactive TTCN Editor and eXecutor). We write ATS(Abstract Test Suite) by TTCN(Tree and Tabular Combined Notation) and make ETS(Executable Test Suite) by the TTCN compiler supplied by ITEX.

• Journal of computational fluids engineering
• /
• v.18 no.1
• /
• pp.83-90
• /
• 2013

OpenMP is becoming more and more useful as a simple parallel processing paradigm on SMP (Shared Memory Multi-Processors) computing environment with the development of multi-core processors. However, very few data is available publically regarding the OpenMP performance in CFD (Computational Fluid Dynamics). In the present study a CFD test suite is prepared for the performance evaluation of OpenMP on various multi-core systems. The test suite is composed of two-dimensional numerical simulations for inviscid/viscous and reacting/non-reacting flows using three different levels of grid systems. One to five test runs were carried out on various systems from dual-core dual threads to 16-core 32-threads systems by changing the number of threads engaged for each test up to 80. The results exhibit some interesting results and the lessons learned from the tests would be quite helpful for the further use of OpenMP for CFD studies using multi-core processor systems.

• Journal of Information Processing Systems
• /
• v.6 no.2
• /
• pp.235-252
• /
• 2010

Regression testing is a very costly process performed primarily as a software maintenance activity. It is the process of retesting the modified parts of the software and ensuring that no new errors have been introduced into previously tested source code due to these modifications. A regression test selection technique selects an appropriate number of test cases from a test suite that might expose a fault in the modified program. In this paper, we propose both a regression test selection and prioritization technique. We implemented our regression test selection technique and demonstrated in two case studies that our technique is effective regarding selecting and prioritizing test cases. The results show that our technique may significantly reduce the number of test cases and thus the cost and resources for performing regression testing on modified software.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.391-393
• /
• 2005

DMS(Data Management Server)시스템은 DVM(Digital Variable Multi Air conditioning system) 관리, 제어, 모니터링을 수행하는 시스템으로 OSGi Service Platform을 미들웨어로 채택하고 있다. 본 논문에서는 OSGi Alliance에서 제공하는 Test Harness와 Test Suite을 기반으로 본 연구진이 개발한 OSGi Automated Test Toolkit인 MIRACLE을 이용한 DMS시스템 테스트 사례 연구에 관해 기술한다. 본 논문을 통해, MIRACLE을 이용한 임베디드 시스템에서의 OSGi Service Platform의 테스트 자동화에 대해 기여 할 수 있도록 한다.