• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 한국통신학회논문지
• /
• 제22권9호
• /
• pp.1854-1866
• /
• 1997

본 논문에서는 기존의 UIO순열을 이용하는 방법을 개선하여 비결정적 유한상태기계에서 시험 경우를 생성하는 방법에 대해서 소개하였으며, 시험 경우의 자동생성을 위해서 필수적인 사항인 적합성 관계의 형식적인 정의를 새롭게 정의하였다. 또한 프로토콜의 비결정적인 성질 때문에 시험기는 한 입력을 가했을 때 어떤 출력을 낼지 미리 시험기의 입장에서 알 수 없으므로 적응력있는 시험을 위해서 트리형태의 시험 경우를 생성하는 방법을 소개하였고 시험 경우를 입력과 출력을 분리해서 고려함으로써 시험 경우 기술 언어인 TTCN으로의 변환을 쉽게 하였다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제9권2호
• /
• pp.129-136
• /
• 2005

교량의 안전진단 과정에서 안전성 평가를 위해 전면교통통제 하에 차량재하시험이 일반적으로 실시된다. 교통통제의 단점을 개선시킨 최근에 제안된 의사정적재하시험에서는 계측된 시간이력 데이터 중 자유진동 부분을 퓨리에변환시켜 고유진동수를 구한다. 이렇게 구해진 고유진동수에는 분석기법에 따른 오차가 포함되며, 자유진동 데이터의 획득에도 다소 애로사항이 따른다. 이 연구에서는 Morlet wavelet를 모웨이블렛으로 하는 웨이블렛변환을 의사정적재하시험으로 계측한 데이터에 적용하여 구한 고유진동수와 감쇠율이 신뢰성을 가지며, 이 분석기법이 의사정적재하시험에 의한 차량재하시험의 자료 분석에 적용 가능하고 타당성이 있음을 보인다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1992년도 추계학술대회 논문집
• /
• pp.153-157
• /
• 1992

여러 가지 공학 재료들의 기계적인 특성이나 물리적인 특성들은 하중, 온도, 환경과 같은 재료들이 사용되는 여러 가지 조건들에 적합하게 대응되어 결정되어야 한다. 탄화텅스텐계의 초경합금은 내충격성, 내마모성, 내식성, 고항절력등 공구에 필요한 요구사항을 만족시키기 때문에 여러 가지 공구용으로 많이 사용되어 왔다. 본 연구에서는 충격시험기의 텁에스트레인 게이지를 붙여 회로를 구성한 후, 충격실험에서 얻게 되는 최대점의 하중신호를 정적보정 및 동적보정을 사용하여 하중값으로 환산하여 동적 균열개시인성치를 구하였다.

• 한국지반공학회논문집
• /
• 제17권3호
• /
• pp.77-82
• /
• 2001

반복하중을 받는 현장타설말뚝에 대한 두 가지의 주요 관심사항은: (a) 지지력의 변화 가능성 그리고 (b) 누적변형량에 의한 기초의 가능성 저하이다. 이러한 인자들에 대한 평가를 위하여, 모형점토지반에 설치된 24개의 모형현장타설말뚝에 대한 정적 및 동적경사재하시험(12개의 압축 및 12개의 인발)을 수행하였다. 경사반복압축재하시험에서는 반복하중에 의한 지지력의 변화가 무시할 정도였으며, 누적변형량은 송전철탑의 기능성에 영향을 줄수도 있을 것으로 사료된다. 그러나, 경사반복인발시험에서는 과도한 누적변형이 발생하게 되어 결과적으로 현장타설말뚝주변과 점토사이의 접촉면적이 감소하는 것으로 나타났다. 접촉면적의 감소 결과, 반복경사인발하중에 의해서 경사인발지지력의 현저한 감소가 일어난다는 사실을 알 수 있었다. 정적경사인발지지력의 50에서 70퍼센트에 해당되는 반복하중을 받는 대부분의 현장타설말뚝들은 인발되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (상)
• /
• pp.401-404
• /
• 2003

내장형 시스템용 웹 서버는 일반 웹 서버와는 매우 다른 요구 사항을 가지고 있다. 예를 들어 작은 메모리의 사용, 특수 목적으로 정의된 정적 및 동적 페이지의 제공, 웹 서버 내부에 기본 시스템 및 네트워크 관리 기능의 내장, 내장형 응용 프로그램과 웹 서버와의 유연한 연결 그리고 다양한 내장형 프로세서의 지원 등의 요구 사항이 있다. 본 논문은 이러한 내장형 시스템용 웹 서버의 요구 사항을 기술하고, 이들 요구 사항을 바탕으로 우리 고유의 내장형 웹 서버인 "웹박스(Webox)"를 설계하고 내장형 리눅스 개발 환경에서 이를 구현하는 방법을 기술한다. 현재 내장형 웹 서버 웹박스의 알파 버전이 개발되어 시험 중이며 최종 결과물이 완성되면 공개 소프트웨어로 오픈할 예정이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
• /
• pp.1097-1100
• /
• 2001

