한글 체크리스트로부터 테스트 케이스 자동 생성 방안

김현동,김대준,정기현,최경희,박호준,이용윤,Kim, Hyun Dong,Kim, Dae Joon,Chung, Ki Hyun,Choi, Kyung Hee,Park, Ho Joon,Lee, Yong Yoon 한국정보처리학회 2017 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.6 No.8

본 논문에서는 임베디드 시스템 테스트에 많이 사용되는 테스트 항목이 기술된 체크리스트를 기반으로 테스트 케이스를 자동으로 생성하기 위한 방법을 제안한다. 일반적으로 체크리스트에는 테스트하고자 하는 항목이 정의되어 있다. 하지만 대부분의 테스트 케이스 생성 전략에서는 테스트 하고자하는 항목뿐만 아니라 다양한 변이 조건에서도 테스트하기를 권하고 있다. 제안하는 방법은 한글로 기술된 체크리스트를 분석하여 시스템 입출력과 연산 정보를 찾아낸다. 그리고 찾아낸 정보와 설정하는 테스트 케이스 생성 전략에 따라 테스트 케이스를 자동으로 생성한다. 이 방법은 테스트 케이스를 수동으로 생성할 때, 일으킬 수 있는 오류를 줄일 수 있을 뿐만 아니라, 체크리스트에는 기술되지 않는 다양한 변이 테스트 케이스도 생성할 수 있다. 제안된 방법은 구현되고, 실제 의료기기용 임베디드 시스템의 체크리스트를 사용하여 실험을 진행한다. 실험에서는 체크리스트로부터 여러 커버리지에 적절한 테스트 케이스가 오류 없이 통계적으로 정확히 생성되었음을 확인할 수 있어서 제안된 방법의 유용성을 보여준다. This paper proposes a method to generate test cases in an automatic manner, based on checklist containing test cases used for testing embedded systems. In general, the items to be tested are defined in a checklist. However, most test case generation strategies recommend to test a system with not only the defined test items but also various mutated test conditions. The proposed method parses checklist in Korean file and figures out the system inputs and outputs, and operation information. With the found information and the user defined test case generation strategy, the test cases are automatically generated. With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated. The proposed method is implemented and the experiment is performed with the checklist for an medical embedded system. The feasibility of the proposed method is shown through the test cases generated from the checklist. The test cases are adequate to the coverages and their statistics are correct.

치과 진료실에서 3D 프린트의 활용

김현동,Kim, Hyun Dong 대한심미치과학회 2018 Journal of the Korean Academy of Esthetic Dentistr Vol.27 No.2

3D 프린팅은 삼차원 이미지 정보를 이용하여 레이어로 분할한 후 선택한 소재를 적층하여 가공하는 방법을 말한다. 소재를 적층하는 방법에 따라 다양한 종류의 3D 프린팅이 존재하는데 최근 치과분야에서는 SLA방식과 DLP방식으로 광원을 이용한 경화를 통해 적층 가공하는 3D 프린팅이 널리 보급되어 사용되고 있다. 전악 범위의 3D프린팅 치과용 모델은 전통적인 인상 채득으로 제작된 스톤모델보다는 다소 정확성이 부족한 것으로 보고되었으나, 같은 STL파일을 이용하여 4분악 범위를 3D 프린팅한 모델은 밀링 방법으로 가공한 모델보다 정확하였다. 디자인 소프트웨어의 활용도에 따라 보철치료의 진단, 임시 보철물의 제작, 의치의 제작이 가능하였다. 교정에서는 투명 교정 모델과 브라켓 간접 부착을 위한 트레이 제작이 가능하였다. 임플란트 수술에 있어서 CT를 기반으로 한 정확한 위치에 임플란트를 식립하는 가이드 제작에 활용하고 있다. 출력 방식의 발전으로 인하여 3D 프린터의 출력시간이 계속적으로 단축되고 있으며, 이로 인해 치과 진료실 내에서 3D 프린터가 기존의 전통적인 가공 방법을 대체할 수 있을 것으로 기대한다. 3D printing is a process of producing 3d object from a digital file in STL format by joining, bonding, sintering or polymerizing small volume elements by layer. The various type of 3d printing is classified according to the additive manufacturing strategies. Among the types of 3D printer, SLA(StereoLithography Apparatus) and DLP(Digital Light Processing) 3D printer which use polymerization by light source are widely used in dental office. In the previous study, a full-arch scale 3d printed model is less precise than a conventional stone model. However, in scale of quadrant arch, a 3d printed model is significantly precise than a five-axis milled model. Using $3^{rd}$ Party dental CAD program, full denture, provisional crowns and diagnostic wax-up model are fabricated by 3d printer in dental office. In Orthodontics, based on virtual setup model, indirect bracket bonding tray can be generated by 3d printer. And thermoforming clear aligner can be fabricated on the 3d printed model. 3D printed individual drilling guide enable the clinician to place the dental implant on the proper position. The development of layer additive technology enhance the quality of 3d printing object and shorten the operating time of 3D printing. In the near future, traditional dental laboratory process such as casting, denture curing will be replaced by digital 3D printing.

