• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권8호
• /
• pp.385-390
• /
• 2017

지속적으로 증가하는 소프트웨어 복잡성으로 인해, 모델 기반 개발 기법은 소프트웨어 개발에 있어 거의 필수적인 기법이 되고 있다. 그러나, 모델 기반 기법을 활용한다 하더라도 복잡한 소프트웨어를 위한 테스트 케이스 생성은 여전히 풀어야 할 숙제이다. 본 논문에서는, 커스텀 파서와 SMT 솔버를 이용해 UML 모델 기반에서 자동 테스트 데이터를 생성하는 기법을 제안한다. 제안된 기법을 이용하면, 모델이 액션 언어(action language)와 같은 플랫폼 독립적인 언어로 구현되어 있거나, 플랫폼 종속적인 언어로 기술되어 있더라도 테스트 입력을 생성할 수 있다. 또한, 모델에서 테스트 케이스를 효율적으로 생성하기 위해 콘콜릭 수행 기법을 적용하였다. 본 논문에서는, 제안된 테스트 데이터 생성 기법을 통해 현대 산타페의 파워윈도우 스위치 모델에 활용된 사례를 기술한다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• 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.

• 한국가정과학회지
• /
• 제6권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
• /
• 제48권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.

• 대한전자공학회논문지SD
• /
• 제41권7호
• /
• pp.63-70
• /
• 2004

본 논문에서는 PC 의 스토리지 인터페이스로 사용되는 병렬 ATA를 대체하게 될 새로운 표준인 직렬 ATA 의 링크 층과 물리 층을 설계하였다. 링크층에서는 CRC 생성 및 오류 감지, 스크램블링 회로, 8b/10b 복호화/부호화 회로 및 프리미티브 생성/검파 회로로 구성되었다. 물리 층은 직렬화/병렬화 회로와 전원 초기 인가시의 리셋 발생회로, OOB 신호 발생/검파 회로, 데이터로부터 클록을 복원하는 회로, 스？치 회로 및 임피이던스 조정 회로와 콤마 발생/감지 회로로 설계하였나. 또한 불리 층과 링크층의 동작을 확인하기 위한 테스트 제어 블록과 BIST(Built In Self Test) 블록을 설계하였다. UMC 사의 0.18㎛ 표준 CMOS 공정을 이용하여, 칩으로 제작 후 특성을 검증하였다. 링크 층에서 요구하는 모든 기능 및 특성은 사양을 만족하였고, 물리 층의 출력 전압 및 드라이버 출력 지터, OOB 신호등의 특성도 만족하였다. 데이터 전송 율은 1.5Gbps 속도의 사양목표치에 비해서, 실제 측정된 데이터 전송 속도는 1.28Gbps로 측정되었다. 회로 시뮬레이션에 의한 확인 결과, 레이아웃에서의 배선에 대한 기생 성분의 영향에 의한 것으로 분석되었다.

• 가정∙방문간호학회지
• /
• 제23권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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권12호
• /
• pp.829-840
• /
• 2013

본 논문은 Simulink/Stateflow 모델 기반의 테스트 케이스를 자동으로 생성하기 위하여, 휴리스틱 입력 분석을 이용한 Rapidly-exploring Random Tree(RRT) 기법을 제안한다. RRT는 모델 기반 블랙박스 테스트 케이스 생성 시 반드시 해결해야 되는 도달 가능성 문제를 효율적으로 해결할 수 있는 방법이지만, 모델의 내부 상태와 테스트 목표를 고려하지 않고 무작위로 모델의 입력을 생성하기 때문에 테스트 케이스 생성 효율이 떨어지는 단점이 있다. 제안하는 기법에서는 RRT를 확장해나갈 때 필요한 입력을, 모델의 현재 상태에서 만족 할 수 있는 테스트 목표를 분석하고 이를 달성할 수 있는 모델의 입력을 분석 결과에 따라 휴리스틱하게 결정함으로써, RRT의 장점을 보존하면서, 테스트 케이스 생성 효율을 높일 수 있다. 제안된 기법은 자동차에 사용되는 실 부품 ECU의 Simulink/Stateflow 모델을 대상으로 한 실험을 통해 성능이 평가되었으며, 기존 RRT와 비교하여 테스트 케이스 생성 효율이 높은 것을 보였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권11호
• /
• pp.765-778
• /
• 2013

본 논문은 Rapidly-exploring Random Tree(RRT) 확장 기법을 이용하여 Stateflow 모델 기반의 블랙박스 테스트 케이스 자동 생성 방법을 제안한다. 복잡한 시스템의 경로 계획 문제를 효율적으로 해결하는 방법으로 널리 사용되고 있는RRT기법은 테스트 케이스 생성에서도 좋은 성능을 보이고 있으나, 테스트 케이스 생성에 있어서 중요한 부분을 차지하는 테스트 커버리지를 고려하고 있지 않다. 제안하는 확장 기법은 테스트 커버리지를 향상시키기 위하여 테스트 목표 달성 율의 개념을 RRT 확장에 도입하여 테스트 목표를 더 달성할 수 있는 방향으로 RRT 확장을 유도 한다. 이를 위해서 테스트 목표 달성 율을 고려한 RRT 거리 함수와 RRT 무작위 노드 생성 방법, 그리고 변형된 RRT 확장 알고리즘을 제안한다. 제안된 기법의 유용성은 실제 자동차에서 사용되는 제어 ECU들의 Stateflow 모델을 이용한 실험을 통해 기존 RRT를 이용한 테스트 케이스 생성 기법과의 성능을 비교를 통해 보인다.

• 한국측량학회:학술대회논문집
• /
• 한국측량학회 2004년도 Korea-Russia Joint Conference on Geometics
• /
• 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.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권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.