• Journal of Applied Reliability
• /
• v.16 no.3
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.10 no.5
• /
• pp.469-475
• /
• 2017

Software reliability is one of the most basic and essential problems in software development. In order to detect the software failure phenomenon, the intensity function, which is the instantaneous failure rate in the non-homogeneous Poisson process, can have the property that it is constant, non-increasing or non-decreasing independently at the failure time. In this study, was compared the reliability performance of the software reliability model using the Landely lifetime distribution with the intensity function decreasing pattern and Erlang lifetime distribution from increasing to decreasing pattern in the software product testing process. In order to identify the software failure phenomenon, the parametric estimation was applied to the maximum likelihood estimation method. Therefore, in this paper, was compared and evaluated software reliability using software failure interval time data. As a result, the reliability of the Landely model is higher than that of the Erlang distribution model. But, in the Erlang distribution model, the higher the shape parameter, the higher the reliability. Through this study, the software design department will be able to help the software design by applying various life distribution and shape parameters, and providing software reliability attributes data and basic knowledge to software reliability model using software failure analysis.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.12 no.4
• /
• pp.13-24
• /
• 2016

Defense Acquisition Program Administration's weapon system software development and management guideline specifies the criteria of software reliability tests including static and dynamic tests mainly on C/C++ languages. Recently, Defense Acquisition Program Administration expanded the scope of software reliability test for the various languages including C#, java etc. but specific criteria for them are not established. This study suggests the reliability test procedures and standards on C# programming software in weapon system. For the static test, considering the nature of the C# which depends on .NET framework, this paper introduces applying coding rules recommended by Microsoft Corp. Visual Studio 2012. Block coverage provided by Visual Studio is applied on dynamic tests and the achievement objectives for block coverage according to the software levels(A, B, C) are suggested. Also, the software reliability test procedures and standards proposed by this paper are properly verified through the case study. The result of this study can be used for establishing the specific criteria of the software reliability test for C# programming software in weapon system.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.9 no.3
• /
• pp.209-215
• /
• 2009

Nowadays there are gradually the importance issues of embedded software for productivity as the fusion and complexity of industry. Especially, people are recognizing the importance of reliability within the embedded software systems(e.g. weapons and medical equipments, etc.). It makes currently mention of software reliability on ISO/IEC 9126, 12119, etc.. However, it is insufficient for the embedded software area in spite of being mentioned the generic software. To do this, we suggest our embedded software reliability assessment through extracting the embedded software meaurement items from reliability assessment items of ISO/IEC 9126, 12119 series.

• Journal of Applied Reliability
• /
• v.16 no.1
• /
• pp.48-55
• /
• 2016

Purpose: The purpose of this study is to identify the object-oriented metrics which have strong impact on the reliability and fault-proneness of software products. The reliability and fault-proneness of software product is closely related to the design properties of class diagrams such as coupling between objects and depth of inheritance tree. Methods: This study has empirically validated the object-oriented metrics to determine which metrics are the best to predict fault-proneness. We have tested the metrics using logistic regressions and artificial neural networks. The results are then compared and validated by ROC curves. Results: The artificial neural network models show better results in sensitivity, specificity and correctness than logistic regression models. Among object-oriented metrics, several metrics can estimate the fault-proneness better. The metrics are CBO (coupling between objects), DIT (depth of inheritance), LCOM (lack of cohesive methods), RFC (response for class). In addition to the object-oriented metrics, LOC (lines of code) metric has also proven to be a good factor for determining fault-proneness of software products. Conclusion: In order to develop fault-free and reliable software products on time and within budget, assuring quality of initial phases of software development processes is crucial. Since object-oriented metrics can be measured in the early phases, it is important to make sure the key metrics of software design as good as possible.

• Wind and Structures
• /
• v.15 no.3
• /
• pp.209-221
• /
• 2012

The flutter reliability analysis of long span bridges requires use of a software tool that predicts the uncertainty in a flutter response due to uncertainties in the model formulation and input parameters. Existing flutter analysis numerical codes are not capable of dealing with stochastic uncertainty in the analysis of long span bridges. The goal of the present work is to develop a software tool (FREASB) to enable designers to efficiently and accurately conduct flutter reliability analysis of long span bridges. The FREASB interfaces an open-source Matlab toolbox for structural reliability analysis (FERUM) with a typical deterministic flutter analysis code. The paper presents a brief introduction to the generalized first-order reliability method implemented in FREASB and key steps involved in coupling it with a typical deterministic flutter analysis code. A numerical example concerning flutter reliability analysis of a long span suspension bridge with a main span of 1385 m is presented to demonstrate the application and effectiveness of the methodology and the software.

• Journal of Korean Society for Quality Management
• /
• v.34 no.3
• /
• pp.73-78
• /
• 2006

In this paper, we propose a software reliability growth model based on the testing domain in the software system, which is isolated by the executed test cases in software testing. In particular, our model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process, and is formulated as a nonhomogeneous Poisson process(NHPP). Further, it is applied to fault-detection data, the results of software reliability assessment are shown, and comparison of goodness-of-fit with the existing software reliability growth model is performed.

• Journal of Korean Society for Quality Management
• /
• v.36 no.1
• /
• pp.89-95
• /
• 2008

In this paper, we propose a software reliability growth model based on the superposition cause in the software system, which is isolated by the executed test cases in software testing. In particular, our model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process, and is formulated as a nonhomogeneous Poisson process(NHPP). Further, it is applied to fault-detection data, the results of software reliability assessment are shown, and comparison of goodness-of-fit with the existing software reliability growth model is performed.

• Proceedings of the Korean Reliability Society Conference
• /
• 2006.05a
• /
• pp.3-19
• /
• 2006

The Status quo of the reliability in China is described in this paper, a reliability surge is now spreading in China, covering the fields such as hardware, software, machinery and electronics. The reliability work in China was firstly conducted by the CEPREI Lab as far as early in the 1950s, and the reliability engineering in China has developed from the reliability of electronic products to that of machinery and non-electronic products, from hardware reliability to software reliability, from the attention to the reliability statistical test to emphasis on the reliability engineering test. Concern of Chinese companies about the reliability is the complete import of reliability engineering, the reliability testing, the software reliability and the reliability of lead-free soldering. Demonstration of reliability cases is given.

• Journal of Korean Institute of Industrial Engineers
• /
• v.13 no.1
• /
• pp.39-52
• /
• 1987

This paper dsals with current and future research directions in the modelling of computer software reliability. The paper reviews some of the major software reliability models published during the past two decades and examines problems associated with these models.