• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.10
• /
• pp.389-396
• /
• 2014

There are many defects when we're working on a project. Especially, if we don't have experience in similar field, defects have a strong influence on the system entirely. Therefore, management of risk such like defects is important the factor for success of project. Finally, efficient management of risk can guarantee handling problems such like fault tolerancy, unexpected quality and delay of schedule. In this paper, we propose checkpoint for improvement of reliability and are willing to improve the reliability of an entire system using it.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.7
• /
• pp.249-258
• /
• 2018

The importance of software in military weapon systems is increasing, and the software structure is becoming more complicated. We therefore must thoroughly verify its reliability. In particular, the defects from the interaction of the software components that make up the weapon system are difficult to prevent only with static testing and code coverage level dynamic testing. In this paper, we classify dynamic software defect types and analyze the issues reported in the Open Source Software (OSS) used in the US department of defense weapon systems. The dynamic defects classified in this paper usually occur after integration, and it is difficult to reproduce and identify the cause. Based on this analysis, we come to the point that the software integration test must be enhanced in order to verify the reliability of the weapon system.

• Proceedings of the Safety Management and Science Conference
• /
• 2010.04a
• /
• pp.549-559
• /
• 2010

다양한 리스크 문제가 발생하고 있는 환경 속에서 리스크에 대한 적절한 대응을 하고 안정화를 도모함과 동시에 리스크 문제가 표면화되어 초래하는 영향을 극소화 하기 위한 새로운 패러다임의 경영시스템 도입이 주요 전략과제로 대두되고 있다. 본 연구에서는 소프트웨어 분야에서의 리스크 위험 요소를 줄이고 신뢰성 향상을 목적으로 소프트웨어 분야가 가지고 있는 문제를 효과적으로 관리 할 수 있는 새로운 모델로서 IEC60300 신뢰성경영시스템과 IEC61508 리스크경영시스템의 통합 모델을 제시한다.

• The KIPS Transactions:PartD
• /
• v.8D no.3
• /
• pp.247-256
• /
• 2001

Software is developing toward having more large scale and many functions day by day. Also, user’s requirements level for software is being high, especially, requirements for software quality is being high continuously. Methods which can satisfy such User’s requirements is being studied in various viewpoint. First of all, study about quality evaluation system and methodology is energetically in progress in viewpoint to improve quality of software by feed-back software quality evaluation result to developers. In this paper, we define metrics according to a system and developed quality measurement tables according to internal characteristics system of quality characteristics, subcharacteritics, internal characteristics for reliability between quality characteristics of international standard, ISO/IEC 9126 about software quality. And we propose evaluation results about development products using internal characteristics.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.547-550
• /
• 2006

오늘날 의료기기는 내장된 소프트웨어에 의해 제어되는 전자 의료기기의 형태로 급격하게 발전하고 있다. 따라서 전자 의료기기의 품질은 내장된 의료용 소프트웨어의 품질에 의해 크게 좌우될 수 밖에 없다. 특히, 의료기기가 인간의 생명과 밀접하게 연관되어 있다는 점을 고려할 때, 프로그램 가능한 전자 의료기기의 품질 측면에서도 신뢰성 측면을 특히 고려한 평가 방법이 연구되어야 할 것으로 생각된다. 본 연구에서는 소프트웨어 제품평가에 관련된 국제표준인 ISO/IEC 9126과 ISO/IEC 12119를 기반으로 하여 국내의 프로그램 가능한 전자 의료기기의 특성을 고려하여 신뢰성에 대한 평가를 위한 방법을 구축하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.932-933
• /
• 2013

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.

• Journal of Internet Computing and Services
• /
• v.7 no.4
• /
• pp.1-10
• /
• 2006

We are studying international standard about the software quality evaluation. The software quality has been more important on users and developers. In this paper, first, we study international tendency of the inside and outside of the country in software quality evaluation for evaluating the software quality objectively and quantitatively, Second, we notify a new direction for software quality standard of inside and outside of country. Third, we study on the testing method of software reliability for making use of the software reliability growth model. Fourth, we spread method about standard of the software quality evaluation, fifth, we research into the international standard ISO/IEC 9126 and ISO/IEC 25000 series for evaluation of software quality testing, and we propose to the application plan of software quality testing.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2343-2349
• /
• 1999

The hyper-geometric distribution software reliability growth model (HGDM) was recently developed and successfully applied to real data sets. The HGDM considers the sensitivity factor as a parameter to be estimated. In order to reflect the random behavior of the test-and-debug process, this paper generalizes the HGDM by assuming that the sensitivity factor is a binomial random variable. Such a generalization enables us to easily understand the statistical characteristics of the HGDM. It is shown that the least squares method produces the identical results for both the HGDM and the generalized HGDM. Methods for computing the maximum likelihood estimates and predicting the future outcomes are also presented.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.3
• /
• pp.1427-1438
• /
• 2011

Currently, efforts towards pursuit of standardization of u-Health technology and for development of our own source technologies and functions in Korea are being made continuously. Accordingly, base technologies in the area of u-Health software as well as trends in and standards of u-Health software market were investigated, and this Study aims to develop reliable evaluation model for u-Health software. For this purpose, characteristics and service types of u-Health software were examined, and u-Health technological trend and standards were analyzed. On the basis of these preliminary research, reliable evaluation model for u-Health software was developed.

• Journal of Digital Convergence
• /
• v.12 no.3
• /
• pp.219-226
• /
• 2014

In this study, reliability software cost model considering shape parameter based on life distribution from the process of software product testing was studied. The shape parameter using the Erlang and Log-logistic model that is widely used in the field of reliability problems presented. The software failure model was used finite failure non-homogeneous Poisson process model, the parameters estimation using maximum likelihood estimation was conducted. In comparison result of software cost model based on the Erlang distribution and the log-logistic distribution software cost model, because Erlang model is to predict the optimal release time can be software, but the log-logistic model to predict to optimal release time can not be, Erlang distribution than the log-logistic distribution appears to be effective. In this research, software developers to identify software development cost some extent be able to help is considered.