• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• Annual Conference of KIPS
• /
• 2002.11a
• /
• pp.175-178
• /
• 2002

모바일 인터넷 환경에서 동일한 데이터가 다양한 단말 장치에 산재되어 사용되는 경우 효과적인 사용과 관리를 위해 산재된 데이터가 서로 동기화(synchronization) 즉 일치되어야 한다. SyncML은 모바일 인터넷 환경에서 다양한 플랫폼을 가진 기기 사이의 데이터 동기화를 위해 제시된 표준 프로토콜로서 많은 국 내외 산업체 및 연구기관이 SyncML 규격을 구현한 제품을 선보이고 있다. 이러한 SyncML 구현 제품이 이질적인 플랫폼에 상관없이 상호운용되기 위해서는 SyncML 규격에 대한 규격 준수 시험이 필요하다. 본 논문은 SyncML 규격의 적합성 시험(conformance test)을 위한 시험도구의 설계와 구현에 대하여 논한다.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.3
• /
• pp.17-25
• /
• 2017

In this paper, we compared four analyzers Clang, CppCheck, Compass, and a commercial one from a domestic startup using the NIST's Juliet test suit and STONESOUP that is introduced recently. Tools showed detection efficacy in the order of Clang, CppCheck, the domestic one, and Compass under Juliet tests; and Clang, the domestic one, Compass, and CppCheck under STONESOUP tests. We expect it would be desirable to utilize symbolic execution for vulnerability analysis in the future. On the other hand, the results of tool evaluation also testifies that Juliet and STONESOUP as a benchmark for static analysis tools can reveal differences among tools. Finally, each analyzer has different CWEs that it can detect all given test programs. This result can be used for selection of proper tools with respect to specific CWEs.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1975-1986
• /
• 1997

Recent evolution of communication networks has led toward increasingly a complex, large-scale protocol. Protocol conformance tests therefore, which consider only control flow, have many problems on testing data flow, transition condition, delay and so on. We propose, design, and implement the tool to solve these problems. The tool, which solves nondeterminism, generates test suites from an integrated flow graph and excludes infeasible path with reachable tree. The presented tool reduces the length of UIO sequence and is efficient partially to test the path that error rate is high. Our automatic test suite generator provides basis of protocol testing environment and high production.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2091-2101
• /
• 1998

Interoperability(lOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss dcvclOlJing an interoperabiiity testing(IOPT) method. As is easily gueOisecl from conformance testing and formal verification. state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.6
• /
• pp.91-97
• /
• 2021

A microserver is a type of a computing server, in which two or more CPU nodes are implemented on a separate computing board, and a plurality of computing boards are integrated on a main board. In building a cluster system, the microserver has advantages in several points such as energy efficiency, area occupied, and ease of management compared to the existing method of mounting legacy servers in multiple racks. In addition, since the microserver uses a fast interconnection network between CPU nodes, performance improvement for data transfers is expected. The proposed microserver can mount a total of 16 computing boards with 4 CPU nodes on the main board, and uses Serial-RapidIO (SRIO) as an interconnection network. In order to analyze the performance of the proposed microserver in terms of the interconnection network which is a core performance issue of the microserver, we compare and quantify the performance of commercial microservers. As a result of the test, it showed up to about 7 times higher bandwidth improvement when transmitting data using the interconnection network. In addition, with CloudSuite benchmark programs used in actual cloud computing, maximum 60% reduction in execution time was obtained compared to commercial microservers with similar CPU performance specification.

• The KIPS Transactions:PartD
• /
• v.12D no.2 s.98
• /
• pp.283-288
• /
• 2005

Test case prioritization methods schedule test cases for execution when we can not practically run all test cases for regression testing. We proposed a new prioritization method that is based on historical execution and mr detection data. And we conducted an experiment to compare the proposed method with existing Random and LRU methods using the fault age under the long run environment as criterion. The experiment shows several interesting results. First, our results show that they are complementary. Random method shows good performance for programs that have many error-detectable test cases and HED is more effective for the programs that can be detected by very small amount of test cases. But LRU is more effective for the programs that have relatively medium amount of error detectable test cases. Next, the performance of prioritization method is affected by the size of test suites. Two experiments that have different size of test suites show considerably different fault ages and performance order. And lastly, the $20\%$ of test cases shows considerably good performance compared to the execution result of the full test suite.

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

An approach for testing multi-protocol Implementation Under Test (IUT) with a single test suite has been proposed in[1]. this paper proposes an algorithm called Multi-protocol Test Method (MPTM) for automatic test case generation based on that approach. With the MPTM, a multi-protocol IUT consisting of two protocol layers is modeled as two Finite State Machines (FSMs), and the relationships between the transitions of the two FSMs are defined as a set of transition relationships pre-execution and carried-by. The proposed algorithm is implemented and applied to a simplified TCP/IP and B-ISDN Signaling/SSCOP. MPTM is able to test the multi-protocol IUT even though the interfaces between the protocol layers are not exposed. It results in that the proposed MPTM allows the same test coverage as conventional test methods even with fewer numbers of test cases.

• Proceedings of the KSME Conference
• /
• 2007.05b
• /
• pp.3501-3505
• /
• 2007

As the power plant industry has been changed into competition structure, power generation companies do more with less by increasing capacity and lowering operation costs. In order to achieve this goals, an on-line real-time performance monitoring system has been needed to introduced to fossil power plant. The system represents a suite of related software modules which consist of on-line data, and on-line performance modules. This system can help the plant staff get the most out of their facilities by continuously monitoring deviations in equipment performance and the impact on those deviations on plant power, heat rate and operating cost. This paper shows the comparison of design value with acceptance test and current(measured) value.

• The Journal of Korean Association of Computer Education
• /
• v.6 no.3
• /
• pp.75-85
• /
• 2003

This study develops the System(MetaGene) to create meta-data for learning object based on SCORM including meta-data of Assets. SCO, Contents Aggregation and metadata of Contents Package. API function cocle is embeded in Learning Object for interfacing API adopter in LMS to support SCORM and for tracking on learning process based on data models. Also, the learning objects are packaged the PIF(Packaged Interchange File) to transmit with LMS. MetaGene is verified by $SCORM^{(TM)}$ Conformance TestSuite for meta-data of learning objects, manifest file of Contents Packaging.