Skip to content
TopicTracker
来自 HackerNews查看原文
译文语言译文语言

通过小型面向证明的测试发现规范漏洞

本文介绍了一种通过编写小型、面向证明的测试来发现软件规范中隐藏漏洞的方法。这种方法结合了形式化验证和传统测试的优点,能够更有效地识别规范中的不完整性和不一致性。

相关报道