• 품질경영학회지
• /
• 제49권3호
• /
• pp.269-279
• /
• 2021

Purpose: The purpose of this study was to suggest weapon system specifications for requirements of Condition-Based Maintenance(CBM/CBM⁺). Methods: The military documents and case studies with regard to condition-based maintenance were reviewed. Representative Korea defense specifications of weapon system such as an aircraft, a C4ISR etc. were analyzed and investigated the level of requirement for maintainability was. Results: Condition-based maintenance was defined in both U.S. instruction and Korean directive. While deparment of defense(U.S.) provide a guidebook for CBM⁺, detailed instruction was not sufficient for Korean. Ministry of national defense(ROK) define the CBM⁺ by means of IPS element which should be developed along with the system development. The maintainability was barely included in Korean defense specifications, except for BIT(Built-in test) function. As a first step for defining the condition-based maintenance requirement in defense specification, this study suggests a standard form for data needed to acquire according to types of system, fault, failure, and so on. Conclusion: The empirical researches on CMB/CBM⁺ with domestic weapon systems are not enough, and a logic which leads the maintenance strategy to CMB/CBM⁺ is not solved. Through technical researches and institutional improvements including this study, we hope that condition-based maintenance would be fully established in the Korean defense field.

• 한국항공우주학회지
• /
• 제32권3호
• /
• pp.82-87
• /
• 2004

항공기 구조 개발에 관련된 MlL-HDBK-1530 에는 구조 건전성을 확보하기 위한 요구사항이 기술되어있다. 기체 구조의 내구성 및 손상허용성은 요구항목 중의 하나로서 관련 규격서의 요구조건과 절차에 따라 해석 및 시험을 통하여 입증되어야 한다. 본 논문에서는 T-50 항공기 (고등 훈련기)의 안전성 및 내구성 평가를 위한 전기체 내구성 시험하중 설계에 대하여 기술하였다. 내구성 시험하중 설계는 대한민국 공군과 미군사규격서의 요구조건 및 절차에 따라 수행되었다. 실제 비행상태 구현을 위한 전기체 부유식 시험조립 기법과 비행대비행 하중 스펙트럼의 모든 하중을 정확하게 모사 할 수 있는 시험 하중 최적화 기법 및 6-자유도 평형기법을 개발하여 적용하였다. 개발된 기법은 향후 항공기 전기체 구조시험을 수행하는데 있어서 유용한 시험하중 설계 기법임을 확인하였다.

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

사전 제조된 컴포넌트들을 재사용하여 애플리케이션을 개발하는 컴포넌트 사용자의 관심사는 사용자의 요구사항에 따라 적절히 다른 컴포넌트들과 협동하는지 여부를 확인하는 것이다. 따라서 컴포넌트 기반 소프트웨어의 경우 개발 환경이 아닌 새로운 환경에서 소프트웨어를 구성하는 컴포넌트들이 잘 연동되는지를 테스트할 수 있는 상호운용성 테스트에 관련된 연구가 중요시되고 있다. 본 논문에서는 컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 테스트 모델을 정의하고, 유스케이스 명세로부터 테스트 모델을 생성한 후 생성된 모델로부터 테스트 케이스를 생성하는 기법을 제안한다. 또한 테스트 모델로부터 테스트 시퀀스를 생성하는 프로시저를 구현한 도구를 소개한다.

• 한국군사과학기술학회지
• /
• 제14권5호
• /
• pp.888-896
• /
• 2011

A white smoke hand grenade, KM8 is used to make smoke screen in order to provide visual field interceptions or signals. The grenade fails when its time to emit smoke is longer than the specified emission time so that the smoke concentration becomes lighter. This paper considered failure in smoke emission time, and evaluated its storage lifetime. The main objective of this paper is to modify the present specification limits of smoke emission time for the efficient process control in manufacturing, through analyzing effect of its specification change on the storage lifetime, based on the lifetime evaluation results. Accelerated degradation test was performed and then failure in smoke emission time was reproduced from the test. And estimated storage lifetimes from the accelerated test results was compared to evaluated lifetimes of grenades using the ASRP data. Past process testing results of the grenade in manufacturing were analyzed in this paper. Then, each storage lifetime for the specifications, ${\pm}3$ and ${\pm}5$ in seconds, extended from the current specification in manufacturing were estimated using the past testing results, and compared to one another.

• Advances in aircraft and spacecraft science
• /
• 제2권2호
• /
• pp.217-232
• /
• 2015

To prevent over-testing of the test-item during random vibration testing Scharton proposed and discussed the force limited random vibration testing (FLVT) in a number of publications. Besides the random vibration specification, the total mass and the turn-over frequency of the load (test item), $C^2$ is a very important parameter for FLVT. A number of computational methods to estimate $C^2$ are described in the literature, i.e., the simple and the complex two degrees of freedom system, STDFS and CTDFS, respectively. The motivation of this work is to evaluate the method for the computation of a realistic value of $C^2$ to perform a representative random vibration test based on force limitation, when the adjacent structure (source) description is more or less unknown. Marchand discussed the formal description of getting $C^2$, using the maximum PSD of the acceleration and maximum PSD of the force, both at the interface between load and source. Stevens presented the coupled systems modal approach (CSMA), where simplified asparagus patch models (parallel-oscillator representation) of load and source are connected, consisting of modal effective masses and the spring stiffness's associated with the natural frequencies. When the random acceleration vibration specification is given the CSMA method is suitable to compute the value of the parameter $C^2$. When no mathematical model of the source can be made available, estimations of the value $C^2$ can be find in literature. In this paper a probabilistic mathematical representation of the unknown source is proposed, such that the asparagus patch model of the source can be approximated. The chosen probabilistic design parameters have a uniform distribution. The computation of the value $C^2$ can be done in conjunction with the CSMA method, knowing the apparent mass of the load and the random acceleration specification at the interface between load and source, respectively. Data of two cases available from literature have been analyzed and discussed to get more knowledge about the applicability of the probabilistic method.