임플란트 가이드 수술시 고려사항

김현동,Kim, Hyun Dong 대한심미치과학회 2019 Journal of the Korean Academy of Esthetic Dentistr Vol.28 No.1

우리나라 치과의 CBCT 보급률은 세계적으로 높은 편으로, 최근 1만대 보급을 돌파하고 있는 것으로 파악된다. 또한 최근 각 치과 제조업체마다 DLP방식의 In-House방식의 3D 프린터 보급률 또한 가파르게 상승하고 있다. 이에 맞춰 최근 개원가에서 CBCT와 구강 스캔 정보를 이용한 컴퓨터 가이드 임플란트 수술의 활용도가 증가하고 있는 상황이다. 현재 컴퓨터 가이드를 이용한 임플란트 수술 방법에 대해 문헌상 고찰을 통해 리뷰해보고, 또한 정확성 및 신뢰성이 보장되는 가이드 수술을 위한 고려사항에 대해 정리해보고자 한다. Nowadays, Cone-Beam CT is widely supplied in dental clinics, the distribution rate in south korea is highly ranked worldwidely. Recently, The number of Cone-Beam CTs reached 10 thousands according to national healthcare system report. Also, dental manufacturers released many kinds of In-house 3D digital printers, the distribution rate of which rises rapidly in dental clinics. Accordingly, using Cone-Beam CT data and Intraloral scan data, the application of implant guide surgery is widespread in a unit of private clinic. Through the previous articles, the latest methods of computer-guided implant surgery are reviewed, and also the considerations for precise and reliable guide surgery are summarized.

다중경로 전송 채널 특성에 강건한 적응 MIMO-OFDM 시스템

김현동,최상호,Kim, Hyun-Dong,Choe, Sang-Ho 한국통신학회 2007 韓國通信學會論文誌 Vol.32 No.7a

적응 전송 MIMO(multiple input multiple output)-OFDM(orthogonal frequency division multiplexing) 시스템은 CSI(channel state information)의 되먹임을 이용하여 각 부반송파의 채널 상황에 따라 변조 방식을 다르게 전송하는 시스템이다. CSI 되먹임 채널인 상향링크 채널에는 송수신기 처리지연, 전송 지연, 프레임 지연 등 다중 지연 요소가 존재한다. 이러한 다중 지연요소로 인한 CSI 불일치는 채널 상황에 따라 적절한 변조 방식을 결정하는데 오류를 발생시키게 되어 시스템 성능을 떨어트린다. 본 논문에서는 적응 시스템에 내장되는 다중 지연 채널 예측 방식인 CTSBP(comb type samples based prediction)와 BTSBP(block type samples based prediction)에 대해 전송 지연 및 채널 신호 대 잡음비에 따른 MSE (mean square error), 데이터 율 등 성능을 비교한다. 이를 통하여 악조건 다중경로 채널환경에 강건한 적응 전송 SISO(single input single output)-OFDM/MIMO-OFDM을 설계한다. 또한 CSI 되먹임 오버헤드를 줄이기 위한 방안으로 선형보간 방법을 제안하고 선형 보간 간격에 따른 MSE를 도출한다. Adaptive MIMO-OFDM (Orthogonal Frequency Division Multiplexing) system adaptively changes modulation scheme depending on feedback channel state information (CSI). The CSI feedback channel which is the reverse link channel has multiple symbol delays including propagation delay, processing delay, frame delay, etc. The unreliable CSI due to feedback delay degrades adaptive modulation system performance. This paper compares the MSE and data capacity with respect to delay and channel signal to noise ratio for the two multi-step channel prediction schemes, CTSBP and BTSBP, such that robust adaptive SISO-OFDM/MIMO-OFDM is designed over severe mobile multipath channel conditions. This paper presents an interpolation method to reduce feedback overhead for adaptive MIMO-OFDM and shows MSE with respect to interpolation interval.

