摘要：软件产业的飞速发展也给软件的安全性问题很大的挑战。对软件进行安全性测试是保证软件安全的重要手段[1]。软件安全性的测试用例是保证软件安全性测试的基础,它能提高软件安全性测试的质量。利用故障树的原理和方法,基于故障树最小割集的生成,阐述了其基本原理并对其进行定性和定量分析。利用生成的最小割集设计测试用例能保证测试的充分性、测试用例分布的合理性,保证了软件安全性测试用例质量和安全性测试质量、效率。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社