SOFTWARE RELIABILITY ASSESSMENT WITH 2-TYPES IMPERFECT DEBUGGING ACTIVITIES

Author(s):  
SHINJI INOUE ◽  
SHIGERU YAMADA
Author(s):  
Shinji Inoue ◽  
Shigeru Yamada

We discuss software reliability modeling reflecting actual situation in a testing phase based on a Markovian software reliability modeling framework. Concretely, we discuss Markovian imperfect debugging modeling for software reliability assessment with multiple changes of testing environment. Testing-time changing the testing environment is called change-point. Taking into account the effect of change-point in software reliability growth modeling is expected to improve the accuracy of software reliability assessment because it is often observed that the stochastic characteristic of software failure-occurrence or fault-detection phenomenon is changed in an actual testing phase. Numerical examples for software reliability assessment based on our proposed approach are also shown by using actual software failure-occurrence time data. Further, we discuss the usefulness of considering the effect of the imperfect debugging and the multiple change-point into software reliability modeling by comparing the estimated behavior of the mean time between software failures based on our model and the existing related models.


Author(s):  
KOICHI TOKUNO ◽  
TAKAHIRO KODERA ◽  
SHIGERU YAMADA

In this paper, we attempt generalization of the Markovian software reliability model (MSRM). Defining the stochastic process whose state space is the cumulative number of corrected faults, we show the theoretical framework of the MSRM by assuming that the time interval between software failures is distributed generally. We also consider the imperfect debugging environment where the debugging activities are uncertain. Several software reliability assessment measures are expressed with the distribution of the transition time between arbitrary two states. Furthermore, we propose the approximation method for practical computation of the quantitative measures. Finally, we investigate the validity of our proposed approximation method.


Author(s):  
YOSHINOBU TAMURA ◽  
SHIGERU YAMADA

As a result of the technological progress, software development environment has changed into development paradigm based on client/server systems by using network computing technologies. Network technologies have made rapid progress with the dissemination of computer systems in all areas. These network technologies become increasingly more complex in a wide sphere. Especially, open source software systems which serve as key components of critical infrastructures in the society are still ever-expanding now. In this paper, we propose a method of software reliability assessment based on stochastic differential equations. Especially, we derive several assessment measures in terms of imperfect debugging. Also, we analyze actual software fault-count data to show numerical examples of software reliability assessment for an embedded open source software. Further, it has been necessary to manage the software development process in terms of reliability, effort, and release time. Then, we find the optimal release time based on the total expected software maintenance effort.


Author(s):  
Shinji Inoue ◽  
Shigeru Yamada

We discuss a Markovian modeling approach for software reliability assessment with the effects of change-point and imperfect debugging environment. Testing-time when the characteristic of the software failure-occurrence or fault-detection phenomenon changes notably is called change-point. Taking into account the effect at change-point in software reliability growth modeling is important to improve the accuracy of software reliability assessment. Our modeling approach describes a software reliability growth process with not only the effect of change-point but also the imperfect debugging activities based on a semi-Markov process for reflecting actual situation of debugging activities. Finally, we show numerical examples of our model for software reliability analysis and check the performance of our model with an existing Markovian software reliability growth model by using actual data.


Sign in / Sign up

Export Citation Format

Share Document