• 한국정밀공학회지
• /
• 제33권10호
• /
• pp.781-787
• /
• 2016

We introduce FEST (Flight Environment Simulation Test) procedures for precise guided missiles to reliably improve systems. Flight vibration specification was established based on power spectral density curves calculated from flight test data of a high speed precise guided missile. A FEST pre-profile was developed according to flight vibration specification and delivered to a precise guided missile assembly. Vibration responses were measured by installing accelerometers on electronic components vulnerable to dynamic forces. The FEST profile was adjusted by comparing the vibration responses and the flight vibration specification. Subsequently, the FEST profile was repeatedly modified through trial and error, because the responses were similar to the flight environment. The modified FEST profile enabled performance testing of assembled precise guided missiles under simulated flight conditions on the ground, where unexpected errors could be corrected before the flight tests, leading to cost and risk reduction in the development of the precise guided missile system.

• Nuclear Engineering and Technology
• /
• 제32권6호
• /
• pp.537-548
• /
• 2000

The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

• 한국군사과학기술학회지
• /
• 제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.

• 한국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.

• 전기학회논문지P
• /
• 제64권3호
• /
• pp.138-142
• /
• 2015

Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.

• 한국컴퓨터정보학회논문지
• /
• 제15권6호
• /
• pp.1-9
• /
• 2010

본 논문에서는 3GPP(3rd Generation Partnership Project)에서 정의한 SMS PDU (Protocol Data Unit) 포맷을 주어진 SMS 부호화 복호화 모듈에서 정확하게 구현했는지 검증하는 방법을 제안한다. 기존 SMS 관련 도구들은 SMS 게이트웨이를 통해 송수신하거나 또는 SMS PDU 해석을 목적으로 개발되어 3GPP에서 정의한 세부 SMS PDU 규격에 따라 정확히 구현했는지 테스트하는 용도로는 적합하지 않다. 본 논문에서 제안한 방법은 함수형 언어 Haskell로 작성된 QuickCheck 라이브러리를 활용해 3GPP에서 정의한 구조에 맞는 SMS PDU 테스트 데이터를 자동 생성하여 SMS 부호화 복호화 모듈을 테스트한다. C언어로 작성된 리눅스 모바일 플랫폼 SMS 모듈에 적용하여 이 모듈의 부호화 복호화 기능을 테스트한 결과 BCD 포맷 시간 정보를 잘못 해석하는 사례 등 중요한 오류들을 발견할 수 있었다. 제안한 방법은 3GPP에서 정의한 규격에 맞추어 SMS PDU를 생성하기 때문에 일반적인 SMS 모듈들에 모두 적용 가능한 장점을 지닌다. 본 논문에서 사용한 방법과 같이 QuickCheck 라이브러리를 통해 다른 네트워크 프로토콜 데이터 규격에 대한 부호화 복호화 검증에도 응용할 수 있을 것이다.

• 응용통계연구
• /
• 제16권2호
• /
• pp.351-364
• /
• 2003

본 논문에서는 오차성분을 가지는 패널회귀모형에서 모형의 선형성을 검정 할 수 있는 검 정통계량을 제시하고, 유도한 검정통계량의 계산을 위하여 인공회귀방법을 이용하려한다. 모의실험 결과, Double-Length Artificial Resression(DLR)을 이용한 LM 검정통계량은 명목유의 수준을 잘 유지하고 있는 것으로 나타났으며 검정력에 있어서도 기존의 검정에 비하여 높게 나타났다.

• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.147-156
• /
• 2010

임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. 일반적으로 테스트 시나리오는 단순히 전체의 기능들을 한 번씩 테스트해 보는데 초점이 맞춰져 있다. 하지만 테스트 시나리오는 테스트 수행의 효율성을 고려할 필요가 있다. 이 연구에서는 각 함수들을 테스트하는데 걸리는 시간과 사용자 입력으로 인해 발생하는 대기 시간을 고려하여 최적화된 테스트 시나리오를 추출하는 기법을 제안한다. 테스트 시나리오를 추출하기 위해 상태 머신 다이어그램과 테스트 케이스를 바탕으로 그래프 형태의 테스트 모델을 생성한다. 테스트 모델에는 테스트 수행 시간과 사용자 입력에 대한 정보가 포함되어 있다. 최적화된 테스트 시나리오는 테스트 모델을 기반으로 수정된 최단거리 알고리즘을 이용하여 추출한다. 제안하는 테스트 시나리오 작성 기법을 이용하면 테스트 수행 시간을 줄일 수 있고, 테스트 자동화를 향상시킬 수 있다.

• 컴퓨터교육학회논문지
• /
• 제6권3호
• /
• pp.37-45
• /
• 2003

적합성 테스트는 구현물이 규격에 명시된 적합성 요구조건을 충실히 준수하는지를 검사하는 것을 의미한다. 프로세서의 적합성은 모든 응용분야에서 중요하지만 XML 프로세서들은 그 부적합성에 기인하는 처리결과가 해당 시스템은 물론 연동되는 모든 시스템들에 중대한 장애를 초래할 수 있기 때문에 그 적합성이 더욱 강조된다. 따라서, 적합성을 갖는 XML 프로세서의 구현은 XML 기반 시스템등의 상호운영성을 위한 필수적인 요구조건이다. 본 논문에서는 XML 의 적합성 검사와 관련한 기존 연구들을 고찰하고, 이를 토대로 상용 또는 프로타입으로 수준으로 구현되는 XML 프로세서의 적합성 검사를 위한 방법과 테스트 툴을 개발, 설명한다. 그리고 사례로, 아파치의 XML 프로세서인 Xerces 1.4.4에 대해 본 연구의 툴을 이용하여 그 적합성을 검사하여 이전 버전과 비교해서 적합성 수준이 개선된 것을 보였다.