Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
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 Chapman-Kolmogorov 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. (original abstract)
Czasopismo
Rocznik
Tom
Numer
Strony
175--184
Opis fizyczny
Twórcy
autor
- Military University of Technology in Warsaw, Poland
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 niezawodności 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.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171430966