Structure is introduced to the process of software reliability estimation. An estimator for the overall software failure rate is constructed using estimators of subtask—failure rates. This is done for the case when testing reveals no failure. The obtained estimator depends on the number of subtasks present in the code and on the code structure. The model proposed covers sequential and simple branching structures.