• 한국IT서비스학회지
• /
• 제10권4호
• /
• pp.205-218
• /
• 2011

Unit testing which is the first task to perform software testing has a major impact on reducing s/w development cost and improving s/w quality. In order to make unit testing become the formal procedure rather than ad-hoc tasks performed by developer, the language-neutral measures are necessary in the programming which is able to specify the test cases. This paper presents a test assertion language for the language-neutral specification of the test cases. The suggested language is based on the ISO/IEC 24709-1, but it supports object oriented features and can describe test cases for unit testing. The test cases that are specified by the language can be used for generating test oracle source codes by test oracle generation tools.

• 한국군사과학기술학회지
• /
• 제22권6호
• /
• pp.784-796
• /
• 2019

As the size and complexity of software increases, it is important to ensure the quality of software through testing. Many organizations refer to international standards or test process models to improve the quality of software through establishing a systematic test process. However, these standards and process models provide general processes that do not reflect the characteristics of the domain or the organization's test policies and strategies. To establish a test process that reflects the characteristics of the organization, test policies and strategies based on the organization's quality objectives and the organizational and domain characteristics should be reflected. This study proposes specific methods for eliciting activities and information to establish organizational software test policies and strategies that are essential to establishing a test process that reflects the characteristics of the organization and the system.

• 전자공학회논문지B
• /
• 제29B권11호
• /
• pp.1-7
• /
• 1992

The conformance test is a methodology which verifies whether the Implementation Under Test (IUT) conforms to its standard specification or not. In this paper, first, the Conformance Test System(CTS) is implemented in prototype including verification test type, black-box test strategy, conformance test class, remote test structure, and IUT which is described by the ISO Estelle among Formal Description Techniques. Second, through this prototype the proposed system is experimented. The prototype is composed of two modules. The first module is the Estelle-to-Pascal preprocessor which converts the Estelle program to the corresponding Pascal program because the experimental IUT was described using the unexecutable code form of Estelle before being tested by the TD(Test Driver). The TD, the second module, is based on the master-slave concept and plays important role is CTS. The TD acts as the master with the IUTd being the slave. The prototype system is implemented using Turbo-C, Turbo-Pascal and Turbo-Assembly.

• 한국정보처리학회논문지
• /
• 제5권1호
• /
• pp.128-136
• /
• 1998

프로토콜에 대한 적합성시험을 기술하기 위한 국제 시험 표준 언어인 TTCN(Tree and Tabular Combined Notation)은 추상시험스위트의 전체적인 구조, 시험 목적의 표현 그리고 각 시험 기술 요소에 대한 개념과 표기법을 제공하고 있다. 이 논문에서는 TTCN을 사용하여 프로토콜 시험 규격 즉 추상시험스위트를 기술함에 있어서 추상시험스위트의 각 요소에 대해 고려하여야 할 점을 설명하고, 실제적인 시험 기술 경험을 토대로 시험 적용범위의 검증이 용이하고 사용자에게 많은 정보를 줄 수 있는 시험제약과 시험경우에 대한 명명법을 제안하였다. 또한 이 논문에서는 추상시험스위트를 수행 가능한 형태로 변환하여 시험대상에 대해 적용할 때 실제 환경의 제한으로 인하여 발생할 수 있는 문제점을 분석하고 이를 추상 시험스위트 작성 단계에서 미리 해결하는 방안을 제시하였다. 이 논문에서는 ATM Forum UNI 3.1 신호방식 프로토콜 스택 중 AAL(ATM Adaptation Layer)계층의 부계층인 SSCOP(Service Specific Connection Oriented Protocol) 프로토콜을 대상으로 하여 사례를 제시하고, 이를 바탕으로 TTCN 사용의 문제점을 고찰하고 그 해결 방안을 제시하였다.

• 한국항공우주학회지
• /
• 제30권5호
• /
• pp.127-133
• /
• 2002

항공기 구조 개발에 관련된 MIL-STD-1530A에는 구조 건전성을 확보하기 위한 요구사항이 기술되어 있다. 기체 구조의 내구성 및 손상허용성은 요구사항 중의 하나로서 관련 규격서의 요구조건과 절차에 따라 해석 및 시험을 통하여 입증되어야 한다. 본 논문에서는 기본 훈련기의 안전성 및 내구성 평가를 위한 실기체 내구성시험에 대하여 소개하였다. 내구성시험은 미군사규격서의 요구조건 및 절차에 따라 수행되었다. 내구성시험의 시험하중은 비행대비행 하중 스펙트럼으로 기본 훈련기의 피로하중 기준에 의거하여 개발되었다. 4배 설계수명 동안의 내구성시험을 성공적으로 완료하였으며, 기본훈련기 구조가 내구성 요구조건을 만족하고 있음을 확인하였다.