Modeling the software testing process taking into account the secondary errors

• Autorzy: Konopacki G.
• Języki publikacji: EN

Abstrakty

EN

It discusses the two formal models of software testing by the concept of a black box. In the first model assumes a non-zero probability of not removing the detected error. In the second model assumes also non-zero probability to introduce additional of error, so-called secondary error. In both cases the systems of ChapmanKolmogorov differential equations was formulated. Solving them was obtained formulas to enable an estimate the expected number of errors remaining in the software after end of testing and estimation of the expected duration of the process to complete software testing them.

Słowa kluczowe

EN

software; software testing; stochastic process

• Wydawca: Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
• Czasopismo: Information Systems in Management
• Rocznik: 2016
• Tom: Vol. 5, No. 2
• Strony: 175--184
• Opis fizyczny: Bibliogr. 12 poz., rys.

Twórcy

autor

Konopacki G.

• Military University of Technology, Department of Cybernetics, Institute of Information Systems

Bibliografia

• [1] Feler W. (1996) Wst p do rachunku prawdopodobie stwa, PWN, Warszawa.
• [2] Haggstrom O. (2001) Finite markov chains and algorithmic applications, Chalmers University of Technology.
• [3] Konopacki G., Pluci ski I. (1989) O pewnych modelach testowania oprogramowania, in: Biuletyn WAT w Warszawie, Nr 4/1989, s. 13-23.
• [4] Konopacki G., Worwa K. (1984) UogÛlnienie modeli niezawodnoci oprogramowania Shoomana i Jelinskiego-Morandy, in: Biuletyn WAT w Warszawie, Nr 12/1984, s. 105-109.
• [5] Lawler G.F. (1995) Introduction to Stochastic Processes, Chapman & Hall / CRC.
• [6] Mitzenmacher M., Upfal E. (2009) Metody probabilistyczne i obliczenia, WNT, Warszawa.
• [7] Musa J.D., Iannino A., Okumoto K. (1987) Software reliability. Measurement, prediction, application. McGraw-Hill, Inc.
• [8] Norris J. R. (1977) Markov Chains, Cambridge Series in Statistical and Probabilistic Mathematics.
• [9] Papoulis A. (1972) Prawdopodobie stwo, zmienne losowe i procesy stochastyczne, WNT, Warszawa.
• [10] Ross S.M. (1996) Stochastic processes. John Wiley & Sons, New York.
• [11] Thayer T.A., Lipov M., Nelson E.C. (1978) Software reliability. North-Holland Publishing Company. Amsterdam.
• [12] Zahedi F., Ashrafi N. (1991) Software reliability based on structure, utility, price and cost. IEEE Trans. on Software Engrg. Vol.17, No. 4, 345−356.

Uwagi

PL

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.