• 제목/요약/키워드: 김기문

검색결과 110건 처리시간 0.024초

CUTIG: 정적 분석을 이용한 C언어 단위 테스트 데이타 추출 자동화 도구 (CUTIG: An Automated C Unit Test Data Generator Using Static Analysis)

  • 김택수;박복남;이춘우;김기문;서윤주;우치수
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권1호
    • /
    • pp.10-20
    • /
    • 2009
  • 단위 시험은 지속적이고 반복적으로 수행되어야 하기 때문에 높은 비용을 필요로 하는 작업이다. 단위 시험의 자동화에 대한 많은 연구가 있었으나 테스트 데이타의 자동 추출에 대한 연구는 큰 성과를 이루지 못하고 있다. 본 연구에서는 소프트웨어의 소스 코드로부터 테스트 데이타를 자동으로 추출하는 방안에 대해 논의하고 각 단계의 알고리즘을 제시하였다. 또한 테스트 데이타 추출 자동화에 관한 이슈를 소개하고 테스트 데이타 추출 자동화 도구 CUTIG를 소개한다. CUTIG는 실제 소스코드를 이용하여 테스트 데이타를 추출하므로 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 테스트 데이타를 생성할 수 있다. 또한 이 도구를 통해 개발자가 직접 테스트 데이타를 작성하는 데 소요되는 비용을 절감할 수 있기를 기대한다.

