An approach to formal modelling the program testing process is proposed
in the paper. Considerations are based on some program reliability-growth model that
is constructed for assumed scheme of the program testing process. In this model the
program under the testing is characterized by means of so-called characteristic matrix
and the program testing process is determined by means of so-called testing strategy. The
formula for determining the mean value of the predicted number of errors encountered
during the program testing is obtained. This formula can be used if the characteristic
matrix and the testing strategy are known. Formulae for evaluating this value when the
program characteristic matrix is not known are also proposed in the paper.
REFERENCES(26)
1.
S. Basu, N. Ebrahimi, Bayesian software reliability models based on martingale processes, Technometrics, Vol. 45, pp. 150–158, 2003.
M. Chen, A.P. Mathur, V. Rego, Effect of testing techniques on software reliability estimates obtained using a time-domain model, IEEE Transactions on Reliability, Vol. 44, No. 1, pp. 97–103, 1995.
T.Y. Chen, Y.T. Yu, On the relationship between partition and random testing, IEEE Transactions on Software Engineering, Vol. 20, No. 12, pp. 977–980, 1994.
T.Y. Chen, Y.T. Yu, On the expected number of failures detected by subdomain testing and random testing, IEEE Transactions on Software Engineering, Vol. 22, No. 2, pp. 109–119, 1996.
A. Csenki, Bayes predictive analysis of a fundamental software reliability model, IEEE Transactions on Software Engineering, Vol. 39, No. 2, pp. 177–183, 1990.
Y. Hayakawa, G. Telfar, Mixed poisson-type processes with application in software reliability, Mathematical and Computer Modelling, Vol. 31, pp. 151–156, 2000.
D.R. Jeske, H. Pham, On the maximum likelihood estimates for the Goel-Okumoto software reliability model, The American Statistician, Vol. 3, pp. 219–222, 2001.
K. Sawada, H. Sandoh, Continuous model for software reliability demonstration testing considering damage size of software failures, Mathematical and Computer Modelling, Vol. 31, pp. 321–326, 2000.
K. Tokuno, S. Yamada, An imperfect debugging model with two types of hazard rates for software reliability measurement and assessment, Mathematical and Computer Modelling, Vol. 31, pp. 343–352, 2000.
J.A. Whittaker, K. Rekab, M.G. Thomason, A Markov chain model for predicting the reliability of multi-build software, Information and Software Technology, Vol. 42, pp. 889–894, 2000.
K. Worwa, Estimation of the program testing strategy. Part 1 – The same errors can be encountered, Cybernetics Research and Development, No. 3-4, pp. 155–173, 1995.
K. Worwa, Estimation of the program testing strategy. Part 2 – The same errors can not be encountered, Cybernetics Research and Development, No. 3-4, pp. 175–188, 1995.
K. Worwa, Modelling and estimation of software reliability growth during the testing process, Publishers of Warsaw Technical University, Warsaw (in Polish), 2000.
S. Yamada, T. Fujiwara, Testing-domain dependent software reliability growth models and their comparisons of goodness-of-fit, International Journal of Reliability, No. 3, pp. 205–218, 2001.
M.C. Yang, A. Chao, Reliability-estimation & stopping-rules for software testing, based on repeated appearances of bugs. IEEE Transactions on Reliability, Vol. 44, No. 2, pp. 315–321, 1995.
X. Zhang, H. Pham, Comparisons of nonhomogeneous Poisson process software reliability models and its applications, International Journal of Systems Science, No. 9, 2000, pp. 1115–1123.
We process personal data collected when visiting the website. The function of obtaining information about users and their behavior is carried out by voluntarily entered information in forms and saving cookies in end devices. Data, including cookies, are used to provide services, improve the user experience and to analyze the traffic in accordance with the Privacy policy. Data are also collected and processed by Google Analytics tool (more).
You can change cookies settings in your browser. Restricted use of cookies in the browser configuration may affect some functionalities of the website.