基于最小割集的软件安全性测试用例生成

摘要

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