• 항공우주기술
• /
• 제6권2호
• /
• pp.45-51
• /
• 2007

요구분석 및 설계 단계를 거쳐 구현된 탑재소프트웨어는 오류를 제거하고 요구규격에 맞도록 모든 기능이 정확히 구현되었는지 확인하기 위한 여러 가지 시험절차를 거치게 되는데, 일반적으로 단위시험, 통합시험, 검증시험 순으로 진행된다. 단위시험은 보통 개인 PC 환경에서 타겟 시뮬레이터를 이용하여 수행되고, 통합 및 검증시험은 목표시스템과 유사한 조건에서 수행할 수 있도록 하드웨어 환경을 제공하는 소프트웨어 검증장치를 이용하여 수행된다. 본 논문에서는 차세대 저궤도위성 탑재소프트웨어 시험환경에 대한 것으로 시험절차와 시험도구, 탑재소프트웨어 검증장치에 대하여 기술한다.

• Composites Research
• /
• 제33권3호
• /
• pp.169-175
• /
• 2020

콘형 복합재 격자 구조체의 강성 평가를 위한 두 종류의 시편 단위 압축 및 인장 시험을 수행하였으며 유한요소해석 결과와 비교하였다. 구조체는 높이별로 반경이 변화하는 콘형이므로 단순 압축 및 인장 시험이 어려우므로 시험 수행이 가능한 형태의 시편 및 지그를 제작하여 시험을 수행하였다. 압축 시험이 가능하도록 단위 격자 구조체를 Subelement 형태로 가공하였으며, 압축 시험을 수행하여 측정된 섬유방향 압축 변형률을 유한요소해석 결과와 비교하여 헬리컬 리브의 강성을 확인하였다. 후프 리브의 강성 평가를 위해서는 구조체에서 후프 링 시편을 가공하여 인장 시험을 수행하였다. 후프 링에 인장 하중을 가하여 굽힘 변형이 크게 발생하도록 하였으며, 두께 방향 섬유체적비를 고려한 유한요소해석 결과와 비교하여 후프 리브의 강성을 확인하였다.

• 한국지반공학회논문집
• /
• 제39권6호
• /
• pp.21-30
• /
• 2023

현장타설말뚝의 연암 근입부의 단위주면마찰력을 산정하는 방법 중 암반 벽면거칠기에 의한 산정 방법이 있다. 현장타설말뚝의 굴착 시공 시 암반 굴착공에 거칠기 장치를 설치하고 벽면 거칠기 모양을 측정하고 그 결과를 이용하여 주면마찰력을 산정하는 것이다. 본 연구에서는 암반벽면의 거칠기를 직접 측정한 결과와 하중전이 시험결과를 비교분석하여 거칠기시험에 의한 단위주면마찰력을 말뚝의 발생 변위에 대응하는 단위 주면마찰력으로 변환할 수 있도록 저감계수 R_f = -0.14n + 1.48(여기서, n은 하중전이시험에서 도출된 발생변위 δ를 말뚝직경 D로 나눈 변위비)을 제안하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권2호
• /
• pp.232-241
• /
• 1999

기존의 연구는 FSM을 기본으로 제어흐름만을 분석하거나 시험목적을 시험열 생성 단계에서 고려하지 않음으로써 시험열의 실제 적용에 있어 많은 문제점을 갖는다. 따라서 이 연구에서는 SDL로 기술된 프로토콜 명세서를 시멘틱 모델인 LTS로 변환 후 LTS로부터 서브투어 단위로 시험열을 생성하였다. 그리고 생성된 시험열을 TTCN으로 변환하고 단위 테스트를 위한 추가 정보로서 프리앰블, 포스트앰블, 리셋 정보등을 LTS로부터 생성하였다. 또한 LTS로부터 한 노드에서 전이 가능한 모든 경로를 트리로 표현함으로서 향상된테스트 커버리지를 갖는 서브투어를 생성하였으며 SDL을 시맨틱 모델인 STS로의변환 EH한 기존의 입력과 출력만을 고려하는 FSM에서 발생하는 비결정성 문제를 해결할 수 있다. 따라서 이 연구에서의 테스트 목적이 고려된 TTCN 표현의 테스트 케이스 생성은 적합성 시험을 위한 테스스 케이스의 실제 적용 및 프로토콜 구현의 생산성을 높일 수 있으며 테스팅 환경의 기반을 제공한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.143-146
• /
• 2004

무선 사용자의 증가에 따라 802.11 표준에 대한 취약점이 대두되었다. 무선랜에서 보안을 위한 IEEE 워킹 그룹에서는 EAP, 802.1x, RADIUS, TKIP, 802.lli등의 표준안을 제시 하여 최근 WPA 가 Wi-Fi 에 의해 802.lli의 중간 단계로써 제안되어 구현되고 있다. 본 논문에서는 향후 각 회사 별 WEP 취약점 보완을 위한 패켓단위의 IV변경을 PRF 알고리즘에 기반하여 암호화를 리눅스 디바이스 드라이버 레벨에서 시험 구현하였다. 임베디드 시스템에 적용하기 위한 구현 타당성을 위하여 PXA255 프로세서에서 client를, 인텔 PC에서 HOST AP 환경을 시험환경으로 사용하였다.

• 한국재난정보학회:학술대회논문집
• /
• 한국재난정보학회 2023년 정기학술대회 논문집
• /
• pp.337-338
• /
• 2023

