• Journal of Software Engineering Society
• /
• v.28 no.1
• /
• pp.23-28
• /
• 2019

Recently, in order to effectively test deep neural network model for image processing application, researches have actively conducted to automatically generate data in corner-case that is not correctly predicted by the model. This paper proposes test data generation method that selects arbitrary words from input of system and transforms them into synonyms in order to test the bug reporter automatic assignment system based on sentence classification deep neural network model. In addition, we compare and evaluate the case of using proposed test data generation and the case of using existing difference-inducing test data generations based on various neuron coverages.

• Journal of Information Technology Services
• /
• v.14 no.2
• /
• pp.129-142
• /
• 2015

The purpose of this study is to suggest an effective regression testing method in order to minimize the scope of test resulting from the modification of software and to prevent mismatch of test case and test objects. As a way to improve the efficiency of regression testing which uses a change-centric testing technique, the method flow is analyzed and grasped through a static analysis based on source code in order to identify modified parts. After the order of priority is set according to the results of user action log-based dynamic analysis on identified regression testing objects, test effect can be raised by adjusting the order of priority using code complexity. Quality assurance coverage can be checked using the user action log suggested in this study, and the progress of test and whether or not each function has been verified can be checked, too. In addition, by minimizing test parts and adjusting the order of test, costs and time can be saved, making it possible to conduct regression testing effectively.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.829-840
• /
• 2013

This paper proposes a modified RRT (Rapidly exploring Random Tree) algorithm utilizing a heuristic input analysis and suggests a test case generation method from Simulink/Stateflow model using the proposed RRT algorithm. Though the typical RRT algorithm is an efficient method to solve the reachability problem to definitely be resolved for generating test cases of model in a black box manner, it has a drawback, an inefficiency of test case generation that comes from generating random inputs without considering the internal states and the test targets of model. The proposed test case generation method increases efficiency of test case generation by analyzing the test targets to be satisfied at the current state and heuristically deciding the inputs of model based on the analysis during expanding an RRT, while maintaining the merit of RRT algorithm. The proposed method is evaluated with the models of ECUs embedded in a commercial passenger's car. The performance is compared with that of the typical RRT algorithm.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2009.11a
• /
• pp.429-432
• /
• 2009

The deformation and burst pressure of composite motor case highly depends on fiber material properties. Therefore, measuring exact fiber material properties is a priority item to develop a advanced composite motor case. However, the fiber material properties in composite motor case is very sensitive on the various processing variables (equipment, operator and environmental condition etc..)and size effect, so the fiber material properties can't be measured exactly from the existing specimen test method. This paper suggests a newly developed test method, hoop ring test, that is capable of pressure testing with ring specimens extracted from real composite motor case. The results of hoop ring test showed excellent agreement with measured fiber material properties from hydro-burst test with full scale composite motor cases.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.26 no.5
• /
• pp.343-352
• /
• 2006

In the present paper, the nondestructive test method was suggest to establish the bonding status of a motor case assembly composed of a steel motor case, adiabatic rubber layer and an ablative composite tube with strain data, AE(acoustic emission) signals and UT(ultrasonic test) data. And, finite element analysis was conducted to verify quantitatively the bonding status of motor case assembly under inner pressure loading. The bonding status could be judged whether the bonding status is perfect or contact condition by the data correlation study with AE signals and strain data measured from air pressure test. And, to classify the bonding status of motor case and rubber layer among bonding layers, UT method was also applied. From this study, the bonding status could be classified and detected into fourth types for all bonding layers as follows: (1) initial un-bonding, (2) perfect do-bonding during an air pressure test, (3) partially de-bonding during an air pressure test, and (4) perfect bonding.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.148-156
• /
• 2000

The test technique for the failure caused by interaction between the customized interface and core function is necessary. We propose a component customization test technique by using the fault injection technique and the mutation test case selection technique. Our technique injects fault into where the customization failure may take place and selects the test case that differentiates the fault-injected component from the customized-component. Therefore, our test case has a good fault-detectability and can reduce the testing time by injecting a fault only into a place where the customization failure may take place in the interface.

