• Title/Summary/Keyword: Test-case generation

Search Result 339, Processing Time 0.022 seconds

A Study on Dynamic Test of Safety System Software on Nuclear Power Plant (원자력발전소 안전계통 소프트웨어의 동적시험에 관한 연구)

  • Moon, Chae-Joo;Chang, Young-Hak;Lee, Sun-Sung;Suh, Young
    • Journal of Energy Engineering
    • /
    • v.8 no.2
    • /
    • pp.213-223
    • /
    • 1999
  • In recently, the safety system software of the nuclear power plant has been verified and validated according to ANSI/IEEE-ANS-7-4.3.2-1982 to improve the reliability. This standard requires that safety-related software should be tested in the static and dynamic environments. In case of Inadequate Core Cooling Monitoring System (ICCMS), the static test procedure and related techniques are developed but the dynamic test procedure and related techniques are not developed. Therefore, this paper discusses the undeveloped techniques, and suggests the dynamic test procedure and the program for generation of test input data. The performance of the program was identified using accident analysis report of Ulchin 3&4 Final Safety Analysis Report (FSAR).

  • PDF

Study of State Machine Diagram Robustness Testing using Casual Relation of Events (이벤트 의존성을 이용한 상태 머신 다이어그램의 강건성 테스팅 연구)

  • Lee, Seon-Yeol;Chae, Heung-Seok
    • Journal of KIISE
    • /
    • v.41 no.10
    • /
    • pp.774-784
    • /
    • 2014
  • Studies of fault-injection into state machine diagram have been studied for generating robustness test cases. Conventional studies have, however, tended to inject too many faults into diagrams because they only have considered structural aspects of diagrams. In this paper, we propose a method that aims to reduce the number of injected fault without a decrease in effectivenss of robustness test. A proposed method is demonstrated using a microwave oven sate machine diagram and evaluated using a hash table state machine diagram. The result of the evaluation shows that the number of injected faults is decreased by 43% and the number of test cases is decreased by 63% without a decrease in effectiveness of hash table robustness test.

Selection of coagulant using jar test and analytic hierarchy process: A case study of Mazandaran textile wastewater

  • Asadollahfardi, Gholamreza;Zangooei, Hossein;Motamedi, Vahid;Davoodi, Mostafa
    • Advances in environmental research
    • /
    • v.7 no.1
    • /
    • pp.1-11
    • /
    • 2018
  • Textile factories are one of the industries which its wastewater treatment is a challenging issue, especially in developing countries and a conventional treatment cannot treat all its pollutants properly. Using chemical coagulants is a technique for physical and chemical primary treatment of the wastewater. We applied jar test for selection of suitable coagulant among the five coagulants including alum, calcium hydroxide, ferrous sulfate, ferrous chloride and barium chloride for the effluent of wastewater in Mazandran textile factory located in Mazandran Province, Iran. In addition, jar test, we also used analytic hierarchy process (AHP) method considering criteria which included coagulation cost, sensitivity to pH change, the amount of sludge generation and side effects for coagulation. The results of the jar test indicated that calcium hydroxide was proper among the coagulants which it removed 92.9% total suspended solid (TSS), 70% dye and 30% chemical oxygen demand. The AHP analysis presented that calcium hydroxide is more suitable than other coagulants considering five criteria.

BEHAVIOR OF LIQUID LPG SPRAY INJECTING FROM A SINGLE HOLE NOZZLE

  • PARK K.
    • International Journal of Automotive Technology
    • /
    • v.6 no.3
    • /
    • pp.215-219
    • /
    • 2005
  • Liquefied petroleum gas (LPG) has been used as motor fuel due to its low emissions and low cost. A liquid direct injection system into a cylinder was suggested as a next generation system to maximize a fuel economy as well as a power. This study addresses the analysis of the LPG spray injecting from single hole injector. Two different test conditions are given, which are a fully developed spray case with various injection pressures and a developing spray case with ambient pressure variation. The LPG spray photographs are compared with the sprays of gasoline and diesel fuel at the same conditions, and the spray angles and penetration lengths are also compared, and then the spray behavior is analyzed. The LPG spray photos show that the dispersion characteristic depends very sensitively on the ambient pressure soon after injection. The spray angle is very wide in a low ambient pressure condition until the saturated pressure, but the angle is quickly reduced at the condition over the pressure. However, the down stream of the LPG spray shows much wider dispersion and less penetration than those of gasoline and diesel sprays regardless ambient pressure condition.

A Study on Insulation Property of VPI Type Generator Stator Winding Through the Case Analysis of Insulation Breakdown (절연파괴 사례분석을 통한 진공함침 방식 발전기 고정자권선의 절연특성 연구)

  • Kong, Tae-Sik
    • The Transactions of the Korean Institute of Electrical Engineers P
    • /
    • v.59 no.3
    • /
    • pp.311-316
    • /
    • 2010
  • According to increase of combined cycle power generation, the manufacturing market of gas turbine generator has become more competitive, so there is high pressure on the manufacturer to reduce generator price. Global VPI(vacuum pressure impregnation) method is effective to save the production cost and time for manufacturing stator windings, but it has an abrasion problem by vibration between stator windings and slots. This paper presents the insulation breakdown case, which is for VPI type generator during high voltage insulation tests, and also shows the cause analysis, repair works as well as reliability test. the purpose of this paper is to understand the insulation properties of VPI type generator and to know prevention of insulation weakness.