소프트웨어 개발자로부터 독립된 소프트웨어 시험자가 수행하는 소프트웨어 시험은 소프트웨어의 안전성 향상을 위해 필요하다. 컴퓨터기반의 디지틀시스템으로 설계되는 일체형원자로 MMIS에 적용하기 위한 소프트웨어 시험 계획을 개발할 필요가 있다. 본 논문은 소프트웨어 시험 계획을 소프트웨어시험 조직 구성, 시험 문서, 시험 절차, 시험 방법을 중심으로 제시한다. 소프트웨어 시험 방법은 원시코드 정적분석과 동적시험을 구분하여 기술한다. 본 논문에서 제시된 소프트웨어 시험 계획은 원자력 규제기관에서 요구하는 소프트웨어 시험 요구사항을 만족한다. 본 논문을 통해 제시된 소프트웨어 시험 계획을 일체형원자로 MMIS 소프트웨어 개발 시 적용하여 소프트웨어 고장율 데이터를 수집할 예정이다.

• 대한조선학회논문집
• /
• 제59권5호
• /
• pp.296-305
• /
• 2022

In order to investigate maneuvering characteristics of KCS in waves, captive model test in regular waves was conducted. Purpose of the test is measuring maneuvering hull forces when ship is maneuvering in waves. Model test was carried out using CPMC (Computerized Planar Motion Carriage) of ocean engineering basin in KRISO (Korea Research Institute of Ships and Ocean engineering). Total 6 degrees-of-freedom motion were fixed by two points supporting captive model test device, which is specially designed for this test. This system estimates 6 degrees-of-freedom forces and moments through 12 strain gauge signals. Mapping matrix from strain gauge signals to 6 degrees-of-freedom forces and moments was derived by a well-organized calibration test. Static drift test was conducted in calm sea and in regular waves with various wave conditions. Hydrodynamic coefficients related to drift angle were extracted for each wave conditions, and the effect of waves on course stability was analyzed.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2008년도 춘계 학술발표회 제20권1호
• /
• pp.113-116
• /
• 2008

국내 건설교통부 규정에서는 방호울타리(방호벽 및 중앙분리대)의 등급을 SB1${\sim}$SB7로 나누고 각 등급이 수용해야 할 충돌차량의 중량, 속도 및 각도를 명시하고 있다. 한편, 국내의 콘크리트 방호울타리에는 제원에 따라 형식-1, 형식-2 등의 한국도로공사 표준도들이 널리 사용되고 있다. 각 방호울타리 형식에 대응되는 등급을 규명하기 위한 해석 및 실험적 연구가 수행되어져 왔으나, 아직까지 명확한 기준이 확립되었다고 보기는 어렵다. 이 연구에서는 대표적으로 방호벽 형식-2에 해당하는 등급을 정적 실험을 통하여 규명해 보고자 하였다. 정적 실험시의 재하 형태와 등급 판정기준이 되는 충돌하중은 국내의 각 등급과 유사하게 대응되는 AASHTO LRFD의 시험 등급을 참조하였다. 실험 결과에 의하면 형식-2는 SB5 등급을 만족하고 있는 반면 SB6 등급에 대한 만족여부는 다소 명확치 않은 것으로 나타났다. 이러한 결과는 기존의 해석적인 연구와 차이가 있으므로 추가적인 연구를 요하는 사항이다. 방호벽의 성능 및 해당등급을 평가하기 위한 기존의 차량충돌실험 및 해석에 부가하여, 비교적 정밀한 거동 계측이 가능하고 극한 상태까지 재하 할 수 있는 정적 실험을 통한 평가를 위해서는 국내 기준의 각 등급별로 충돌하중 및 재하방법을 구체적으로 명시하는 것이 바람직할 것으로 판단된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권1호
• /
• pp.10-20
• /
• 2009

단위 시험은 지속적이고 반복적으로 수행되어야 하기 때문에 높은 비용을 필요로 하는 작업이다. 단위 시험의 자동화에 대한 많은 연구가 있었으나 테스트 데이타의 자동 추출에 대한 연구는 큰 성과를 이루지 못하고 있다. 본 연구에서는 소프트웨어의 소스 코드로부터 테스트 데이타를 자동으로 추출하는 방안에 대해 논의하고 각 단계의 알고리즘을 제시하였다. 또한 테스트 데이타 추출 자동화에 관한 이슈를 소개하고 테스트 데이타 추출 자동화 도구 CUTIG를 소개한다. CUTIG는 실제 소스코드를 이용하여 테스트 데이타를 추출하므로 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 테스트 데이타를 생성할 수 있다. 또한 이 도구를 통해 개발자가 직접 테스트 데이타를 작성하는 데 소요되는 비용을 절감할 수 있기를 기대한다.