• 제목/요약/키워드: test data generation

검색결과 790건 처리시간 0.035초

에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 (An Automated Test Data Generator for Debugging Esterel Programs)

  • 윤정한;조민경;서선애;한태숙
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권10호
    • /
    • pp.793-799
    • /
    • 2009
  • 에스테렐은 반응형 시스템 설계에 적합하도록 디자인 된 명령형 동기언어이다. 시스템 개발 시에는 디버깅을 위해 다양한 테스트가 필요하다. 반응형 시스템을 테스트 하려면 일련의 입력을 시간의 흐름에 따라 순서대로 나열하여야 한다. 하지만 원하는 목적에 적합한 테스트 데이터를 생성해 주려면 많은 노력이 필요하며, 이 과정에서 오류가 발생하기도 한다. 따라서 디버깅의 특성상 빠르면서 원하는 목적의 테스트 데이터를 쉽게 표현할 수 있는 도구가 필요하다. 본 연구에서는 디버깅에 도움을 줄 수 있는 테스트 데이터 자동 생성기를 개발하였다. 본 연구는 개발자가 원하는 테스트 데이터를 쉽게 표현할 수 있고, 빠르게 테스트 데이터를 만들어내는 것에 초점을 두었다. 또한 사례 연구를 통해 실제 시스템 개발에 우리의 테스트 데이터 생성기를 적용한 예를 보여준다.

MPEG-2 TS 형태의 테스트 데이터 자동 생성기의 구현 (Implementation of Testdata Generation Tool for MPEG-2 TS)

  • 염선화;최병주;박기웅
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
    • /
    • pp.427-429
    • /
    • 2000
  • 멜티미디어 표준인 MPEG-2 TS 형태의 테스트 데이터를 자동 생성하는 도구인 TDGT(Test Data Generation Tool)를 설계하고 구현하였다. TDGT는 테스터로부터 기본적인 입력사항을 받아들이고 이를 기반으로 테스트 데이터를 자동 생성한 후 결과물로 테스트 데이터 스크립트 파일과 테스트 데이터 시나리오 파일, 테스트 데이터 커버리지 분석 결과를 테스터에게 제공한다. TDGT는 복잡하고 방대한 테스트 데이터를 생성하는데 요구되는 노력, 시간을 상당히 줄여주며 전문적인 지식이 없는 이도 쉽게 테스트 데이터를 생성할 수 있게 한다. 본 논문은 TDGT가 테스트 데이터를 자동 생성하는 구조와 TDGT의 분석을 제시하였으며 이 시스템의 prototype을 기술한다.

  • PDF

Parameter Optimization for Cost Reduction of Microbubble Generation by Electrolysis

  • Lucero, Arpon Jr;Kim, Dong-Seog;Park, Young-Seek
    • 한국환경과학회지
    • /
    • 제26권3호
    • /
    • pp.269-280
    • /
    • 2017
  • To lower the operational cost of microbubble generation by electrolysis, optimization of parameters limiting the process must be carried out for the process to be fully adopted in environmental and industrial settings. In this study, four test electrodes were used namely aluminum, iron, stainless steel, and Dimensionally Sable Anode (DSA). We identified the effects and optimized each operational parameter including NaCl concentration, current density, pH, and electrode distance to reduce the operational cost of microbubble generation. The experimental results showed that was directly related to the rate and cost of microbubble generation. Adding NaCl and narrowing the distance between electrodes caused no substantial changes to the generation rate but greatly decreased the power requirement of the process, thus reducing operational cost. Moreover, comparison among the four electrodes operating under optimum conditions revealed that aluminum was the most efficient electrode in terms of generation rate and operational cost. This study therefore presents significant data on performing costefficient microbubble generation, which can be used in various environmental and industrial applications.

