A general software testing model involving operational profiles


Ozekici S., Altinel I., Angun E.

PROBABILITY IN THE ENGINEERING AND INFORMATIONAL SCIENCES, cilt.15, sa.4, ss.519-533, 2001 (SCI İndekslerine Giren Dergi) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 15 Konu: 4
  • Basım Tarihi: 2001
  • Doi Numarası: 10.1017/s0269964801154069
  • Dergi Adı: PROBABILITY IN THE ENGINEERING AND INFORMATIONAL SCIENCES
  • Sayfa Sayıları: ss.519-533

Özet

An operational profile describes, in a probabilistic way, how a software is utilized by its users. It makes the testing procedure more realistic and efficient. We consider a model where the software is tested sequentially in all of the operations that it is designed to perform. The stochastic and deterministic model parameters involving costs and failures all depend on the operations. In particular, the failure process generated by each fault is quite general and debugging is not necessarily perfect. Our aim is to find the optimal testing durations in all of the operations in order to minimize the total expected cost. This problem leads to an interesting nonlinear programming formulation that can be solved using well-known procedures in convex optimization.