본 논문에서는 유류 오염물의 흡수 반응이 가능한 반응재료에 대하여 지중 구조 재료로서의 적용성 검토를 목적으로 배합조건에 따른 다짐시험을 실시하였다. 다짐시험 결과, 주요 반응물질이 최적함수비에 미치는 영향은 미미하였으나, 최대건조단위중량의 영향인자로 평가되었다.

• 한국컴퓨터정보학회논문지
• /
• 제13권2호
• /
• pp.19-29
• /
• 2008

단위 시험은 모듈의 소스 코드를 면밀히 검토하면서 논리적 오류나 문장 오류 등이 있는지 분석하는 화이트박스 시험이 가능하다. 반면 시스템 수준의 기능 시험은 규모가 크기 때문에 시험 데이터를 입력한 후 출력된 결과가 예상 결과와 같은지 비교하는 블랙박스 시험이 주를 이룬다. 이러한 시스템 시험 단계에서 사용하는 블랙박스시험은 오류를 발견하더라고 수정을 위해 소스 코드를 추적하기 어려운 문제점이 있다. 뿐만 아니라 시스템 시험 단계에 화이트박스 시험을 사용하는 것은 시험 대상의 추상 수준 달라 쉽지 않다. 이에 본 논문에서는 시스템의 기능처럼 높은 추상 수준을 시험 대상으로 하되 소스 코드 수준까지 화이트박스 스타일로 시험할 수 있는 현실적이고 통합된 시스템 수준의 수직적 시험에 대해 제안한다. 그리고 어떻게 수직적 시험을 적용하는지 UML명세 모델에서 소스코드까지 오류를 추적하는 방법을 사례를 통해 설명하고 더불어 오류 추적의 효과성을 보였다.

• 정보보호학회지
• /
• 제13권6호
• /
• pp.55-66
• /
• 2003

본고에서는 개발자에게 단위, 통합 및 서비스 시험에 대한 시험과정 보증문서 작성 기법에 대한 참고자료를 제공하기 위하여, 국내에서 개발된 침입차단시스템과 침입탐지시스템 평가기준에 의한 시험과정 보증요구사항을 분석하여 소프트웨어 공학에 기반한 전통적인 구조적 방법론을 토대로 한 시험과정 보증문서 작성 경험을 기술하고자 한다. 따라서, 개발자는 사용자 요구사항에 의한 객관적이고 체계적인 시험과정을 이해하여 시스템 개발에서 발생할 수 있는 오류를 줄일 수 있으며 또한, 정확한 보안 기능명세 및 시험보증 설계$.$개발$.$구현을 통하여 제품의 안전성 및 신뢰성 향상에 기여할 것으로 기대된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2004년도 학술발표회
• /
• pp.1188-1192
• /
• 2004

본 연구는 그동안 우리나라 강우-유출분석에 주로 이용되어 왔던 Clark 단위도를 선택하여 그 매개변수와 유역반응과의 관계를 고찰하였다. 대상유역으로 국제수문개발계획 시험유역 하나인 위천유역과 남강, 주암댐을 대상유역으로 선정하여, 실측강우-유출자료에 근거하여 최적화된 단위도를 유도한 후, Clark 단위도의 집중시간(Tc)과 저류상수(K)를 산정하였다. 본 연구를 수행한 결과, 유역에서의 각 홍수사상별 첨두홍수량에 대한 Clark 단위도의 매개변수인 집중시간, 저류상수와 유역반응과의 관계를 규명할 수 있었다. 집중 시간과 저류상수는 모두 작은 홍수사상에서는 지수적으로 감소하지만 어느 홍수량 크기 이상부터는 거의 일정한 집중시간을 가짐을 알 수 있었다. 이는 큰 홍수사상에서는 유역의 선형성을 재현하고 있음을 보여주는 것이다. 또한, 이를 통해 우리나라에서 홍수량 산정시에 사용되어 오고 있는 대표단위도 개념은 큰 홍수사상에 적용될 경우에는 과소한 홍수량을 산정하므로 새로운 개념의 단위도 적용이 필요하다고 판단된다.

• 전자공학회논문지
• /
• 제53권11호
• /
• pp.139-147
• /
• 2016

본 연구는 한화탈레스에서 2011년부터 K-55A1 개량사업 중 사격통제장치(통신제어기, 전시통제기, 제원표시기, 전원공급기, 축전지)의 양산 생산에서 장비의 신뢰성을 향상하기 위해 제품의 입고 시점부터 유닛시험(회로카드 및 유닛 단위), 번인시험(초기고장배제), 통합 시스템 시험(장비 연동단위)의 각 단계별 생산시험장비개발에 대한 설계 방안을 기술하였다. K-55A1의 사격통제장치는 자주포를 제어하는 '머리'의 역할을 하며, 자주포의 여러 장치들(항법장치, 포구초속측정기 등)과 전기적, 물리적 연결을 한다. K-55A1 사격통제장치가 전력화되어 운용 시 한치의 오차 없이 정상 동작하기 위해서는 입고부터 출고 전까지 각 단계에 맞는 시험장비가 필요하다. 생산시험 장비이기에 시험의 절차를 최대한 자동적으로 운용할 수 있도록 구현하였을 뿐만 아니라 자주포와 연동 가능한 환경으로 구축할 수 있도록 생산시험장비 설계초기부터 초점을 맞추었다. 이러한 생산시험장비 개발을 통하여 K-55A1 사격통제장치가 전력화되어 운용 시 최상의 성능을 구동하여 대한민국 국방력을 강화하는데 일조 할 것이다.