• The Journal of Internal Korean Medicine
• /
• v.30 no.3
• /
• pp.624-631
• /
• 2009

Objectives : The purpose of this case series was to investigate the effectiveness of Chengsimyeonjatang-gamibang for headache. Methods : The case subjects were nine patients who were diagnosed as Taeumin from the Department of Sasang Constitutional Medicine. They were selected among outpatients who visited Sangji Oriental Medical Hospital with complaint of headache from October 2007 to January 2008 through chart reviews. They were treated with Chengsimyeonjatang-gamibang without other treatments. Relative seriousness of headache was determined by Headache Impact $Test^{TM}$(HIT-$6^{TM}$) questionnaire. Results of before and after therapy were evaluated and scored using Visual Analogue Scale (VAS). The results were analyzed using statistical methods. such as Friedman test, Wilcoxon signed-rank test, and Mann-Whitney U Test. Results : The study showed that the VAS score significantly decreased after treatment (P<0.05). Conclusions : In summary, this case report suggests that Chengsimyeonjatang-gamibang appears to be effective in the treatment of headache.

• Restorative Dentistry and Endodontics
• /
• v.39 no.1
• /
• pp.68-73
• /
• 2014

When a tooth shows discoloration and does not respond to the cold test or electric pulp test (EPT) after a traumatic injury, its diagnosis can be even more difficult due to the lack of proper diagnostic methods to evaluate its vitality. In these case reports, we hope to demonstrate that ultrasound Doppler might be successfully used to evaluate the vitality of the tooth after trauma, and help reduce unnecessary endodontic treatments. In all three of the present cases, the teeth were discolored after traumatic injuries and showed negative responses to the cold test and EPT. However, they showed distinctive vital reactions in the ultrasound Doppler test during the whole observation period. In the first case, the tooth color returned to normal, and the tooth showed a positive response to the cold test and EPT at 10 wk after the injury. In the second case, the tooth color had returned to its normal shade at 10 wk after the traumatic injury but remained insensitive to the cold test and EPT. In the third case, the discoloration was successfully treated with vital tooth bleaching.

• Journal of the Korean Society of Industry Convergence
• /
• v.9 no.2
• /
• pp.141-145
• /
• 2006

In case of sense case manufactured by method of outage capacity, sensitivity is declined by outside effect and method of the photo electricity has a problem in transmission. therefore, packing case of composite sense should be developed to improve such a problem about influence of outside environment and its property evaluation has been performed. Mechanical property and result of analysis & test evaluation of Mat'l on aluminum die-casting(ADC 12type) Mat'l developed are as following. Tensile test piece, No. 4 of KS B 0801, has been applied to mechanical property test of Mat'l and It has been tested by method of metal mat'l tensile test(KS B 0802 : 2003). It can be found that physical property to KS(Korea Standard) is excellent. and homogeneous mechanical property appears. Test of Mat'l analysis has been performed by using OE Spectrometer, according to ASTM E 1251 : 1994 regulation. Consequently, good and homogeneous component contents classified by element to standard, except for Fe, have been obtained with coordination of Fe content as below 1.3% from composition standard of Aluminum Die-casting.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1016-1022
• /
• 2007

It is demanded to produce the safety evidence documents in other to approval safety characteristic of railway signaling system which stands is included, it is demanding from IEC 62425 standards. Also it is express clearly that safety assessment if signaling system has to be verification of these safety evidence documents. This Safety Case has the results of safety activity through system life-cycle, such as hazard lists, hazard identification and analysis, risk assessment and countermeasure, verification and test results. Consequently, first of all, the analysis and verification of these Safety Case documents has to be accomplished to approval and acceptance of signaling system safety. And also if the safety assessor was want, it is able to be experimental test auditory which is, arbitrary faults injection test, to above described documents verification. In this paper, the contents and architecture of Safety Case are presented as first steps of safety assessment technology establishment for railway signaling system.