• 제목/요약/키워드: 검증 및 테스트

검색결과 942건 처리시간 0.032초

SDRAM 의 AC 변수 테스트를 위한 BIST구현 (The Implementation of the Built-In Self-Test for AC Parameter Testing of SDRAM)

  • Sang-Bong Park
    • 정보학연구
    • /
    • 제3권3호
    • /
    • pp.57-65
    • /
    • 2000
  • 본 논문에서는 내장된 SDRAM 에 대한 기능 및 AC 변수를 테스트하는 BIST 회로의 알고리듬 및 회로 구현을 기술하였다 제안된 BIST 회로를 사용하여 내장된 SDRAM 의 고장난 비트 셀의 어드레스 위치를 출력시킴으로써 Redundancy 회로 사용에 관한 정좌를 제공하도록 설계하였다. 또 실지 동작 주파수에서의 내장된 SDRAM 의 AC 변수에 대한 테스트를 수행하여 메모리의 오동작이 발생된 경우 어떤 AC 변수가 설계 사양을 벗어나는지를 출력하도록 구현하였다. $0.25\mu\textrm{m}$ 셀 라이브러리를 이용하여 회로 합성하는 경우 전체 게이트 수는 약 4,500 개 정도이고, Verilog 레지스터 전송 언어를 사용하여 설계 및 시뮬레이션을 통하여 검증하였다. 하나의 AC 변수에 대해서 2Y-March 14N 알고리듬으로 테스트하는 경우 100Mhz 동작 주파수에서 테스트 시간은 200ms 정도이다.

  • PDF

S-200 테스트베드 Questionnaire 기능 설계 및 구현방안 연구 (S-200 Testbed Questionnaire Functional Design and Implementation Study)

  • 김태희;조경민;오세웅
    • 한국항해항만학회:학술대회논문집
    • /
    • 한국항해항만학회 2023년도 추계학술대회
    • /
    • pp.192-193
    • /
    • 2023
  • 국제항로표지협회(IALA)는 S-201 데이터 형식을 준수하는 데이터 세트를 생성과 관련된 제품 사양 개발과 검증을 위해 S-200 표준모델과 테스트 데이터를 활용하고 있다. 현재는 S-200 테스트베드 DB성능 개선 및 IALA Questionnaire 설문 기능 확장에 집중하고 있다. 본 연구에서는 S-200 테스트베드에 Questionnaire를 추가 관리함에 따라 필요한 기능 설계 및 구현 방안에 대해서 연구하고자 한다.

  • PDF

무인쌍동선의 실해역 DP 성능평가를 위한 시스템 및 모형시험 검증 기법 개발 (A development of the dynamic positioning(DP) system and model testing for performance estimation on katamaran type unmanned surface vehicle(USV) at open sea)

  • 송형도;조석규;손남선
    • 한국항해항만학회:학술대회논문집
    • /
    • 한국항해항만학회 2022년도 추계학술대회
    • /
    • pp.188-188
    • /
    • 2022
  • 선박의 운용 효율을 높일 수 있는 방법인 무인 운용체계는 근래에 많은 관심을 받고 연구되어 왔다. 특히 무인수상선과 무인수중체의(USV-AUV)의 복합 운용 분야는 그 동안 어려움이 있었던 심해저 탐사 및 특수 임무 활용에 용이하여 많은 연구가 수행되고 있다. 본 연구에서는 쌍동선 형태인 무인수상선이 모선이 되고 무인수중체가 결합하여 충전하고 다시 진수하여 원거리 및 심해저 조건에서 무인수중체가 운용 가능하도록 하는 시스템의 일부인 USV-AUV의 docking을 위한 DP 시스템을 개발하고 선박해양플랜트연구소 해양공학수조에서 모형시험을 통해 이를 검증하였다. 또한, 실제 제작된 무인쌍동선과 추진 시스템을 활용하여 모형시험을 통해 검증한 DP 알고리즘을 적용하여 화성 제부도 앞바다에서 실선 DP 테스트를 수행하였다. 실 해역에서의 DP 시스템 테스트는 정확한 환경 조건의 계측 및 구현이 어려워 모형시험과 같은 정량적인 평가는 어렵지만, 정성적으로 DP 시스템이 작동하는 것을 확인할 수 있었다.

  • PDF

