• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.315-317
• /
• 2016

소프트웨어의 활용 영역이 점차 넓어지면서 프로그램 코드에 대한 안전성이 훨씬 더 중요해지고 있다. 이에 따라 소프트웨어 품질을 높이기 위한 방법들이 다양하게 제시되어 왔고, 다양한 도구들을 활용한 소프트웨어 품질분석에 대한 관심도 증가하였다. 본 논문에서는 이러한 분석 도구들에 대하여 설명하고 소프트웨어 안전성 분석절차를 제시한다. 분석절차는 시험도구 준비, 시험 수행, 시험결과 검증, 시험결과 산출 단계로 구성되며, 안전성 검사에 효과적임을 확인할 수 있었다.

• Current Industrial and Technological Trends in Aerospace
• /
• v.5 no.1
• /
• pp.15-24
• /
• 2007

항공용 소프트웨어의 개발 및 인증은 현재까지 국내에서는 거의 경험이 없는 분야이다. 물론 각종 무인기 등의 개발사업을 통해 항공용 소프트웨어를 개발하고 시험한 사례는 다수 있으나, 체계적으로 개발 및 시험된 경우는 흔치 않다. 특히 유인기 분야에서는 거의 전무하다고 할 수 있다. KFP, KT-1, T-50 등의 군 사업을 통하여, 국외에서 개발된 소프트웨어에 대한 유지보수 경험 및 인력과, 이를 위한 체계가 구축되어 있는 정도라 할 수 있다. 이러한 상황에서, 이제는 항공용 소프트웨어를 국내에서 개발하고 시험, 인증할 수 있는 능력의 확보가 요구되고 있으며, 이는 국내 항공산업이 항공기 독자개발 능력 확보를 위해서는 필수적인 핵심기술이다. 이러한 기술력 확보를 위하여, 현재 항공용 소프트웨어 개발과 관련한 세계적인 흐름 및 최신의 기술동향을 파악하는 것이 무엇보다 필요하다. 항공선진국에서 이미 적용하지 않는 규격, 기술, 개발방식을 그대로 따라하는 과정을 거친다면, 경쟁력 확보는 요원한 일이기 때문이다. 따라서 본 논문에서는 항공용 소프트웨어 인증을 위한 규격의 역사 및 종류와, 현재 주로 적용되고 있는 DO-178B에 대한 주요 내용 및 현안에 대하여 살펴보고, 소프트웨어 개발과 관련한 소프트웨어 툴, 모델기반 개발 방식 등 해외 선진업체 및 기관들의 최신 기술동향을 정리하였다.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.835-842
• /
• 2001

We propose a software-reliability growth model incoporating the amount of testing effort expended during the software testing phase. The time-dependent behavior of testing effort expenditures is described by a Weibull curve. Assuming that the error detection rate to the amount of testing effort spent during the testing phase is proportional to the current error content, a software-reliability growth model is formulated by a nonhomogeneous Poisson process. Using this model the method of data analysis for software reliability measurement is developed. After defining a software reliability, we discuss the relations between testing time and reliability and between duration following failure fixing and reliability are studied in this paper. The release time making the testing cost to be minimum is determined through studying the cost for each condition. Also, the release time is determined depending on the conditions of the specified reliability. The optimum release time is determined by simultaneously studying optimum release time issue that determines both the cost related time and the specified reliability related time.

• The KIPS Transactions:PartD
• /
• v.11D no.3
• /
• pp.659-670
• /
• 2004

It is possible to implement high quality system which coincided with embedded system purchaser's requirements by quality test. The concrete quality test system applicable within our country for embedded software was not constructed yet. Recently, various embedded systems are developed, but they have many problems such as recall by defect. In this paper, we developed evaluation modules and quality test fables which can implement duality test based on ISO/IEC 12119 for embedded software evaluation.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.7 no.4
• /
• pp.49-54
• /
• 2012

In this paper, a software policy considering testing time and the number of errors corrected is presented. The software is tested until a specified testing time or the time to a specified number of errors are corrected, whichever comes first. The model includes the cost of error correction and software testing during the testing time, and the cost of error correction during operation. It is assumed that the length of software life cycle has no bounds, and the error correction follows an non-homogeneous Poisson process. An expression for the total cost under the policy is derived. It is shown that the model includes the previous models as special cases.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.11
• /
• pp.961-968
• /
• 2018

Airborne display systems provide pilots with a variety of information needed to operate aircraft. Software faults in the display system can seriously affect the operation of the aircraft, because it can provide inaccurate information to the pilot. Therefore, the software faults are identified and eliminated through ground testing and flight testing. This paper presents an analysis tool called FDR (flight data replay) for flight test of airborne display software. This tool works in real time with the mission computer of aircraft. Also, the tool reproduces the functional error conditions that appear in the display systems by applying flight test data to the display software.

• Bulletin of the Korean Space Science Society
• /
• 2006.04a
• /
• pp.117-120
• /
• 2006

HAUSAT-2 flight software was developed by first analyzing the satellite requirements, and incorporating the results into the software. Coding and compiling is done after the software is completed, then individual and integrated tests are performed in order to verify the flight software algorithm. Currently, HAUSAT-2 flight software integrated test has been performed and the test result is serving as a basis for code modification nd additional developments. This paper describes the architecture, development process, and development environment of HAUSAT-2 flight software.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.17 no.4
• /
• pp.663-670
• /
• 2022

This study presents the method for integrating the software assets acquired before the weapon system software reliability test was not formed in the weapon system software development and management manual through JTDLS Batch II case. This paper describes the problems for applying manual's direction to JTDLS Batch II project, and decisions and expected effects.

• Journal of Digital Convergence
• /
• v.12 no.1
• /
• pp.371-377
• /
• 2014

Software quality is very important in software. We think, software testing is very important in point of functionality, usability. But, we have to consider about all of the software quality. We change our thinking about software quality from time to time. In this paper, we try to the best to find important factors by the number of testing dates and the number of testing in point of functionality, usability, reliability, efficiency, portability, maintainability. We study the mean of the number of faults according to products. We find the difference the number of errors by sex of tester.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.83-85
• /
• 2012

국방 분야의 무기체계 내장형 소프트웨어(embedded software)는 그 규모와 복잡도가 증가함에 따라 소프트웨어 품질이 매우 중요하게 인식되고 있으며, 고객 또한 소프트웨어 품질 및 신뢰성 시험 활동에 대해 높은 요구사항을 제시하고 있다. 최근 "무기체계 내장형 소프트웨어 획득 및 관리 실무 지침서(방위사업청 지침, 2011.11.30)"가 명문화되었으며, 이 지침서 내에도 소프트웨어 신뢰성 시험을 강조하고 있다. 그러나 업계에서는 소프트웨어 신뢰성 시험에 대한 개발 단계의 테스트 설계 활동이 체계적으로 수행되지 않고 있으며, 테스트 설계 활동에서 테스트 설계 기법을 제대로 활용하고 있지 못하고 있다. 이를 위해 본 논문에서는 테스트 설계 활동과 테스트 설계 기법을 소개한다. TMMi 및 ISTQB 지식체계에서 제시하고 있는 테스트 설계 기법을 기반으로 실제 무기체계 내장형 소프트웨어의 테스트 시 적용하였던 테스트 설계 기법을 소개하고, 테스트케이스를 효과적으로 도출할 수 있는 방법을 제안한다.