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

무기체계 개발에 있어서 내장형 소프트웨어의 비중과 그 중요도가 점점 증가하고 있고, 고객 또한 무기체계 소프트웨어 개발 및 관리지침을 제정하여 소프트웨어 신뢰성 시험수준에 대한 놓은 요구사항을 제시하고 있다. 이렇게 대내외 환경이 변화하고 있음에 따라 당사는 고품질의 소프트웨어를 고객에게 납품하기 위해서 내장형 소프트웨어 신뢰성 향상활동을 수년간 수행해오고 있다. 업체주관 개발사업 증가와 무기체계 외주개발 비중 증가에 따라 고품질의 협력개발 소프트웨어의 획득이 중요해지고 있다. 하지만, 납품 받은 소프트웨어를 체계 통합하는 시기에 소프트웨어 결함이 많이 내재되어 있어 문제점이 많이 발생되고 있으며, 납품 이후에도 많은 결함수정과 재 작업이 발생하여 추가비용이 많이 발생하고 있다. 본 논문에서는 협력개발 소프트웨어 제품의 신뢰성 향상을 위해 TMMi 시험 프로세스를 적용하여 협력회사의 소프트웨어 시험 역량을 강화하고 고품질의 소프트웨어를 획득할 수 있는 방안을 제안하고자 한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2006.05a
• /
• pp.301-306
• /
• 2006

ISO/IEC 9126에 의하면 스프트웨어 품질 특성은 기능성, 신뢰성, 사용성, 효율성, 유지보수성, 이식성의 6가지 품질 특성으로 나누어 평가를 실시하고 있다. 각 특성은 부특성으로 나누어지고 이러한 부특성에 따른 평가 항목을 메트릭으로 정의하고 있다. 그러나 품질 특성 중 신뢰성의 경우는 ISO/IEC 9126에서 제시한 부특성인 성숙성, 오류허용성, 복구성, 준수성에 따라 품질 평가 항목이 메트릭으로 제시되어져있다. 그러나 제시되어져 있는 신뢰성 평가 항목은 소프트웨어 신뢰성 성장 모델을 이용하여 신뢰도를 평가하고 메트릭 값을 얻도록 구성되어져 있으나 수리적인 어려움과 데이터 수집에 따르는 문제점으로 인하여 적용하고 있지 못한 실정이다. 이러한 문제점을 고려하여 고장 데이터를 이용하여 소프트웨어 신뢰성을 평가할 수 있는 방안을 검토하고 현재 연구가 진행되어지고 있는 국제 표준 문건 ISO/IEC 25000 시리즈를 국내 표준으로 적용할 수 있는 방안에 대해서 연구한다.

• Journal of the Korea Convergence Society
• /
• v.10 no.3
• /
• pp.59-65
• /
• 2019

In this paper, we propose a software quality measurement metrics of ISO / IEC 25023, which is newly proposed for software quality evaluation, to compare the difference with ISO / IEC 9126-2 which was used for software quality evaluation. In this paper, we propose a method for evaluating the quality of reliability based on the software reliability growth model among the eight quality characteristics presented in ISO / IEC 25023. Based on ISO / IEC 25023, software-quality evaluations demonstrate that there is some risk in evaluating reliability when based on data.

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.4
• /
• pp.1307-1317
• /
• 2010

The various models that estimate the reliability of application software system had been made. But most of the existing models are inconvenient to industrial fields because so complicated mathematic methods as method of estimation parameter have been used. The two purposes of this paper are to develop the reliability estimation model which was easily applied to industrial fields, and to prove no differences between the existing models and the developed model. Therefore the reliability of software system and handled informations are upgraded by far.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.241-244
• /
• 2006

소프트웨어 품질 평가를 위해서 국제 표준 ISO/IEC 9126의 표준문건은 현재 ISO/IEC 25000 이란 이름으로 새롭게 제정되어지고 있다. 본 논문에서는 소프트웨어 품질 평가를 위한 국제 표준 문건의 신뢰성의 평가 방안에 대한 연구의 진행사항을 소개하고 신뢰성의 품질 평가를 위한 표준 제정 연구를 위한 기초 자료를 제시한다. 신뢰성 성장 모델을 소개하고 소프트웨어 신뢰성 성장 모델에 적용하여 평가할 수 있는 방안을 소개한다.

• Proceedings of the KAIS Fall Conference
• /
• 2009.12a
• /
• pp.789-792
• /
• 2009

M-Commerce 소프트웨어에 요구되는 품질 향상을 위해 필수적인 기술로 M-Commerce 소프트웨어 산업뿐만 아니라 M-Commerce 관련 하드웨어 기기 및 보안 산업 등에 미치는 파급효과가 큰 기술이고 오늘날과 같은 국제화 시대에 국내 소프트웨어 개발업체의 대외경쟁력을 강화하고 국제적인 기술 장벽을 극복하며 신뢰성과 보안성을 갖춘 M-Commerce 소프트웨어의 개발을 유도할 수 있는 필수적인 기술이다. 본 연구에서는 M-Commerce 소프트웨어의 기반기술을 조사하고 M-Commerce 소프트웨어 보안성의 품질시험 평가를 위한 품질특성을 분석하며 M-Commerce 소프트웨어 신뢰성 품질 평가 모델을 개발하고자 한다.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.5
• /
• pp.227-235
• /
• 2024

Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.

• Proceedings of the Korean Reliability Society Conference
• /
• 2004.07a
• /
• pp.207-210
• /
• 2004

컴퓨터 소프트웨어는 이제 우리의 일상적인 삶에서 필수불가결한 요소이며 시스템의 운용에 중요한 요인이 되었다. 최근에 들어서는 소프트웨어 비용이 하드웨어 비용을 초과하게 되면서 소프트웨어를 개발하는데 필요한 비용과 더불어 소프트웨어 고장에 의한 비용의 중요성이 더 커지게 되었다. 본 논문에서는 Non-Homogeneous Poisson Process(NHPP)에 기초한 소프트웨어 비용 모형을 제안하려고 한다. 개발초기단계에서 출시 전까지의 소프트웨어 개발비용과 테스트비용, 출시이후의 보증기간동안의 제반비용, 소프트웨어 고장에 의한 위험비용 등을 포함하는 소프트웨어 비용 모형을 제안하고 소프트웨어의 최적 출시시기를 결정하는 효과적인 정책을 제시하려고 한다.