• Journal of the Semiconductor & Display Technology
• /
• v.16 no.3
• /
• pp.71-77
• /
• 2017

As the automobile industry has shifted to software, the Automotive SPICE standard has been established to ensure efficient product development process and quality. In the assessment model, the HIS Scope is the minimum standard for small and medium automotive electric companies to meet OEM requirements. However, in order to achieve the HIS Scope, the output of each process stage that meets the verification criteria of Automotive SPICE must be created. In particular, the test phase takes a lot of resources, which is a big burden for small and medium-sized companies. In this paper, we propose a methodology for creating test cases of software integration test phase based on UML sequence diagram, which is a software design phase of Automotive SPICE HIS Scope, by applying behavior model based testing method. We also propose a tool chain for automating the creation process. This will reduce the resources required to create a test case.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.8
• /
• pp.331-342
• /
• 2019

This paper proposes a method to generate test cases and test scripts from software requirements written in a controlled natural language, which helps develop reliable embedded software. In the proposed method, natural language requirements are written in a controlled language, the requirements are parsed and then inputs, outputs and operator data are extracted from the requirements. Test cases are generated from the extracted data following test case generation strategies such as decision coverage, condition coverage or modified condition/decision coverage. And then the test scripts, physical inputs of the test cases are generated with help of the test command dictionary. With the proposed method, it becomes possible to directly check whether software properly satisfies the requirements. Effectiveness of the proposed method is verified empirically with an requirement set.

• Clinical and Experimental Reproductive Medicine
• /
• v.46 no.1
• /
• pp.36-40
• /
• 2019

A viable spermatozoon is a prerequisite for fertilization in intracytoplasmic sperm injection (ICSI). Thus, it is crucial to select viable but immotile spermatozoa on the day of ICSI. We report conflicting results in the identification of viable but immotile spermatozoa between the eosin-nigrosin staining and the laser test, which resulted in confusion for embryologists during assisted reproductive technology (ART). Three patients' semen samples that showed no motile spermatozoa are described in this report. To identify viable spermatozoa, we used both the eosin-nigrosin test and the laser test for each sample, and repeated the semen analysis twice in each patient. Viable but immotile spermatozoa selected by the laser test were used for ICSI. Viable spermatozoa were detected by both the eosin-nigrosin and laser tests in two patients (case 1, 95.00% vs. 24.21% and 92.68% vs. 22.22%; case 2, 41.18% vs. 23.48% and 39.81% vs. 22.52%), indicating consistent results between the two methods. In the third patient, the eosin-nigrosin test yielded viability rates of 20.75% and 19.14%, while the result of the laser test was 0%. Thus, testicular aspiration was performed to collect viable sperm from this patient. Normal fertilization was achieved after the injection of viable but immotile spermatozoa selected from these patients by the laser test, resulting in the birth of two healthy babies. Our study documents a case where the eosin-nigrosin test showed a limitation in identifying viable but immotile spermatozoa for ART, while the laser test may overcome this limitation. Larger samples may be required to corroborate the clinical value of the laser test.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.111-118
• /
• 2002

We study the influence of observations on testing a linear hypothesis using single and multiple case-deletions. The change in the F-test statistic due to case-deletions is shown to be completely determined by two externally Studentized residuals. These residuals we used for investigating the outlyingness when there are linear constraints or not. An illustrative example is given. It shows the usefulness of case-deletions.

• The Journal of Society for e-Business Studies
• /
• v.9 no.1
• /
• pp.1-19
• /
• 2004

The systematic testing is frequently regretted in recent web applications because of time and cost pressure. Moreover developers have difficulties with applying the traditional testing techniques to testing web application. The approach of creating test cases for a web application from a sequence model is proposed for the rapid and efficient testing. Test cases for web application are extracted from call messages (including self-call messages) of UML (Unified Modeling Language) sequence diagram. A test case consists of messages, script functions, or server pages and additional values. Moreover a simple testing tool for web application is proposed. A URL for testing web application is created and executed by this testing tool. The URL consists of server page address and additional values. This test tool is made using Microsoft Visual Basic. The efficiency of proposed method and tool has been shown using a practical case study which reflects the development project of the web application for supporting member management.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.1
• /
• pp.179-186
• /
• 2018