5MW급 발전용 가스터빈 엔진 성능시험 설비 (5MW Class Gas Turbine Engine Test Cell)

  • 남삼식;송주영;김성현;이기훈
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2010년도 제35회 추계학술대회논문집
    • /
    • pp.339-342
    • /
    • 2010
  • 두산중공업(주)은 개발 중인 5MW급 발전용 가스터빈의 작동 특성과 설계 인자들을 검증하기 위한 엔진 시험설비를 구축하였으며, 개발 엔진의 모든 성능 인자들을 안전하고 신뢰성 있게 평가하기 위해서 요구 조건을 충족시킬 수 있도록 엔진 테스트 셀을 설계하였다. 구축된 테스트 셀은 엔진의 시동에서 최대 출력조건까지 엔진의 전체 운전 상태를 효과적으로 재현할 수 있기 때문에 다양한 조건에서의 엔진시험 결과를 활용하여 지속적인 설계 개선을 위한 기반시설로 활용 가능하다. 더욱이 개발 엔진의 파생형 모델 개발과 상업모델 출고시험에 활용함으로써 엔진 제작사로서의 개발 경쟁력 제고에 기여할 수 있을 것으로 기대된다.

  • PDF

식품수요(食品需要)의 연령계층별(年齡階層別) 특성분석(特性分析) (An Analysis on the Age Specific Characteristics in Korean Diet)

  • 이정환;조덕래
    • 한국식생활문화학회지
    • /
    • 제1권3호
    • /
    • pp.231-247
    • /
    • 1986
  • Age specific characteristics in Korean diet and their changes were analyzed with the demand model including the number of family members by age group as independent vasiables Urban household budget data, 773 household data in 1977 and 947 household data in 1983, was applied to the demand model. A series of F-test was carried out to set up the age groups by food item. The main results can be summarized as follows; 1. Food consumption patterns are remarkably different between 0-13 years old age generation and over 40 years old generation. The 0-13 years old generation reveals higher preference for milk, wheat product, fruit and milk and lower preference for rice and vegetable than any other age generation. This characteristics of the childhood diet has been formed In the generation born after 1970's and thus will be reserved as their generational characteristics. On the other hand, over 40 years old age group prefers rice and fish to fruit, milk and wheat product. Therefore we can conclude that over 40 years old age group maintains the traditional Korean diet pattern. 2. The preference for fish is low. in 20-30 years old age group than in any other age group and wheat product is Preferred highest in 6-13 years old age group of all age groups. Meanwhile the most remarkable change In food consumption pattern is shown in meats and vegetables. Namely in 30 40 years old age group the preference for meat has increased substantially and that vegetable has decreased to a great extent. 3. The declining per capita consumption of rice spreads like a wave to higher age. groups, but over 40 years old age group bas played an important role in reducing the decreasing rate of rice consumption. In order to restrain the declining rice consumption a special integrated food policy is required to induce rice consumption in less 30 years old generation.

  • PDF

전자연동장치의 연동검사시스템 개발 (A Study on Development of Interlocking Inspection System for Electronic Interlocking System)

  • 박영수;이기서
    • 한국철도학회논문집
    • /
    • 제5권2호
    • /
    • pp.104-111
    • /
    • 2002
  • The purpose of interlocking system was to prevent the route for a train being set up and its protecting signal cleared if there was already another, conflicting route set up and the protecting signal for that route cleared. This paper proposed Interlocking Inspection System(IIS) consisting of interlocking simulator and field simulator to operate interlocking test of computer based Electronic Interlocking System(EIS) in this paper. Interlocking simulator consists of Design Edit System(DES), Logical Database Management Tool(LDMT) and real-time confirming system, field simulator is a equipment to simulate a control object of EIS and constitutes configuration operated in 19 inch standard rack. As a result of test to prove capacity of this IIS, the efficiency was shown as excellent. Therefore by using inspection system, we obtain every advantages. It has the functions for test data generation and automatic test execution based on personal computer. Time and cost for test work can be reduced more efficiently by using this developed inspection system

자동 대소문자 식별을 이용한 영어 음성인식 결과의 가독성 향상 (Readability Enhancement of English Speech Recognition Output Using Automatic Capitalisation Classification)

  • 김지환
    • 대한음성학회지:말소리
    • /
    • 제61호
    • /
    • pp.101-111
    • /
    • 2007
  • A modified speech recogniser have been proposed for automatic capitalisation generation to improve the readability of English speech recognition output. In this modified speech recogniser, every word in its vocabulary is duplicated: once in a de-caplitalised form and again in the capitalised forms. In addition its language model is re-trained on mixed case texts. In order to evaluate the performance of the proposed system, experiments of automatic capitalisation generation were performed for 3 hours of Broadcast News(BN) test data using the modified HTK BN transcription system. The proposed system produced an F-measure of 0.7317 for automatic capitalisation generation with an SER of 48.55, a precision of 0.7736 and a recall of 0.6942.

  • PDF

