VerificationVerification activities, which usually take the form of a combination of analyses, inspections, and tests, consume a significant part, if not the biggest part, of the development costs of large-scale engineered systems. Bayesian networksBayesian network can be used to support the planning and execution of verification strategiesVerification strategy. In this paper, the authors describe the generation of Bayesian networksBayesian network from ontological representations of test strategies in a digital engineeringDigital Engineering (DE) environment. This approach enables the integration of data from multiple sources and automates the process of delivering Bayesian networksBayesian network to engineers. We demonstrate this approach by applying it to a notional Attitude Determination and Control System.