Optimization Models in Software Reliability