• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.2
• /
• pp.231-242
• /
• 2013

Recently, automated software testing methods such as fuzzing have been researched to find software vulnerabilities. The purpose of fuzzing is to disclose software vulnerabilities by providing a software with malformed data. In order to increase the probability of vulnerability discovery by fuzzing, we must solve the test suite reduction problem because the probability depends on the test case quality. In this paper, we propose a new method to solve the test suite reduction problem which is suitable for the long test case such as file. First, we suggested the length of test case as a measure in addition to old measures such as coverage and redundancy. Next we designed a test suite reduction algorithm using the new measure. In the experimental results, the proposed algorithm showed better performance in the size and length reduction ratio of the test suite than previous studies. Finally, results from an empirical study suggested the viability of our proposed measure and algorithm for file fuzzing.

• Journal of Information Processing Systems
• /
• v.6 no.2
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• The KIPS Transactions:PartA
• /
• v.16A no.4
• /
• pp.245-254
• /
• 2009

With the increasing adoption of embedded processors, the need of developing compilers for the embedded processors with timely manner is also growing. Retargeting has been adopted as a viable approach to constructing new compilers by modifying the back-end of an existing compiler. This paper proposes a test suite generation system for testing retargetable C compilers. The proposed system generates the test suite using the grammar coverage concept. Generally, the size of the test suite satisfying the grammar coverage of the source language is very large. Hence, the proposed system also provides the facility to reduce the size of the test suite. According to the experimental result, the reduced test suite can detect 75% of the compiler faults detected by the original test suite though the size of the reduced test suite is only 10% of that of the original test suite in average. This result indicates that the reduction technique proposed in this paper can be effectively used in the prior phase of the development procedure of the embedded compilers.

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

• Journal of the Korean Society for Geothermal and Hydrothermal Energy
• /
• v.16 no.2
• /
• pp.7-12
• /
• 2020

The battery of an electric vehicle is a key part of the energy supply to operate the vehicles. There are many factors affecting battery life such as charging method, discharge rate, and ambient temperature those are requires systematic monitoring and management. To solve the issues like environmental problems and fuel consumption reduction the battery needs more performance improvement. In this study, it was analyzed the thermal characteristics and securing battery stability for electric vehicle battery cooling system. The simulation test was operated using GT-suite software with several conditions like cooling capacity 1, 2 and 4 kW, cooling flow rate 5, 10, 20 and 30 LPM, and battery initial temperatures 40, 35, and 30℃ at the temperature of ambient 25℃. The results shown that the case of cooling flow rate at 20 LPM was most efficient among all above conditions.

• International Journal of High-Rise Buildings
• /
• v.7 no.4
• /
• pp.299-311
• /
• 2018

As engineered timber such as Glulam is seeing increasing use in tall timber buildings, building codes are adapting to allow for this. In order for this material to be used confidently and safely in one of these applications, there is a need to understand the effects that fire can have on an engineered timber structural member. The post-fire resilience aspect of glulam is studied herein. Two sets of experiments are performed to consider the validity of zero strength guidance with respect to short duration fire exposure on thin glulam members. Small scale samples were heated in a cone calorimeter to different fire severities. These samples illustrated significant strength loss but high variability despite controlled quantification of char layers. Large scale samples were heated locally using a controlled fuel fire in shear and moment locations along the length of the beam respectively. Additionally, reduced cross section samples were created by mechanically carving a way an area of cross section equal to the area lost to char on the heated beams. All of the samples were then loaded to failure in four-point (laterally restrained) bending tests. The beams that have been burnt in the shear region were observed as having a reduction in strength of up to 34.5% from the control beams. These test samples displayed relatively little variability, apart from beams that displayed material defects. The suite of testing indicated that zero strength guidance may be under conservative and may require increasing from 7 mm up to as much as 23 mm.

• Restorative Dentistry and Endodontics
• /
• v.34 no.3
• /
• pp.177-183
• /
• 2009

The aim of this study was to evaluate the marginal and internal gaps in CEREC3 CAD/CAM inlays of three different preparation designs. CEREC3 Inlays of three different preparation designs (n=10) were fabricated according to Group I-conventional functional cusp capping/shoulder preparation, Group II-horizontal reduction of cusps and Group III-complete reduction of cusps/shoulder preparation. After cementation of inlays. the bucco-lingual cross section was performed through the center of tooth. Cross section images of 20 magnifications were obtained through the stereomicroscope. The gaps were measured using the Leica application suite software at each reference point. Statistical analysis was performed using one-way ANOVA and Tukey's test (${\alpha}<0.05$). The marginal gaps ranged from 80.0 to $97.8{\mu}m$ for Group I, 42.0 to $194.8{\mu}m$ for Group II, 51.0 to $80.2{\mu}m$ for Group III. The internal gaps ranged from 90.5 to $304.1{\mu}m$ for Group I, 80.0 to $274.8{\mu}m$ for Group II, 79.7 to $296.7{\mu}m$ for Group III. The gaps of each group were the smallest on the margin and the largest on the horizontal wall. For the CEREC3 CAD/CAM inlays, the simplified designs (groups II and III) did not demonstrate superior results compared to the traditional cusp capping design (group I).