Call for an Open Discussion on Empirical Viability of Causal Indicators

  • 김기문;신봉식;;;김기주
    • 한국산업정보학회논문지
    • /
    • 제22권6호
    • /
    • pp.71-84
    • /
    • 2017
  • Over the past decade, we have witnessed Serious Debates in MISQ and Other Journals Between Two Camps that have Differing Views on the use of Causal Indicators to Measure Constructs. There is the Camp that advocates Causal Indicators (ADVOCATE) and the Camp that opposes Their Usage (OPPONENT). The Debates have been primarily centered on the OPPONENT's Argument that the Meaning of a Latent Variable is determined by its Outcome Variables. However, Little Effort has been made to Validate the ADVOCATE's Dispute (Against the OPPONENT's Arguments) that the Meaning of a Latent Variable is decided by its Causal Indicators if there is no Misspecification. Our Study precisely examines the Integrity of the Argument. For this, we empirically examine how the two Primary Psychometric Properties-Comprehensiveness and Interrelationship-of Causal Indicators Influence Theory Testing between Latent Variables through Three Different Tests (i.e., Comprehensive Test, Interrelationship Test, and Mixed Test). Conducted on Two Different Datasets, Our Analysis Consistently Reveals that Structural Path Coefficients are Hardly Sensitive to the Changes (i.e., Misspecification) in the Properties of Causal Indicators. The Discovery offers Important Evidence that the Sound Theoretical Logic of a Causal Model is not in Sync with the Empirical Mechanism of Parameter Estimation. This Underscores that a Latent Variable Formed by Causal Indicators is empirically an elusive notion that is Difficult to Operationalize. As Our Results have Significant Implications on the Integrity of Numerous IS studies which have conducted Theory or Hypothesis Testing Using Causal Indicators, we strongly advocate Open Discussions among Methodologists regarding Our Findings and Their Implications for Both Published IS Research and Future Practices.

해상이동업무용 디지털선택호출 VHF 송수신장치의 EMC 적용에 관한 연구 (A Study on application of EMC to Digital Selective Calling VHF Transceiver for Maritime mobile service)

  • 임종근;이동식;김기문
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2002년도 춘계종합학술대회
    • /
    • pp.529-534
    • /
    • 2002
  • 범세계 해상 조난·안전 시스템(Global Maritime Distress & Safety System: GMDSS)에 따라 DSC(Digital Selective Calling) 전용 수신기, DSC 장치, VHF 송수신기 등이 국제항해에 종사하는 300GT 이상의 모든 선박에 의무적으로 탑재하도록 규정되었다. 또한, 최근에 국제해사기구(International Maritime Organization: IMO)는 GMDSS를 포함한 항해·통신 장비에 EMC 규정을 적용하도록 권고함에 따라 현재 선박에서 사용되는 대부분의 전자가 새로운 규정에 대응해야 하는 문제점에 직면하게 되었다. 본 연구에서는 채널 70 DSC 전용 수신기, DSC 장치, VHF 송수신장치가 집적된 장치에 대하여 예상되는 EMC 규정을 미리 적용 및 분석하여 보고 대처방안을 모색하였다. 시험은 도선 및 방사를 통한 불요파의 측정과 같은 전자파 간섭을 비롯하여 전압, 주파수 변위에 대한 내성과 정전기 방전에 대한 내성을 포함한 다양한 전자파 감응성 시험 등이 적용되었고 이에 따른 국내외 제품의 전원 및 접지에 대한 문제점을 파악할 수 있게 되었다.

  • PDF

자가전기통신설비의 효율적인 개선방안에 관한 연구 (A Study on the Efficient Improvement Policy of Private Network)

  • 이동식;임종근;김기문
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2002년도 추계종합학술대회
    • /
    • pp.63-69
    • /
    • 2002
  • 1994년부터 시작된 세계무역기구(WTO)의 기본통신협상에 따라 다수의 통신사업자가 통신시장에 진입하고, 특히, 1999년 1월부터는 공기업도 자회사를 통하여 기간통신사업 허가를 받을 수 있게 되는 등 자가통신설비와 관련된 규제제도는 최근까지 계속적으로 완화되어 왔다. 이와 같은 규제완화와 국내 정보통신 산업의 급속한 발달에 힘입어 일부 공기업을 비롯한 자가망 보유 회사들은 통신사업자들의 통신망이 충분히 설치된 이후에도 자체 수요에 대처한다는 명분을 앞세워 통신망 분야에 확대투자를 하여 통신사업의 진입을 직ㆍ간접적으로 모색하고 있다. 이와 같은 자가전기통신설비 구축은 국내 통신사업구도에도 커다란 변수로 등장하고 있으며 외국 기업에도 영향을 미칠 것으로 예상된다. 그러므로 자가 통신망에 대한 국가적 정책은 정보통신망의 효율적 구축, 중복ㆍ과잉투자 방지, 공정경쟁 보장, 회계분리, 자회사 설립, 통신사업 구조조정, 국가경쟁력 강화 등 여러 측면에서 종합적으로 고려되어야 한다. 따라서 본 연구에서는 자가전기통신설비 현황 및 실태와 자가전기통신설비 관련 정책을 살펴보고, 외국의 자가통신망 실태와 관련 법ㆍ제도 둥을 비교ㆍ분석하여 자가전기통신설비에 관련한 효율적인 개선 방안을 제시하였다.

  • PDF

Interlaboratory Validation Study of In Vitro Alternatives to the Draize Eye Irritation Test : HET-CAM Test and Cytotoxicity Test for 20 Cosmetic Ingredients

  • 이호;김주현;홍진천;김기문;박문억;류창석;정민석;김종일
    • 대한화장품학회지
    • /
    • 제25권2호
    • /
    • pp.129-138
    • /
    • 1999
  • 피부 전용 제재 개발을 위해 요구되는 동물 대체 시험법 중 가장 적극적으로 연구가 행하여지곤 실제 실용화가 예상되는 것은 안점막 자극 시험으로 지금까지 여러 가지 방법이 개발되었지만 그 중 계란 유정란의 응모요막(CAM)을 이용한 방법이 현재 가장 활발히 진행되고 있다. 이 방법이 일부 국가에서 이미 안점막 자극 시험 동물 대체 시험법으로 공인되었으며 현재까지도 validation 연구를 활발히 진행하고 있다. 본 연구에서도 국내에 적합한 안점막 자극 시험 동물 대체 시험법의 공인 시험법 개발 및 validation study를 목표로 계란 유정란의 응모요막을 이용한 방법 중 HET-CAM 방법을 시행하였으며 안점막 동물 대체 시험법으로 확립하고자 하였다. 틴ET-CAM 방법의 보완을 위해 배양된 세포를 통해 자극도를 측정할 수 있는 방법인 Cytotoxicity test를 도입하여 시행하였으며 두 방법의 data들을 분석하여 validation study를 수행하였다. 국내 유수의 6개 장업사가 본 연구에 참가하여 20가지의 화장품 전용제재를 대상으로 1차, 2차 validation study 를 진행하였다. HET-CAM test, Draize eye irritation test, Cytotoxicity test 측정 결과 HET-CAM 의 “Q” 수치는 대부분 강자극 수치인 2 이상이었고 10% sodium hydroxide가 가장 높은 수치를 보였으며 Tween 20(sorbitanpolyoxyethylene monolaurate) 100%가 가장 낮은 수치를 보였다. In vi패의 경우 10% sodium hydroxide가 가장 높은 수치를 보였으며 30군 propylene glycol 이 가장 낮은 자극수치를 보였다. HET-CAM test 와 Draize eye irritation test, Cytotoxicity test 간의 상관성 분석은 linear correlation coefficient 와 rank correlation coefficient를 구하여 비교하였으며 6개 장업사(A-F)의 실험실에서의 HET-CAM test 결과를 취합하여 각각 두 실험실간의 상관관계(linear correlation)를 분석하였다. Linear correlation coefficient 분석 결과를 보면 전반적으로 상관관계가 0.589 - 0.954의 범위였으며, 특히 A사와 B사 사이의 경우 0.954이었으며, E사와 D사 사이의 경우 0.942로 높은 상관관계를 보였다. 그 외에도 A사와 D사 사이의 경우(0.589)와 B사와 D사 사이의 경우(0.638)를 제외하고는 대체로 높은 상관관계를 나타내었다.

  • PDF

한국의 정보통신 기술정책에 관한 연구(II) - 사회적 변화를 중심으로 - (A study of the Telecommunication Technique Policy in Korea(II) : in case social changes)

  • 박민수;김기문
    • 한국정보통신학회논문지
    • /
    • 제3권1호
    • /
    • pp.3-9
    • /
    • 1999
  • 현재 우리사회의 변화요인을 분석해 보면 국제화사회 기반형성, 경제성장, 자원의 유한성, 인간형태변화, 안정성의 확보, 생활환경의 변화, 정보의 다양화, 의료환경의 변화, 교육환경의 변화 등으로 분류할 수 있다. 대다수의 국가들은 이러한 변화요인들이 새로운 차원의 사회문제를 생성하기도 하지만 미래 국가건설에 이바지 할 것으로 예측하고 있다. 본 연구는 이러한 변화요인들 중에 생활환경의 변화, 의료환경의 변화, 교육환경의 변화를 분석하여 미래 정보화사회에 적합한 정보통신서비스를 개발하기 위하여 국가적 정보통신 기술정책 방향을 제시하고자 한다. 현재 개발된 정보통신서비스를 살펴보고 수요자들이 미래에 필요로 하는 정보통신서비스를 살펴보면 재택근무서비스, 원격진료서비스, 쌍방향홈쇼핑서비스, 쌍방향홈뱅킹서비스, 원격의료진료서비스, 재택교육서비스, 기타 원격서비스를 요구하고 있다. 이러한 수요자들이 필요로 하는 정보통신서비스를 개발하기 위하여 어떤 정보통신기술이 필요하며, 정책방향은 어떠한 방향으로 나아가야 하는지를 연구하였으며, 미래에 필요한 정보통신기술정책은 한국에 맞는 정보통신기술 정책을 을 제시해야 하며, 미래에 모든 통신망이 통합할 수 있도록 계획되어야 하며, 모든 통신망을 통합하기 위해 B-ISDN이 완벽하게 구축되어야 한다.

  • PDF

소형선박의 항행정보 전송관리시스템에 대한 연구 (A Study on the Navigation Data Transmission-Management System of a Small Vessel)

  • 조학현;최조천;최병하;김기문
    • 한국정보통신학회논문지
    • /
    • 제4권1호
    • /
    • pp.191-200
    • /
    • 2000
  • VTS에서는 소형 선박들에 대한 운항정보의 파악이 어려우므로 관제에 애로가 많다. 즉, GMDSS의 대상이 아닌 소형 선박들이 평상시에 선명 및 위치정보를 전송하고, VTS에서는 입ㆍ출항하는 모든 선박들의 선명과 위치를 용이하게 확인하고 항내에서의 해난사고가 발생하지 않도록 통제할 수 있는 시스템이 필요한 실정이다. 본 연구의 항행정보 전송관리시스템은 micro-processor를 이용하여 CPS의 데이터 중에서 위치와 시간정보를 추출하고 여기에 선박의 ID를 추가하여 2,400[bps]의 저속으로 447[MHz], FSK의 송신기로 전송할 수 있는 시스템을 구현하였다. VTS에서는 이것을 수신, 복조하여 선박의 항행상태를 확인할 수 있다. 실험단계에서는 목포항을 중심으로 항해중의 데이터를 전송하였고, 수신점에서는 해도상에 실시간으로 위치를 표시하는 소프트웨어를 개발하였다. 원거리의 서비스를 위하여 기존의 SSB 통신망에 접속할 수 있는 하드웨어적인 융통성도 고려하였다.

  • PDF

FFH/BFSK 시스템 송신부에서 DDS를 이용한 주파수합성기 설계 및 성능평가에 관한 연구 (A Study on Design and Performance Evaluation of the Frequency Snthesizer Using the DDS in the Transmitter of the FFH/BFSK System)

  • 이두석;유형렬;정지원;조형래;김기문
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 1999년도 추계종합학술대회
    • /
    • pp.161-166
    • /
    • 1999
  • 이동 통신의 세계적 흐름은 디지털화, 고속화 그리고 대용량화의 추세로 나아가고 있다. 또한 한정된 주파수 자원을 효율적으로 이용하기 위하여 대역확산 방식이 그 주를 이루고 있다. 본 연구에서는 고속 주파수도약 방식을 이용하였다. 잡음 등의 여러 가지 문제점을 가지고 있는 PLL(Phase Lock Loop) 대신, PLL의 단점을 최소화할 수 있는 디지털 소자인 직접 디지털 주파수합성기(DDS : Direct Digital Synthesizer)를 사용하여 FFH 시스템 송신부의 주파수합성기를 설계하였다. PLL를 이용하여 고속 주파수 도약시스템을 설계하는 경우, PLL의 settling time의 설정과 요구되는 RF대역폭등의 설계사양을 만족시키기가 어려우며 평형변조기 사용에 의한 회로의 복잡성으로 인한 제약이 따르게 된다. 본 연구에서는 DDS를 이용하여 고속 주파수도약 시스템을 설계하기 위한 성능평가에 대하여 연구하였으며, 오율 개선의 해석과 도약율 1M hps, 5MHz RF 대역폭의 고속 주파수 도약이 가능한 시스템을 설계하고 성능을 평가하였다.

  • PDF

1x EV-DO 서비스망을 위한 이동통신 중계기의 송신 다이버스티에 관한 연구 (A Study on Transmit Diversity of Repeaters for 1x EV-DO Networks)

  • 김선근;이영섭;김기문
    • 한국정보통신학회논문지
    • /
    • 제8권4호
    • /
    • pp.761-766
    • /
    • 2004
  • 음성급의 무선 통신서비스에 있어 기지국과 단말기간의 다중경로에 의해 발생하는 레이라이 페이딩 현상은 통신품질의 열화(호의 끊어짐, error 발생 등)를 가져오게 된다. 초고속 무선 멀티미디어 서비스(1x EV-DO, W-CDMA 서비스)의 경우, 현재 2세대 이동통신 서비스(64kbps)보다 약 40배 정도 빠른 속도의 서비스를 제공하게 되므로, 이 경우에는 음성급에 비해 레이라이 페이딩 철상에 의한 통신 품질의 열화 문제가 더욱 심화될 것이 예상된다. 실제로 1x EV-DO의 경우 현장 시험결과 복조 방법에 따라 페이딩에 의한 영향을 많이 받는 것으로 나타났다. 이러한 기지국과 단말기간의 다중경로에 의한 레이라이 페이딩 문제를 해결하기 위해서는 이동통신 중계기에 송신 다이버스티 기능이 구현되어야 한다. 본 논문은 RF 중계기에 송신 다이버스티를 구현하여 1x EV-DO망에서 현장시험을 한 결과에 관한 것이다. 시험결과 다이버스티가 없는 경우 보다 최대 데이터 rate가 약 2배정도 증가되는 것을 확인할 수 있었다.

무선통신장치의 원격제어를 위한 통합통신 시스템에 관한 연구 (A Study on the Integrated Communication Systems for a Remote Control of Radio Communication Equipments)

  • 조학현;김기문
    • 한국정보통신학회논문지
    • /
    • 제5권4호
    • /
    • pp.692-698
    • /
    • 2001
  • 해안국과 군대의 기지국에서는 기존의 SSB 와 VHF송수신기에 의한 무선통신은 아직도 매 우 유효하게 사용하고 있다. 해안국과 터미널간에 있어서 기존 SSB 와 VHF 송수신기에 의한 통신상대는 1:1 방식이다. 그러나 이 1:1의 방식을 1대 다수로 한다. 그러면 주파수를 아낄 수 있고, 또 해상에서 조난, 긴급, 안전통신 및 군용통신에서 효과적으로 할 수 있다. 이 논문은 기존의 SSB 나 VHF 통신장비에 ICS를 설치하였다. 이것은 하나의 단말기에서 여러 송수신장비와 통신을 할 수 있다. ICS에 의한 회선교환 방법은 PPT 신호와 음성신호가 변조된 ASK로 원격조정을 한다. ICS 는 회선교환기를 통하여 단말기와 송수신기의 접속을 수시로 변경할 수 있다. 이렇게 하기 위해서 ASK방식에 대한 정보전송, ICS의 시스템 개발 제어 알고리즘의 구현, 멀티프로세서의 시스템 개발, 전송방식, 모니터링을 연구하였다. 따라서 이 논문은 원격제어를 위한 무선통신장비의 회선교환 제어방식으로서 해상통신, 군용통신, 어업통신 등을 위한 무선국 통신장비의 개선에 기여도가 클 것으로 기대된다.

  • PDF