PL EN


2016 | 5 | 2 | 175-184
Article title

MODELING THE SOFTWARE TESTING PROCESS TAKING INTO ACCOUNT THE SECONDARY ERRORS

Content
Title variants
Languages of publication
EN
Abstracts
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 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.
Year
Volume
5
Issue
2
Pages
175-184
Physical description
Dates
published
2016
Contributors
  • Military University of Technology, Department of Cybernetics, Institute of Information Systems
References
  • Feler W. (1996) Wstęp do rachunku prawdopodobieństwa, PWN, Warszawa.
  • Haggstrom O. (2001) Finite markov chains and algorithmic applications, Chalmers University of Technology.
  • Konopacki G., Pluciński I. (1989) O pewnych modelach testowania oprogramowania, in: Biuletyn WAT w Warszawie, Nr 4/1989, s. 13-23.
  • 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.
  • Lawler G.F. (1995) Introduction to Stochastic Processes, Chapman & Hall / CRC.
  • Mitzenmacher M., Upfal E. (2009) Metody probabilistyczne i obliczenia, WNT, Warszawa.
  • Musa J.D., Iannino A., Okumoto K. (1987) Software reliability. Measurement, prediction, application. McGraw-Hill, Inc.
  • Norris J. R. (1977) Markov Chains, Cambridge Series in Statistical and Probabilistic Mathematics.
  • Papoulis A. (1972) Prawdopodobieństwo, zmienne losowe i procesy stochastyczne, WNT, Warszawa.
  • Ross S.M. (1996) Stochastic processes. John Wiley & Sons, New York.
  • Thayer T.A., Lipov M., Nelson E.C. (1978) Software reliability. North-Holland Publishing Company. Amsterdam.
  • 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.
Document Type
Publication order reference
Identifiers
ISSN
2084-5537
YADDA identifier
bwmeta1.element.desklight-02d99578-5a99-40fc-9e79-23b7107afb89
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.