프리틴세대의 라이프스타일과 역할모델에 따른 패션상품 구매행동 (The Purchasing Behavior of Fashion Goods According to Life Style and Role Model of Preteen Generation)

  • 권유진;유태순
    • 한국의류산업학회지
    • /
    • 제7권3호
    • /
    • pp.291-300
    • /
    • 2005
  • The purpose of this study is to investigate, analyze the purchasing behavior of fashion goods according to life style and role model of preteen generation, and provide manager or marketing planner for the reference data so that they can understand preteen generation and make proper strategy efficiently. So called, preteen market focusing on 1014 generation (from ten to fourteen years old) is highlighted. This generation created between the year 1989 to 1993 after Seoul Olympic monopolize parent's love in abundant economic environment and rise to the core of consumption subject. Products aiming at this preteen generation continuously though consumption mind was shrunk greatly due to recession. Only 2~3 years before preteen market was regarded as grey zone which doesn't belong to not only children (between six and nine years old) but also teenagers (between fifteen to eighteen years old). But in recent day their purchasing powers have increased rapidly and age group is divided on details, so that preteen market has become a niche market. Subjects were 333 persons consisting of students in the 4th~6th grade of primary school and the 1st~2nd grade of middle school in Daegu city. Measuring instruments are as follows: 5questions to differentiate preteen generation, 22 questions to measure life style, 17questions (which have six sub-factors such as purchase motive, factor of product selection, utilization of informant, purchase time, purchase place, and purchase method) to measure the purchase behavior of fashion goods measurement, and 16 questions (which have four sub-factors such as parent, entertainer & sports stars, brothers and sisters, friends) to measure model of role. Statistical data were processed by SPSS 10.0 programs. Frequencies, Factor analysis, Cluster analysis, ANOVA, Cross analysis, Multiplex regression analysis, and Duncan's multiple range test were carried out.

도심 주행 조건에 따른 차량 탑재 태양광모듈의 발전특성 분석 (Analysis on Power Generation Characteristics of a Vehicle Rooftop Photovoltaic Module with Urban Driving Conditions)

  • 전선우;정승훈;배성우;최재영;신동현
    • 전력전자학회논문지
    • /
    • 제25권2호
    • /
    • pp.79-86
    • /
    • 2020
  • This study examines the power generation characteristics of a vehicle rooftop photovoltaic module with urban driving conditions. Actual test data with an illuminometer and a thermometer were used to analyze the power generation characteristics of the vehicle rooftop photovoltaic module. In addition, the power generation characteristics were analyzed in terms of urban driving conditions, irradiance, ambient temperature, and photovoltaic module temperature. This study also analyzes the power generation characteristics of the vehicle rooftop photovoltaic module with urban driving conditions through a wavelet transform filtering method. The power generation characteristics of the vehicle rooftop photovoltaic module with urban driving conditions depend on the change in irradiance rather than that in photovoltaic module temperature.

Necessity of the Slow City Management and Distributional Values by Generations

  • Yooncheong CHO
    • 유통과학연구
    • /
    • 제21권7호
    • /
    • pp.21-31
    • /
    • 2023
  • Purpose: The purpose of this study is to investigate how to perceive the role of the slow city and provide policy and managerial implications on the necessity of the slow city management and distributional values based on perspectives of millennials and generation Z. This study examined i) how do millennials and generation Z perceive economic, environment, cultural, community, and quality of life factors on attitude toward the slow city? ii) how does attitude affect overall satisfaction and intention to recommend the slow city to other cities' residents? iii) how do millennials perspectives on proposed factors differ from generation Z? Research design, data and methodology: This study conducted an online survey and applied t-test, factor, ANOVA, and regression analysis. Results: This study found that effects of economic and quality of life factors on attitude toward the slow city showed significance in cases of millennials and generation Z, while effects of environment factor on overall attitude showed significance in the case of generation Z. Conclusions: Governments should foster how millennials and generation Z understand the meanings of the slow city to form a better attitude in a society and put efforts to build a better image and management of the slow city.