一个名为 VNVSpec 的新开源框架已被开发出来，用于弥合软件开发中高级需求和低级测试之间的差距，特别是对于支持 AI 和网络物理系统的软件。该框架使验证和确认 (V&V) 规范具有机器可读性和可执行性，允许用户陈述需求、检查其质量，并将它们分解为具有验收标准的模块级需求。然后，VNVSpec 将这些需求与测试结果链接起来，将证据汇编成可用于审计的报告。该框架已通过自我应用进行了评估，验证了 36 项需求和 449 项测试，并且可以线性扩展处理多达 10,000 项需求。 AI
影响 该框架可以简化验证 AI 系统的流程，使其更容易满足对可追溯证据的监管要求。
排序理由 该集群包含一篇详细介绍软件验证和确认新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