직렬 ATA용 8b/10b 인코더와 디코더 설계 및 구현 (Design and Implementation of 8b/10b Encoder/Decoder for Serial ATA)

  • 허정화;박노경;박상봉
    • 한국통신학회논문지
    • /
    • 제29권1A호
    • /
    • pp.93-98
    • /
    • 2004
  • 직렬 ATA(Advanced Technology Attachment) 인터페이스는 비교적 저렴하고 성능이 우수하며. 현재 고속의 데이터 전송과 처리량을 요구하는 수요에 적합한 기술이다. 본 논문에서는 직렬 ATA의 링크층에서 오류 감지와 직류 balance를 위한 동작 주파수 150MHz에서의 Bb/10b 인코더 및 디코더의 설계 및 구현 방법과 제작된 칩의 테스트를 위한 테스트 보드 및 테스트 방법을 제시하였다. 제안된 인코더 및 디코더는 각각 5b/6b 과 3b/4b으로 나뉘어서 인코딩 되도록 설계하였으며, Top-Down 설계 방식을 사용하여 Verilog HDL로 기술하고. Synopsys로 합성된 넷리스트로 게이트 수준의 동작을 확인하였다 제작된 칩은 삼성 $0.35{\mu}m$ CMOS 표준 셀 라이브러리를 이용하였고. 칩 면적은 1.5mm * 1.5mm 이며. 전원 전압은 3.3V를 사용하였다. 테스트 보드 및 FPGA를 통하여 생성된 입력 테스트 벡터를 이용하여 100MHz로 정상 동작 검증을 테스트하였고, ATS2 테스트 장비를 이용하여 100MHz 동작 검증을 하였다. 본 논문에서 제안된 Bb/10b 인코더 및 디코더 블록은 고속의 데이터 통신을 위한 IP로써 활용 가능하다.

암호 알고리즘 구현 적합성 평가 시스템 설계 (Design of Validation System for a Crypto-Algorithm Implementation)

  • 하경주;서창호;김대엽
    • 한국통신학회논문지
    • /
    • 제39B권4호
    • /
    • pp.242-250
    • /
    • 2014
  • 정보보호 시스템의 수준 향상과 안전성 및 신뢰성 확보를 위해서는 암호 알고리즘 자체에 대한 검증뿐만 아니라 암호 알고리즘을 구현한 구현물에 대한 검증이 필요하다. 특히, 암호 알고리즘에 대해서 국내외적으로 폭 넓은 표준화가 진행되고 있으며, 이들 암호 알고리즘에 대한 기술 표준을 정확하게 구현하는 것은 정보보호 시스템의 안전성, 신뢰성 향상 및 정보보호 시스템 간의 상호 연동성 확보면에서 매우 중요하다. 따라서 본 논문에서는 X9.62 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 암호 알고리즘의 검증도구를 설계 및 구현하였다. 구현된 검증도구는 DES, SEED, AES, SHA-1/256/384/512, RSA-OAEP V2.0, V2.1, ECDSA, ECKCDSA, ECDH 등을 이용한 모든 정보보호 제품에 적용할 수 있다. 아울러 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 검증 대상이 온라인상에서 검증될 수 있도록 하였다.