A Study on University Student's Preference for own House in Future (대학생의 미래주거 선호에 대한 연구)

  • Kwark, Kyoung-Sook;Kim, Ji-Hyun
    • Korean Journal of Human Ecology
    • /
    • v.9 no.3
    • /
    • pp.37-45
    • /
    • 2006
  • The purpose of this study was university student's preference for own house in future according to gender. This was the investigation of which 512 university students in Jeollabukdo province. In this statistical analysis, SPSS 11.5 program was utilized to calculate percentage, mean and standard deviation. Also, these materials were verified by factor analysis, t-test and $x^2$-test. The results of this study were as follows: The university students' future housing environment preferences has been appeared to be higher in the environmental equipment and the natural scenery. In the case of the gender variables was appeared to be higher for female than male students. The future housing area most of the university students wanted the medium city or over, $25{\sim}33\;p'y{\breve{o}}ng$ apartment, 3 bed rooms, 2 bathroom. In case most students have a yard in their future house, they'd like to grow lawn and trees. Also, they wanted to live in a short distance with their future parents-in-law. Therefore, It was desirable that make a plan based on the results of this study future-residing for the new generation.

  • PDF

Application simulations as numerical laboratory for large diameter rockfill materials (대입경 락필재료에 대한 수치시험실 활용해석)

  • Jeon, Je-Sung
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2010.03a
    • /
    • pp.852-855
    • /
    • 2010
  • Numerical simulations for large scale triaxial tests with large diameter rockfill materials are conducted using distinct element method. For generation of compacted assembly with specific grain size distribution and initial material porosity, the clump logic method and expansion of generated particles are adapted. With micro parameters which are chosen by calibration process, discrete particle modelling of triaxial test in case of other confining stress and cyclic loading condition were conducted. Also numerical simulations of fluid injection into particulate materials were conducted to observe cavity initiation and propagation using distinct element method. The fluid scheme solves the continuity and Navior-Stokes equations numerically, then derives pressure and velocity vectors for fixed grid by considering the existence of particles within the fluid cell.

  • PDF

The Vibration Characteristic of Large Main Steam Pipelines in Power Plant (발전소의 대형 주증기배관의 진동 특성)

  • Kim, Yeon-Whan;Lee, Hyun
    • Journal of KSNVE
    • /
    • v.6 no.6
    • /
    • pp.709-715
    • /
    • 1996
  • In recent years, the piping vibration in many Power Plants is being increased by the aged generating facilities due to a long time use. Generally, the pressure fluctuations associated with the flow-induced excitations in this case are broadband in nature. Mainly, the dominant sources of vibration are a vortex-shedding, plane waves and boundary layer turbulence. The peak level of the spectrum is proportional to the dynamic head. A severe disturbance in pipeline results in the generation of intense broadband internal sound waves which can propagate through the piping system. The characteristic frequencies of operating loads of 20%, 57%, 70%, 100% are 4 - 6 Hz and coincide with the results from impact hammering test and FEM analysis. We chose the wire energy absorbing rope restraint as a vibration reduction method after reviewing the various conditions such as site, installing space and economic cost etc. After installation, the vibration level was reduced about 54% in velocity.

  • PDF

An Analysis of the Relationship between Problem Characteristics and Algorithm Performance : A Case Study on 0-1 Knapsack Problems (문제 특성과 알고리듬 수행 능력 간 관계에 관한 분석 : 0-1 Knapsack 문제에 관한 사례 연구)

  • Yang Jae-Hwan;Kim Hyun-Soo
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.31 no.1
    • /
    • pp.55-71
    • /
    • 2006
  • We perform a computational study on 0-1 knapsack problems generated under explicit correlation induction. A total of 2000 100-variable test problems are solved. We use two solution methods: (1) a well known heuristic and (2) a representative branch and bound type algorithm. Two different performance measures are considered: (1) the number of nodes needed to find an optimal solution and (2) the relative error of the heuristic solution. We also examine the effect of different joint probability mass functions (pmfs) for the coefficient values on the performance of the solution procedure.

Record-Playback based Automatic test case generation for GUI test (Record-Playback 기술 기반의 GUI 테스트 케이스 자동 생성)

  • Lee, Jung-Gyuew;Kim, Hyeon-Soo;Kuk, Seun-Ghak;Cho, Dae-Wan
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.06b
    • /
    • pp.96-100
    • /
    • 2007
  • 오늘날 GUI가 소프트웨어의 성공에 중요한 영향을 미침으로써 GUI에 대한 테스트가 요구된다. 반면에 소프트웨어의 GUI 테스트는 많은 노력과 시간이 소비된다. 이러한 자원의 소비를 줄이기 위해 GUI 테스트를 자동으로 수행하는 것이 필요하다. 본 논문에서는 GUI 자동 테스트를 수행하기 위해 극복해야 할 문제와 GUI 자동 테스트에 적용되는 기술에 대해 논하고, Record-Playback 기술을 이용하여 GUI 테스트 케이스 자동 생성 방법을 제시한다.

  • PDF