Constructing Bayesian-network models of software testing and maintenance uncertainties