On Unimodality of Functions Characterizing the Reliability of Program Packages

A method is proposed for estimating the number of maxima of functions of a special form. The method is applicable to analysis of functions which characterize the reliability of program packages.