论文《一种面向软件可信性的测试用例生成与优化方法》提出了一种提高软件可信性的测试用例生成与优化方法。该方法结合了形式化验证与智能算法,旨在提升测试用例的覆盖率和有效性。通过优化测试用例集,能够更有效地发现软件中的安全漏洞和可靠性问题,为软件质量保障提供理论支持和技术手段。
举报