• Journal of Korea Society of Digital Industry and Information Management
• /
• 제11권2호
• /
• pp.1-10
• /
• 2015

As programs get more complicated and they are developed by various hands, the possibility that there are program bugs in the code has been increasing. And developers usually run unit tests to find these problems in the code. Besides, the developers are at the pain of getting stability of the code when they have to modify a code very often for clients requirements. In the methodlogy of TDD(Test Driven Development), developers write a unit test code first, and then write a program code for passing the unit test. The unit test must include the boundary condition test the reason why the possibility of occurring the bugs is very high. When failed to pass the test because of the value of a function is incorrect, not existed, out of the range or not matched etc, the program code will return the error code or occur the exception. In the document, the system is designed and implemented in order to insert the generated code automatically or suggest it to the developer, when the boundary condition test is failed. In conclusion, it is possible that the developer will get the code stability by searching the code and checking the code to be omitted automatically through this system.

• Nuclear Engineering and Technology
• /
• 제29권2호
• /
• pp.158-166
• /
• 1997

Integrated performance test of Chemical and Volume Control System was successfully performed in 1994. However, an extensive effort to correct hardware and software problems in the letdown line was required mainly due to the lack of adequate simulation code to predict the test accurately. Although the LTC computer code was used during the YGN 3'||'&'||'4 NSSS design process, the code can not satisfactorily predict the test due to it insufficient letdown line modeling. This study developed a numerical model to simulate the letdown test by modifying the current LTC code, and then verified the model by comparing with the test data. The comparison shows that the modified LTC computer code can predict the transient behavior of letdown system lese very well. Especially, the model was verified to be able to predict the "Stiction (composition of stick and friction)" phenomena which caused instantaneous fluctuations in the letdown backpressure and flowrate. Therefore, it is concluded that the modified LTC computer code with the ability of calculating the "Stiction" phenomena will be very useful for future plant design and test predictions.predictions.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• 제31A권8호
• /
• pp.111-121
• /
• 1994

This paper proposes a memory testable code called MTA(Memory TestAble) code which is based on error correcting code technique for testing functional faults in semiconductor memories. The characteristics of this code are analyzed and compared with those of conventional codes. The developed decoding technique for this code can reduce the decoder circuits up to 70% and obtain two-times faster decoding speed than other codes such as hamming code or Hsiao code. The MTA code is eccectively applicable to parallel testing of semiconductor memories because it has the same information length and parity length. It can detect from single error functional faults to triple error in semiconductor memories.

• Proceedings of the KSR Conference
• /
• 한국철도학회 2002년도 추계학술대회 논문집(II)
• /
• pp.884-891
• /
• 2002

This report is the result performed the structural analysis and the static and fatigue load test of bogie frame for the purpose of designing and verifying the bogie frame which satisfy the load condition required in the UIC code. This investigation is proposed the efficient draft of the design to satisfy the load condition required in the UIC code. And It is performed the structural analysis to evaluate the static strength and the fatigue life of the patient material and the welded part. Also, This is proposed the efficient draft of the test to satisfy the method of the static and fatigue test required in the UC code. And it is carried out the static and the fatigue load test to verify it. We can designed the bogie frame in compliance with UIC 515-4 and 615-4 code.

• Proceedings of the Korean Nuclear Society Conference
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.425-432
• /
• 1996

Integrated performance test of Chemical and Volume Control System (CVCS) was successfully performed in 1994. However, an extensive effort to correct hardware and software problems in the letdown line was required mainly due to the lack of adequate simulation code to predict the test accurately. Although the LTC computer code was used during the YGN 3'||'&'||'4 NSSS design process, the code can not satisfactorily predict the test due to its insufficient letdown line modeling. This study developed a numerical model to simulate the letdown test by modifying the current LTC code, and then verified the model by comparing with the test data. The comparison shows that the modified LTC computer code can predict the transient behavior of letdown system tests very well. Especially, the model was verified to be able to predict the "Stiction" phenomena which caused instantaneous fluctuations in the letdown backpressure and flowrate. Therefore, it is concluded that the modified LTC computer code with the ability of calculating the "Stiction" phenomena wi11 be very useful for future plant desist and test predictions.predictions.

• Nuclear Engineering and Technology
• /
• 제52권9호
• /
• pp.1926-1938
• /
• 2020

We validated the performance of RELAP MOD3.3 code regarding the hybrid SIT with available experimental data. The concept of the hybrid SIT is to connect the pressurizer to SIT to utilize the water inside SIT in the case of SBO or SB-LOCA combined with TLOFW. We investigated how well RELAP5 code predicts the physical phenomena in terms of the equilibrium time, stratification, condensation against Separate Effect Test (SET) data. We also conducted the validation of RELAP5 code against Integrated Effect Test (IET) experimental data produced by the ATLAS facility. We followed conventional approach for code validation of IET data, which are pre-test and post-test calculation. RELAP5 code shows substantial difference with changing number of nodes. The increase of the number of nodes tends to reduce the condensation rate at the interface between liquid and vapor inside the hybrid SIT. The environmental heat loss also contributes to the large discrepancy between the simulation results of RELAP5 and the experimental data.

• Journal of the Korea Society for Simulation
• /
• 제27권1호
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Journal of the Korea Society of Computer and Information
• /
• 제24권4호
• /
• pp.107-112
• /
• 2019

Failure testing is a test that verifies that the system is operating in accordance with failure response requirements. A typical failure test approaches the operating system by identifying and testing system problems caused by unexpected errors during the operational phase. In this paper, we study how to evaluate these Failure at the software development stage. Evaluate the probability of failure due to code changes through the complexity and duplication of the code, and evaluate the probability of failure due to exceptional situations with bugs and test coverage extracted from static analysis. This paper studies the possibility of failure based on the code quality of software development stage.

• Nuclear Engineering and Technology
• /
• 제56권9호
• /
• pp.3826-3834
• /
• 2024

The main purposes of start-up tests in nuclear power plants (NPPs) are to ensure safe and reliable operation, verify system functionality, comply with regulatory requirements, optimize performance, and establish a foundation for ongoing plant operation and maintenance. However, the start-up tests of NPPs also could be used as a main part of the nuclear code validation procedure for several reasons including: realistic simulation, comprehensive evaluation, detection of code limitations, validation of safety margins and confidence in code predictions. The main purpose of the current study is to define and assess the validation procedure based on actual start-up test data. In this regard, the developed RELAP5 model has been validated against the actual data of VVER-1000 plant during a dynamic start-up test. The results of this full-scale validation show a good agreement between the developed RELAP5 model results and actual plant data. Finally, by defining a step by step validation procedure, it has been recommended to use the start-up phase test data as a more robust validation process which allow for full-scale validation of the nuclear code by comparing its predictions with actual plant measurements and also other advantages which have been demonstrated in the current study.

• Nuclear Engineering and Technology
• /
• 제46권5호
• /
• pp.719-724
• /
• 2014

During the development process of a thermal-hydraulic system code, a non-regression test (NRT) must be performed repeatedly in order to prevent software regression. The NRT process, however, is time-consuming and labor-intensive. Thus, automation of this process is an ideal solution. In this study, we have developed a program to support an efficient NRT for the SPACE code and demonstrated its usability. This results in a high degree of efficiency for code development. The program was developed using the Visual Basic for Applications and designed so that it can be easily customized for the NRT of other computer codes.