• Journal of KIISE:Software and Applications
• /
• v.37 no.10
• /
• pp.768-772
• /
• 2010

Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST aims at exploring all possible execution paths. In case of testing a specific branch or block, thus, it can be ineffective. This paper suggests a goal-oriented concolic testing that generates test data to execute a given branch or block.

• Journal of the Semiconductor & Display Technology
• /
• v.20 no.3
• /
• pp.146-151
• /
• 2021

We introduce an arbitrary waveform generation method and its H/W implementation case based on Rademacher and Walsh function. According to the orthogonal and periodic features of Rademacher and Walsh function, simple calculations can generate arbitrary waves with affordable logics. We implemented an FPGA-based AWS using above two functions, and verified. HDL simulation shows the proposed idea can draw desired analog test waveforms very fast, and its H/W size is promising to Built-Out Self-Test(BOST) logics for AI ICs.

• Proceedings of the SAREK Conference
• /
• 2008.06a
• /
• pp.1172-1177
• /
• 2008

Diverging channel from gas burner exit to the inlet section of Heat Recovery Steam Generator (HRSG) has been re-designed for 1 MW steam supply and power generation system. Three different test geometries have been chosen for the numerical simulation. The existing design for 300 kW HRSG system (CASE B) has been improved by geometry and position changes of inlet guide vanes along with gas velocity entrance angle at the diverging channel inlet (CASE C). Both cases has been compared with the case where hot combustion gas is directly injected without any guide vanes (CASE A). Improved design shows overall uniform velocity and temperature distribution compared to existing design.

• KIEE International Transactions on Power Engineering
• /
• v.4A no.2
• /
• pp.100-105
• /
• 2004

Installed capacity markets in the northeast of the United States ensure that adequate generation exists to satisfy regional loss of load probability (LOLP) criterion. LOLP studies are conducted to determine the amount of capacity that is needed, but they do not consider several factors that substantially affect the calculated distribution of available capacity. These studies do not account for the fact that generation availability increases during periods of high demand and therefore prices, common-cause failures that result in multiple generation units being unavailable at the same time, and the negative correlation between load and available capacity due to temperature and humidity. A categorization of incidents in an existing bulk power reliability database is proposed to analyze the existence and frequency of independent failures and those associated with resource dynamics. Findings are augmented with other empirical findings. Monte Carlo methods are proposed to model these resource dynamics. Using the IEEE Reliability Test System as a single-bus case study, the LOLP results change substantially when these factors are considered. Better data collection is necessary to support the more comprehensive modeling of resource adequacy that is proposed. In addition, a parallel processing method is used to offset the increase in computational times required to model these dynamics.

• The Journal of Asian Finance, Economics and Business
• /
• v.8 no.2
• /
• pp.1071-1078
• /
• 2021

The purpose of this study is to investigate the relationship among the components of brand equity and to examine the effects of these components on the overall customer-based brand equity from the perspective of the Generation Z. This study is applied in the case of Borobudur World Heritage Destination, which is in Indonesia. A survey questionnaire has been collected through purposive sampling from 167 Generation Z who have visited Borobudur World Heritage Destination. The research hypotheses were supported by the empirical test using a Structural Equation Model with AMOS. The result concludes that destination brand awareness has significant, positive effects on destination brand image and perception of destination quality; destination brand image has positive influences on perception of destination quality and destination brand loyalty; perception of destination quality has significant, positive impacts on destination brand loyalty. Except for destination brand image and destination brand awareness, the perception of destination quality and destination brand loyalty have positive and direct impacts on overall destination brand equity. In sum, overall customer-based brand equity of a world heritage destination in the context of a developing economy is directly influenced by only two components of brand equity, namely, the perception of destination quality and destination brand loyalty.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.1015-1025
• /
• 2016

Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.12
• /
• pp.1035-1042
• /
• 2016

By using commercial flight simulation game engine, X-Plane, we have studied QTG(Qualification Test Guide) generation that can satisfy FTD level 5. Flight model is SR-20 of Cirrus. In list of QTG, There are some items to measure control forces. therefore, we have installed CLS(Control Loading System) to flight control devices in order to make it possible to measure control forces. We made Autopilot function externally to make flight model in trim conditions because X-Plane don't provide internal trim routine function. In addition to develop an algorithm, it can automatically perform the test. To avoid the inconvenience to control as it was to be carried out in same conditions. In case of FTD level 5, it is possible to use alternative data sources not only real flight data. By using these alternative data sources, all test results satisfy a scope given by CFR Part 60.

• Journal of the Korean Society for Precision Engineering
• /
• v.28 no.6
• /
• pp.724-731
• /
• 2011

Dew generation on an outer surface is considered as an important issue to be settled in the field of home appliances. In the case of a refrigerator that is subject to the dew generation problem on the surface of an outer-door of refrigeration thread, and so as to solve this problem, the electric heater is generally used for drying the dew. However, the heater inevitably requires electrical power consumption that is one of critical issues on the refrigerator. In this study, to prevent dew generation without the heater, a method of using induced heat from room temperature was proposed. In edge sides of a door, high conductive plates are installed and received the heat from outside that is relatively high temperature, and the heat is transferred onto dew generation region. Using prototypes, performance test was conducted under a certain temperature and humidity condition. The experimental results show that the surface temperature on the dew generation region was increased about $0.3{\sim}2.5^{\circ}C$ without use of any heater.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.205-207
• /
• 2012

본 논문은 Use Case 기반 개발에서 요구사항부터 테스트 케이스를 자동 추출하는 메커니즘을 제안 하고자 한다. 제안한 메커니즘은 기존의 테스트케이스 생성 메커니즘을 Use Case 메커니즘과 접목한 것이다. 그리고 그 기반으로 자동 도구 구현을 통해 모든 가능한 테스트 케이스 추출하는데 있다. 이는 최소의 테스트 케이스로 100%의 기능적인 요구사항 커버리지 만족시킨다는 Gary 방법을 이용하고자 함이다. 이 도구의 단계는 확장된 UML 다이어그램으로부터 원인-결과 다이어그램을 전환 한 후, 결정 테이블화한다. 마지막 단계는 이를 통하여 테스트케이스가 자동적으로 발생 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.106-108
• /
• 2002

신뢰성있는 소프트웨어의 개발을 위해 테스트의 중요성은 매우 크다. 특히, 최근에 점진적이고 반복적인 소프트웨어 개발 방법론이 각광을 받으면서 소프트웨어의 잦은 변경에 따른 회귀 테스트의 중요성이 점점 커지고 있다. 이에 따라 단위 데스트의 자동화에 대한 연구가 활발히 진행되고 있다. JUnit은 자바 클래스의 단위 레벨 테스팅을 도와 주는 테스트 지원 프레임워크이다. 또한, JTestCase는 테스트 데이터와 테스트 코드를 분리함으로써, 데이터 중심 테스팅(data-driven testing)을 지원하기 위해 개발된 JUnit 확장 프레임워크이다. 본 논문에서는, 이 두 개의 테스트 프레임워크와 자바 리플렉션 API를 이용하여, 하나의 클래스 파일을 읽어 들여 XML 형태의 테스트 데이터 파일과 테스트 드라이버 코드를 자동생성하는 도구를 제안한다. 그리고, 구체적인 예를 통해 본 논문에서 제안하는 도구의 유용성을 보여준다. 본 논문의 데스트 도구는 회귀 단위 테스트에 필요한 노력을 줄여주고, 자바 클래스 단위 테스트를 지원하는 도구 개발의 기반 기술을 제공하며, 궁극적으로 소프트웨어 개발의 생산성을 향상시켜 준다.