Transformer를 이용한 유해남조 발생 예측 모델 구축 (Building of cyanobacteria forecasting model using transformer)

  • 이한규;김진휘;변서현;신재기;박용은
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2023년도 학술발표회
    • /
    • pp.515-515
    • /
    • 2023
  • 팔당호는 북한강과 남한강이 합류하여 생성된 호소로 수도인 서울과 수도권인 경기도 동부지역의 물 공급을 담당하는 중요한 상수원이다. 이러한 팔당호에서 유해남조 발생은 상수원수 활용과 직접적으로 연관되어 있어 신속하고 정확한 관리 및 예측이 필요하다. 본 연구에서는 안전한 상수원 활용을 위해, 딥러닝 기법을 이용하여 유해남조 사전 예측 모델을 구축하고자 하였다. 모델 입력 변수는 2012년부터 2021년까지 10년 동안의 주간 팔당호 수질(수온, DO, BOD, COD, Chl-a, TN, TP, pH, 전기전도도, TDN, NH4N, NO3N, TDP, PO4P, 부유물질)과 수문(유입량, 총방류량), 기상 정보(평균기온, 최저기온, 최고기온, 일 강수량, 평균풍속, 평균 상대습도, 합계일조량), 그리고 북한강과 남한강 유입지점의 남조 세포 수를 사용하였다. 모델 출력 변수는 수질, 수문, 기상 요인으로 인한 남조의 성장 발현 시기를 고려하여 1주 후의 댐앞 남조 세포수를 사용하였다. 사용한 딥러닝 기법은 최근 주목받고 있는 Temporal Fusion Transformer (TFT)를 사용하였다. 모델 훈련용 데이터와 테스트용 데이터는 각각 8:2의 비율로 나누었으며, 검증용 데이터는 훈련용 데이터 내에서 훈련 데이터와 검증 데이터를 6:4 비율로 분배하였다. Lookback은 5로 설정하였고, 이는 주단위 데이터로 구성된 데이터세트의 특성을 반영한 것이다. 모델의 성능은 실측값과 예측값을 토대로 R-square와 Root Mean Squared Error (RMSE)를 계산하여 평가하였다. 모델학습은 총 154번 반복 진행되었으며, 이 중 성능이 가장 준수한 시점은 54번째 반복 시점으로 훈련손실 대비 검증손실이 가장 양호한 값을 나타냈다(훈련손실:0.443, 검증손실 0.380). R-square는 훈련단계에서 0.681, 검증단계에서 0.654였고, 테스트 단계에서 0.606으로 산출되었다. RMSE는 훈련단계에서 0.614(㎍/L), 검증단계에서 0.617(㎍/L), 테스트 단계에서 0.773(㎍/L)였다. 모델에 사용한 데이터세트가 주간 데이터라는 특성을 고려하면, 소규모 데이터를 사용하였음에도 본 연구에서 구축한 모델의 성능은 양호하다고 평가할 수 있다. 향후 연구에서 데이터세트를 보강하고 모델을 업데이트한다면, 모델의 성능을 더욱더 개선할 수 있을 것으로 기대된다.

  • PDF

테스트 주도 개발을 위한 유연한 단위 테스트 도구로 변경 (A Flexible Unit Testing Tool for Test Driven Development)

  • 전석환;김정동;백두권
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권2호
    • /
    • pp.140-144
    • /
    • 2009
  • 테스트 주도 개발의 장점을 얻기 위해서는 효율적인 테스트 도구의 사용은 필수적이다. 기존의 통합 자동화 테스트 도구는 표준화 되지 않은 스크립트(script) 언어를 사용하거나 단위 테스트에 적합하지 않은 경우가 많다. 기존의 단위 테스트 도구는 대부분 프로그램의 원시코드에 테스트를 위한 코드가 추가된다. 이것은 원시 코드의 복잡도를 높이고 테스트 케이스 변경 시 원시코드의 여러 부분을 수정해야 하는 문제점이 있다. 본 논문에서는 테스트 주도 개발 시 개발자가 표준 자바 스크립트(Java script)를 이용하여 테스트 케이스 수정을 용이하게 할 수 있도록 유연한 테스트 도구의 설계를 제안하고 제안된 설계의 가용성을 검증하고자 테스트 도구를 구현하였다.