The number of devices connect to the internet is rapidly increasing with the advent of the IoT(Internet of Things). The IoT has improved the convenience of life. However, it makes security issues such as privacy violations. Therefore cybersecurity is the most important issue to be discussed nowadays. Especially, various protocols are used for same purpose due to rapidly increase of IoT market. To deal with this security threat noble vulnerability analysis is needed. In this paper, we contribute to the IoT security by proposing a new randomness-based test case evaluation methodology using variance and entropy. The test case evaluation method proposed in this paper can evaluate the test cases at a high speed regardless of the test set size, unlike the traditional technique.

• PNF and Movement
• /
• v.9 no.1
• /
• pp.65-73
• /
• 2011

Background : This study was to investigate effect of hot and cold water for the hand dexterity. Methods : A total of 37 subjects having hemiplegia(men=6, women=11) and normal(men=10, women=10) were participated in this study. After both hands was soaked in the small tube for 1 minute, we measured 'making dots in circles(BOTMP)', 'lifting small objects(JHFT)', 'disk turning(MMDT)' test. Results : In the case of normal's dominant hand, there were statistically significant differences in all tests after soaked in the hot water but there were statistically significant differences in 'disk turning' test after soaked in the cold water. In the case of hemiplegia's unaffected hand, there were statistically significant differences in 'disk turning' test after soaked in the hot water but there were statistically significant differences in 'making dots in circles', 'disk turning' test after soaked in the cold water. In the case of hemiplegia's affected hand, there were statistically significant differences in 'lifting small objects', 'disk turning' test after soaked in the hot water but there were statistically significant differences in 'making dots in circles', 'disk turning' test after soaked in the cold water. Conclusion : The hot and cold water were affected in the hand dexterity. Especially, in the case of both normal and hemiplegia, there were statistically significant differences in 'disk turning' test after soaked in the cold and hot water. Therefore, We were founded that affected in gross movement than fine movement.

• Journal of the Korean Society of Industry Convergence
• /
• v.2 no.2
• /
• pp.35-39
• /
• 1999

Results of two-part wedge analysis and centrifuge test executed by Zornberg et al. were compared for geotextile-reinforced slope stability. For two-part wedge analysis results of two cases, a frictional case considering internal friction of soil as interwedge friction and a nonfrictional case not considering, were also compared and evaluated. The analysis was based on limit equilibrium and two-part wedge was divided into slices as many as the number of geotextiles to obtain a maximum tension distribution mobilized in reinforcements. A significant observation was that the distribution was a triangular shape with maximum tension of geotextile at a transit point of interwedge. The number of geotextiles and failure surface of frictional case were reasonable and more comparable to results of the centrifuge tests than those of nonfrictional case. Therefore it can be said that two-part wedge analysis is recommendable for design analysis of reinforced slopes if an interwedge angle is regarded to be an angle of internal friction in soil.

• Journal of the Korean Society of Safety
• /
• v.13 no.3
• /
• pp.11-23
• /
• 1998

In this study, collapse test of thin-walled structure is performed under axially quasi-static and impact load in collapse characteristic to develop the optimum structural member for a light-oriented automobile. Furthermore, the energy-absorbing capacity is observed according to the variety of configuration(circular, square), aspect ratio in aluminum specimen to obtain basic data for the improved member of vehicle. In both quasi-static and impact collapse test, Al circular specimens collapse, in general, with axisymmetric mode in case of thin thickness while collapse with non-axisynmetric mode according to the thickness increase. For Al rectangular specimens, they collapse with axisymmetric mode in case of thin thickness, with mixed collapse mode according to the increase of thickness. In terms of initial max. load, Al square specimen turns out the best member among specimens, and then Al square, circular and circular with large scaling ratio, respectively. In case of quasi-static compression test, the absorbed energy per unit volume and mass shows higher in Al circular specimen, and then Al square, circular with large scaling ratio, respectively, according to shape ratio the absorbed energy per unit volume and mass in case of max. impact compression load is higher than that of static load. But the absorbed energy per unit volume and mass shows that Al circular specimen is the best member. Especially, unlike max. compression loan, the absorbed energy per unit volume and mass in impact test turns out the low value.

• Journal of Applied Reliability
• /
• v.13 no.3
• /
• pp.165-174
• /
• 2013

Thruster break for aerogenerator performs a role that is stopping the rotor in case of emergency such as strong wind, system abnormality or maintenance check. In this study, failure analysis and test evaluation on the thruster break for aerogenerator are proposed, and the entire process to improve reliability of the product through design improvement is presented. The typical failure case is fatigue and wear, and failure cause on these are identified and improvement plan is presented. Lastly, reliability improvement is established to analyse test results before after the life test.