Volume no :1, Issue no: 1, February (2009)

A MATHEMATICAL MODELLING APPROACH FOR SOFTWARE TESTING OPTIMIZATION

Author's: Crescenzio Gallo and Giancarlo De Stasio
Pages: [21] - [46]
Received Date: November 22, 2008
Submitted by:

Abstract

Software errors can be a serious problem, because of possible dam- ages (and related costs) and the burden of the needed corrections. Software testing, whose aim is to discover the errors in software products, requires a lot of resources and from it derives the overall quality, (i.e., reliability) of the software product. It is thus susceptible of optimization:, i.e., the best equilibrium between the number of tests to make and the global expected value of discovered errors has actually to be achieved. In fact, it is not economically feasible to proceed with testing over a given limit as well as to execute too few tests, running in the risk of having too heavy expenses because of too residual errors. In the present work we propose some models for software testing optimization, making use of an integer linear programming approach solved with a “branch & bound\" algorithm.

Keywords

software testing optimization, integer linear programming, branch and bound algorithm.