• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.385-390
• /
• 2017

Because of the ever-increasing software complexity, model-based development techniques are becoming an essential technique in software development. However, even if model-based techniques are used, the test case generation for complex software is still a challenge to solve. In this paper, we propose a method to generate automatic test cases based on UML model using custom parser and SMT solver. By proposed technique, a test case can be generated even though the model is described in a platform independent language such as action language, or in a platform dependent language. In addition, a concolic execution technique is applied to efficiently generate test cases in the model. In this paper, we present a case study on the power window switch model of Hyundai Santa Fe through the proposed test case generation technique.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.544-547
• /
• 2007

Because data processing systems in recent years are more complicated, main function of the data processing is divided as several sub-functions which are implemented and verified in each subsystem of the data processing system. For the verification of data processing system, many interface tests among subsystems are required and also a lot of simulation systems are demanded. This paper proposes CTHS (Common Test Harness System) for satellite ground segment development which has all of functions for interface test of the data processing system in one PC. Main functions of the CTHS software are data interface, system log generation, and system information display. For the interface test of the data processing system, all of actions of the CTHS are executed by a pre-defined operation scenario which is written by purpose of the data processing system test.

• Korean Journal of Human Ecology
• /
• v.6 no.1
• /
• pp.57-66
• /
• 2003

The purpose of this study was to investigate the housewives' characteristics of household work management. to classify the household work manager styles and to investigate the relationship between the household work manager styles and the family life satisfaction. The data used for statistical analysis is 352 housewives. The data were analyzed by using SPSSWIN Program, $x^2$-test, one-way ANOVA With Duncan's Multiple Range test and t-test were utilized to test null hypotheses. The major findings of this study were as follows : Human centered household work management was more popular than task centered. Family life satisfaction was significantly different depending on the household work manager style. The idel style was concluded as the most desirable manager style.

• Nuclear Engineering and Technology
• /
• v.48 no.1
• /
• pp.189-199
• /
• 2016

Fast neutrons with a broad energy spectrum, with which it is possible to evaluate nuclear data for various research fields such as medical applications and the development of fusion reactors, can be generated by irradiating proton beams on target materials such as beryllium. To generate short-pulse proton beam, we adopted a deflector and slit system. In a simple deflector with slit system, most of the proton beam is blocked by the slit, especially when the beam pulse width is short. Therefore, the available beam current is very low, which results in low neutron flux. In this study, we proposed beam modulation using a buncher cavity to increase the available beam current. The ideal field pattern for the buncher cavity is sawtooth. To make the field pattern similar to a sawtooth waveform, a multiharmonic buncher was adopted. The design process for the multiharmonic buncher includes a beam dynamics calculation and three-dimensional electromagnetic simulation. In addition to the system design for pulsed proton generation, a test bench with a microwave ion source is under preparation to test the performance of the system. The design study results concerning the pulsed proton beam generation and the test bench preparation with some preliminary test results are presented in this paper.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.7
• /
• pp.63-70
• /
• 2004

This paper describes the link layer and physical layer of the Serial ATA which is the next generation for parallel ATA specification that defines data transfer between PC and peripheral storage devices. The link layer consists of CRC generation/error detection, 8b/10b decoding/encoding, primitive generation/detection block. For the physical layer, it includes CDR(Cock Data Recovery), transmission PLL, serializer/de-serializer. It also includes generation and receipt of OOB(Out-Of-Band) signal, impedance calibration, squelch circuit and comma detection/generation. Additionally, this chip includes TCB(Test Control Block) and BIST(Built-In Selt Test) block to ease debugging and verification. It is fabricated with 0.18${\mu}{\textrm}{m}$ standard CMOS cell library. All the function of the link layer operate properly. For the physical layer, all the blocks operate properly but the data transfer is limited to the 1.28Gbps. This is doe to the affection or parasitic elements and is verified with SPICE simulation.

• Journal of Home Health Care Nursing
• /
• v.23 no.1
• /
• pp.34-44
• /
• 2016

Purpose: This study investigated the factors associated with suicidal ideation in the Korean Echo Generation using 2012 Korea Health Panel Data. Methods: The 2012 Korea Health Panel Data were collected from February 2012 to July 2012 and included 2,303 people who responded to a question asking whether they had experienced suicidal ideation. The data were analyzed by chi-square and multiple logistic regression test using SPSS 22.0. Results: The rate of suicidal ideation was 4.2% in the Echo Generation. Factors associated with suicidal ideation in the Echo Generation revealed that the following variables increased the rate of suicidal ideation: sex(odd ratio: 2.39, CI: 1.39-4.09), education(odd ratio: 1.95, CI: 1.08-3.52), depression(odd ratio: 12.06, CI: 6.92-21.03), frustrating experience(odd ratio: 2.52, CI: 1.22-5.20), anxiety about the future(odd ratio: 14.58, CI: 3.20-66.41), self-rated health status(odd ratio: 2.39, CI: 1.39-4.09 and odd ratio: 6.41, CI 2.87-14.33). Conclusion: This study provides a preliminary examination of the factors associated with suicidal ideation in the Echo Generation. A more careful examination may be warranted.

• 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.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.765-778
• /
• 2013

This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2004.02a
• /
• pp.73-81
• /
• 2004

National Geographic Information Institute (NGII) in Korea, through National Geographic Information System (NGIS) Program, has prepared to generate and disseminate digital elevation data for Korea. This is a pilot research to propose a policy for generation, maintenance, and supply of Korea Digital Elevation Data (KDED). Customer demands for accuracy and resolution of DEM was surveyed through questionnaire. In order to investigate the quality, the technical efficiency and the production cost, a tentative DEM in a small test site was generated based on digital topographic maps (original paper map scale 1 :5,000), analytical plotter, and LIDAR. Accuracy standard for KDED was derived based on source data and generation methods. As results of this research, we recommend uniformly spaced grid model for KDED. Its preferable grid space is 5m in urban and its vicinity; and 10m in field and mountainous area. LIDAR has been valuated as a proper KDED generation method fulfilling customers demand for the accuracy.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.526-532
• /
• 1999

본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.