• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.9
• /
• pp.1854-1866
• /
• 1997

This paper proposes a new test case generation technique for a nondeterministic finite state machine by improving the existing UIO sequence generation method. First, a new conformance relationis defined, which is one of prerequisites for automatic test case generation. Because fof the nondeterministic property of torpocols, the output of the systems under test is not known deterministically to the tester. Therefore, tree-like test case generation method is introduced for adaptive testing, in which the next input is selected after observing the previous output. Since the test cases are generated with regarding the inputs and outputs as separate events and are represented in tree notation, the test cases are easily converted into TTCN, the international standard test suite specification language.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.9 no.2
• /
• pp.129-136
• /
• 2005

The vehicle loading test under the strict traffic control is generally carried out as a present practice in an evaluation process of the bearing capacity of a bridge. The quasi-static load test is recently proposed to mitigate the traffic condition of test, and analyze the disturbed acceleration time-history data of free vibration due to the ambient traffic on the bridge by Fourier transform to calculate only the natural frequencies of the bridge. The calculated frequencies have some errors due to the analysis technique as well as the influence of ambient traffic loads, and in addition to it is cumbersome to obtain the free vibration data during a quasi-static load test. In this study, the wavelet transform technique using Morlet wavelet is used to analyze the acceleration data recorded during a quasi-static load test on a bridge and calculate the natural frequencies and the modal damping ratios of the bridge. The study results show that the wavelet transform technique is a reliable and reasonable method to analyze test data and obtain the natural frequencies and the modal damping ratios of a bridge regardless of the data types i.e. free or forced vibrations.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.10a
• /
• pp.153-157
• /
• 1992

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

• Journal of the Korean Geotechnical Society
• /
• v.17 no.3
• /
• pp.77-82
• /
• 2001

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.401-404
• /
• 2003

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1097-1100
• /
• 2001

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

• Journal of the Society of Naval Architects of Korea
• /
• v.59 no.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.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2008.04a
• /
• pp.113-116
• /
• 2008

According to a domestic provision, test levels of the barrier are divided into seven categories(SB1 to SB7) and the corresponding crash conditions are specified. Meanwhile, standard types of concrete barriers with different dimensions have been constructed nation wide. Some studies aimed at finding a proper test level of each type of the concrete barrier have been carried out, but the reliable and consistent results have not been fully established yet. The purpose of this study is to find out the test level corresponding to the concrete barrier of type-2 through static test. AASHTO LRFD was referred to for the loading pattern and a magnitude of the load that simulate a vehicle crash assumed. The test results show that the ultimate strength of the type-2 satisfies the load level required for SB5. However, it seems that the type-2 does not comply with SB6, showing some differences in results from previous analytical studies. In order to take advantage of the static test in establishing the test level of the domestic barrier, more detailed provisions should be specified.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.10-20
• /
• 2009

As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.