Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

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.