근골격계 증상으로 발현된 성인의 급성 골수성 백혈병

김현동 ( Hyun Dong Kim ),황지선 ( Ji Sun Hwang ),조윤정 ( Yun Jeong Cho ),한나미 ( Na Mi Han ),정규영 ( Kyu Young Jung ) 대한류마티스학회 2009 대한류마티스학회지 Vol.16 No.2

Leukemia is a heterogenous group of neoplasms that arise from the malignant transformation of hematopoietic cells. The usual presentation is one of lethargy, pallor, fever, purpura, bleeding, etc, and all this is secondary to a decrease in the production of normal blood components. However, leukemia often manifests with musculoskeletal symptoms without a systemic presentation. Musculoskeletal symptoms that precede the recognition of leukemia are much less frequent in adults as compared to those in children, and this causes diagnostic confusion and a delayed diagnosis. We describe here a case of adult acute myeloid leukemia in which pain and weakness of the limbs were the main manifestations and these were suspected as being symptoms of musculoskeletal disease.

고교야구단 숙박결정권자가 고려하는 호텔 선택속성 연구: 비즈니스호텔에 적용가능한 국내 단체고객을 중심으로

김현동(Kim, Hyun-Dong),이형룡(Lee, Hyung-Ryong) 한국관광레저학회 2021 관광레저연구 Vol.33 No.9

VOC 회수를 위한 이젝터 시스템에 관한 수치모사 및 실험적 연구

김현동(Hyun Dong Kim),이동엽(Dong Yeop Lee),김윤기(Yoon Kee Kim),정원택(Won Taek Jeong),안주하(Joo Ha Ahn),김경천(Kyung Chun Kim) 한국가시화정보학회 2011 한국가시화정보학회지 Vol.9 No.2

This paper is a basic study on volatile organic compounds(VOC) recovery system in a crude oil carrier. VOC is easily evaporated in cargo tankers during loading and transportation of crude oil, causes serious environmental contamination and a huge economic loss. An ejector system is designed to mix VOC gas into crude oil flow to reduce VOC concentration. Detail two-phase flow inside the ejector is simulated using a commercial CFD code. To verify the numerical prediction, a scale-down experiment is conducted. Instead of crude oil and VOC, water and air are used as the working fluids. Flow characteristics and main parameters are obtained by two-phase flow visualization and PIV measurements. Air volume flow rate induced by the ejector is compared with respect to the volume flow rate of water using experimental and numerical results. Overall performance of the two-phase ejector predicted by the CFD simulation agrees well with that of the experiment.

산소감응입자를 이용한 마이크로채널 내부의 용존산소 농도장/속도장 동시 측정

김현동(Hyun Dong Kim),이승재(Seung Jae Yi),정원택(Won Taek Jeong),김경천(Kyung Chun Kim) 대한기계학회 2011 대한기계학회 춘추학술대회 Vol.2011 No.10

An OSParticles-PIV hybrid system is the technique which can be used to measure the oxygen concentration and velocity fields simultaneously using oxygen sensitive functional particles as PIV tracers. In this study, OSParticles were fabricated by dispersion polymerization method, which is one of the chemical synthesis processes, for using the particles as oxygen sensors and PIV tracers. The oxygen concentration and flow velocity simultaneous measurement were carried out in the Y-shaped microchannel by injecting water samples with two different DO concentrations using a double loading syringe pump. Water samples having DO values of 0% and 100% were prepared prior to the experiments. Mercury lamp with 377 nm band-pass filter was used as a light source and images were stored using a CMOS high speed camera (PCO 1200hs) with an Olympus 10x objective lens. The luminescence was filtered using a 550 nm long-pass filter. The velocity field was obtained by the time resolved micro-PIV technique.