컴포넌트 테스트를 위한 래퍼의 자동 생성에 관한 연구 (Automated Generation of Wrapper to Test Components)

  • 송호진;최은만
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제32권8호
    • /
    • pp.704-716
    • /
    • 2005
  • 미리 만들어진 컴포넌트를 조립하여 새로운 소프트웨어를 개발하는 방법은 개발비용과 기간을 획기적으로 줄일 수 있다는 장점으로 전통적인 방법의 대안이 되고 있다. 하지만 컴포넌트를 통합 조립하면서 신뢰도를 확인하고 새 환경에 맞는지 테스트하는 과정이 복잡하고 비용이 많이 소요된다면 효과적인 방법이 될 수 없다. 대규모 시스템에 효율적으로 사용, 조림될 컴포넌트들은 원시코드 형태로 배포되지 않아서 새 환경에 적합한지 시험하고 관찰하는 철저한 테스트가 어렵다. 이러한 문제점을 해결하기 위하여 컴포넌트가 재사용되었을 때 쉽게 검증되도록 미리 테스트 모듈을 내장한 Built-In 테스트 방법이 있지만 컴포넌트의 기능이 다양하고 복잡하게 되면 컴포넌트에 포함된 테스트 모듈의 규모가 커지고 다양하고 융통성 있는 테스트가 어려워진다. 이 논문에서는 컴포넌트의 Built-In 테스트 기능을 대체할만한 컴포넌트 테스트를 위한 래퍼(wrapper)를 제안하고 이를 설계, 구현하여 실용성을 보였다. 래퍼를 자동 생성하여 테스트하면 컴포넌트의 테스트 준비 과정에 드는 노력이 줄어들고 테스트를 다양한 측면에서 테스트해 볼 수 있다.

실감형 화재관리기술 검증을 위한 테스트베드 적용방안 연구 (A Study on Application of Test Bed for Verification of Realistic Fire Management Technology)

  • 최우철;김태훈;윤준희
    • 한국산학기술학회논문지
    • /
    • 제22권3호
    • /
    • pp.745-753
    • /
    • 2021
  • 최근 밀양 세종병원(2018), 종로 고시원(2018), 김포 요양병원(2019) 등 재난약자를 포함한 다수의 시민들이 사용하는 다중이용시설물에서 대형 화재가 발생하여 많은 인명 및 재산피해가 초래되고 있다. 이러한 피해를 줄이고자 여러 시범적인 연구가 진행되었지만, 최신 공간정보 및 IoT 기술을 활용한 첨단 화재대응기술 개발은 아직 미흡한 실정이다. 본 연구에서는 현업 적용기술 개발을 위해 실감형 재난관리기술 연구를 기반으로 도출된 세부 기술들을 실증할 수 있는 테스트베드를 구축하였다. 세부적으로는 첫째, 테스트베드의 건축물 조건 및 후보지를 조사·분석하여 연구대상 건축물의 만족조건과 후보대상 건축물을 도출하였으며, 둘째, 테스트베드를 선정하여 필요한 센서 및 시설물 인프라 구축 등 성과물 실증을 위한 기반을 마련하였다. 마지막으로 기술실증을 위한 시나리오를 제작하였으며, 테스트베드용 시스템을 개발하여 실제 테스트베드 현장 실증을 성공적으로 수행하였다. 해당 테스트베드는 실감재난관리 연구사업의 중간성과물을 검증하고 개발기술들의 질적 향상을 높이는 데 기여할 것으로 예상된다. 본 연구가 향후 타 연구과제에서 테스트베드 구축 시 참조할 수 있는 모범사례가 되어, R&D 성과의 가치를 더욱 높일 수 있기를 기대한다.

음성 보안을 제공하기 위한 가상화 기반의 VoIP 설계 및 검증 테스트 (Design and Verification Test of Virtualized VoIP to support Secured Voice Communication)

  • 차병래;박선;김종원
    • 한국정보통신학회논문지
    • /
    • 제18권10호
    • /
    • pp.2462-2472
    • /
    • 2014
  • 최근 컴퓨팅 패러다임의 변화와 다양한 서비스를 지원하기 위한 VoIP 기술이 재조명 받고 있다. 본 논문에서는 VoIP 기반의 음성 보안 서비스를 지원하기 위한 소프트웨어 PBX인 오픈소스 Asterisk와 하드웨어 플랫폼, 그리고 모바일 단말기간의 시스템 설계 및 구현하였다. 특히 하드웨어 플랫폼에서는 싱글보드에서부터 가상화를 위한 XenServer 기반의 서버들을 이용한 다양한 플랫폼을 지원하도록 설계하였다. 그리고 이를 기반으로 한 네트워크 트래픽의 지연 테스트와 음성 보안 테스트를 통해 검증하였다.