• Journal of Korean Society for Quality Management
• /
• v.17 no.2
• /
• pp.27-35
• /
• 1989

Software developers often allocate a significant amount of effort to software testing. But for most business-related software system it is natural to expect the continued discovery of defects after the software system is released into field. Such defects are usually very expensive to fix and have the potential to cause great damages to the users. It is important to stop testing the software and release it to the users at the correct time. In this paper, we propose the determination of the optimal number of software test oy minimizing a total expected software cost. A numerical example is used when the criterion is the expected profit. The result indicates that the proposed software release policy based on the number of software test can be a good alternative to the existing policy.

• International Journal of Reliability and Applications
• /
• v.4 no.1
• /
• pp.1-12
• /
• 2003

Many software reliability growth models (SRGM's) based on a nonhomogeneous Poisson process (NHPP) have been proposed by many researchers. Most of the SRGM's which have been proposed up to the present treat the event of software fault-detection in the testing and operational phases as a counting process. However, if the size of the software system is large, the number of software faults detected during the testing phase becomes large, and the change of the number of faults which are detected and removed through debugging activities becomes sufficiently small compared with the initial fault content at the beginning of the testing phase. Therefore, in such a situation, we can model the software fault-detection process as a stochastic process with a continuous state space. In this paper, we propose a new software reliability growth model describing the fault-detection process by applying a mathematical technique of stochastic differential equations of an Ito type. We also compare our model with the existing SRGM's in terms of goodness-of-fit for actual data sets.

• Journal of Advanced Navigation Technology
• /
• v.14 no.1
• /
• pp.119-126
• /
• 2010

The software reliability growth model(SRGM) has been developed in order to estimate such reliability measures as remaining fault number, failure rate and reliability for the developing stage software. Almost of them assumed that the faults detected during testing were eventually removed. Namely, they have studied SRGM based on the assumption that the faults detected during testing were perfectly removed. The fault removing efficiency, however, is imperfect and it is widely known as so in general. It is very difficult to remove detected fault perfectly because the fault detecting is not easy and new error may be introduced during debugging and correcting. Therefore, We want to study imperfect software testing effort for the logistic testing effort which is thought to be the most adequate in this paper.

• Journal of Electrical Engineering and Technology
• /
• v.11 no.4
• /
• pp.839-847
• /
• 2016

Energy recovery battery testing systems (ERBTS) have been widely used in battery manufactures. All the ERBTS are connected in parallel which forms a special and complicated micro-grid system, which has the shortcomings of low energy recovery efficiency, complex grid-connected control algorithms issues for islanded detection, and complicated power circuit topology issues. To solve those shortcomings, a DC micro-grid system is proposed, the released testing energy has the priority to be reutilized between various testing system within the local grid, Compared to conventional scheme, the proposed system has the merits of a simplified power circuit topology, no needs for synchronous control, and much higher testing efficiency. The testing energy can be cycle-used inside the local micro-grid. The additional energy can be recovered to AC-grid. Numerous experimental comparison results between conventional and proposed scheme are provided to demonstrate the validity and effectiveness of the proposed technique.

• Journal of Korean Society for Quality Management
• /
• v.22 no.2
• /
• pp.33-40
• /
• 1994

Most software reliability models and other methods attempt to estimate some measures based on its fault history. There are several phases of the software life cycle including testing phase. We can propose it's stopping rule to decide when to stop the testing and pass it on to the next phase by considering the detailed structure of software and calculating the failure rate when each fault was detected. Downs (1985) proposed a method which was developed for estimating the failure rate applicable only to two-level profiles. In this paper, I extended to profiles involving more levels.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1987-1994
• /
• 1997

ATM switching software should be required high reliability, functionality, extendability and maintainability. After development of the software, it is verified and tested by analyzer whether the software is accomplished the characteristics of it or not. There are so many CASE tools in other area, but the CHILL testing tools that can verify ATM softwares have not various functions are not many. In this paper we develop the testing tool which can evaluate and test CHILL programmed ATM software. This Tool supports testing reports, debugging informations and maintenance informations including parallel process about CHILL original programs.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.7 no.3
• /
• pp.135-142
• /
• 2012

The Quality of embedded system depends on the embedded software. As the complexity and the size of embedded software have been increasing, it is more likely that the software may include faults, and the reliability and stability issues are getting more important. In this paper, we propose a remote test tool for software based on VxWorks by using fault injection method. The test tool consists of test server and test client for testing on the cross development environment. The test server operates in the host system and user can not only test but also monitor the software by using it. The test client operates in the target system and it controls kernel objects and sends the input data into the software when receiving the control and data from the test server. We developed the prototype software and demonstrated the ability of testing software robustness by injecting faults.

• Journal of Korean Society for Quality Management
• /
• v.39 no.2
• /
• pp.170-178
• /
• 2011

In general, a software fault detection phenonenon is described by a software reliability model based on a nonhomogeneous Poisson process(NHPP). In this paper, we propose a software reliability growth model considering the differences of the software environments in both the testing phase and the operational phase. Also, we consider the problem of determining the optimal release time and the optimal warranty period that minimize the total expected software cost which takes account of periodic software maintenance(e.g. patch, update, etc). Finally, we analyze the sensitivity of the optimal release time and warranty period based on the fault data observed in the actual testing process.

• Journal of Information Processing Systems
• /
• v.7 no.2
• /
• pp.363-384
• /
• 2011

As the complexity of software is increasing, generating an effective test data has become a necessity. This necessity has increased the demand for techniques that can generate test data effectively. This paper proposes a test data generation technique based on adequacy based testing criteria. Adequacy based testing criteria uses the concept of mutation analysis to check the adequacy of test data. In general, mutation analysis is applied after the test data is generated. But, in this work, we propose a technique that applies mutation analysis at the time of test data generation only, rather than applying it after the test data has been generated. This saves significant amount of time (required to generate adequate test cases) as compared to the latter case as the total time in the latter case is the sum of the time to generate test data and the time to apply mutation analysis to the generated test data. We also use genetic algorithms that explore the complete domain of the program to provide near-global optimum solution. In this paper, we first define and explain the proposed technique. Then we validate the proposed technique using ten real time programs. The proposed technique is compared with path testing technique (that use reliability based testing criteria) for these ten programs. The results show that the adequacy based proposed technique is better than the reliability based path testing technique and there is a significant reduce in number of generated test cases and time taken to generate test cases.