경찰의 성폭력 범죄피해자 보호를 위한 치안인프라 구축방안

김현동(Hyun-Dong Kim),조현빈(Hyun-Bin Jo) 한국콘텐츠학회 2013 한국콘텐츠학회논문지 Vol.13 No.12

최근 사회적 반향을 일으킨 강력 성폭력 범죄로 성폭력 근절에 대한 사회적 공감대가 형성됨에 따라 정부는 여성에 대한 폭력 분야에 대해서는 ‘아동?청소년의 성보호에 관한 법률’을 개정해 교육기관 종사자 등이 성범죄 발생 사실을 신고하지 않는 경우 과태료를 부과하도록 했고, ‘가정폭력 방지 및 피해자 보호 등에 관한 법률’을 개정해(2012. 2) 경찰의 ‘현장출입조사권’을 도입하는 등 다양한 보호대책을 광범위하게 추진?시행하고는 있지만, 사실상 이러한 대책에도 불구하고 사회적약자를 대상으로 한 성폭력 범죄들이 끊임없이 발생하고 있어 실효성 논란이 가중되고 있는 현실이다. 이러한 성폭력 범죄는 타 범죄에 비해서 범죄사실을 입증하기가 매우 어렵다는 것이 일반적이며, 신고가 된다 하더라도 불기소율이 매우 높은 범죄중에 하나이다. 특히 여성과 아동들에 국한되어 있어 2차 피해로 이어지고 있는 실정이다. 본 논문에도 서술하였듯이 선진국의 범죄피해자 보호실태는 우리나라의 보호실태에 비해 훨씬 더 체계적인 보호 방안을 구축하고 있다. 이에 따라 이 논문은 경찰이 성폭력 범죄피해자들을 보호하기 위한 치안인프라(유관기관과의 치안협력체제 강화, 피해자 권리장전 도입, 범죄예방을 중심으로 한 경찰교육훈련, 현행 법?제도적 보완대책 등) 구축을 통해 인권침해와 범죄피해를 최소화 하는 것에 목적을 두고 있다. Following the social consensus for the need to stop sexual violence, the government has amended juvenile sex protection laws to impose fees on education practitioners who do not report sexual crimes against women, and amended the ‘domestic violence prevention and victim protection laws’ (2012. 2) so that the police can investigate on site. However, regardless of these wide efforts, the reality is that sexual crimes against the socially weak do not seem to be dwindling, raising concerns of the effectiveness of such amendments. Generally sexual crimes are hard to prove, and even if reports are filed, most cases are dropped with non-prosecution disposition. Victims are usually limited to women and children and this leads to secondary victims. As this thesis states, developed countries have a more systematic protection methods than our country. Therefore, the purpose of this thesis lies on the construction of public safety infrastructure for the protection of sexual abuse victims (enhancing safety protocols with related organizations, implementing a bill of rights for the victims, prevention-centered police education, amendments to current law) to limit human rights violations and criminal injuries.

개인의 소득공제와 포괄적 소득개념과의 정합성과 그 한계

김현동 ( Hyun Dong Kim ) 법조협회 2016 法曹 Vol.65 No.2

Individual income tax law does not define the concept of income. The method to define income seems to follow the income-source theory. However, individual income tax law would be close to the comprehensive tax base considering the taxable base and the direction of current amendments. This study tries to confirm that several personal deductions are under comprehensive tax base. The comprehensive tax base has its own theoretical problems and conflicts with the constitution. Thus it would be impossible to promulgate tax law under the comprehensive tax base. To accept the comprehensive tax base means introducing the conceptual and legal limitations of the comprehensive tax base. It could not be said that the change from deductions to credits is accord with the comprehensive income tax. Several personal deductions that should not be would undermine the effect of progressive tax rates and eventually harm equity one of governing principles in tax law. There are many problems about the scope of taxable income because tax law does not clarify the general concept of income. Accordingly, the scope of taxable income or deductions, credits are not aligned to the conceptual consistency.