【摘要】 介绍了一种基于贝叶斯图模型的软件测试新方法,该方法为具有不确定性的软件测试问题的逻辑结构提供了形式化机制。分析了该方法的优点和不足,并进行了改进。提出了简化模型,给出了测试过程,通过实例介绍了该模型。表明通过基于贝叶斯图模型的测试方法所构造的模型可以作为软件测试的动态表示,并用于驱动测试设计,为测试者提供决策支持。更多还原

【Abstract】 Recommends a new approach to software testing based on Bayesian graphical model. This approach provides a formal mechanism for the logical structuring of the uncertain software testing problem. Analyzes its advantages and disadvantages, and improves it. Brings forward the predigested model, provides the testing procedure, introduces it with an example. Indicates the model constructed are dynamic representations of the software testing problem , they can be used to drive test design, and provide decision support to testers.更多还原