English(EN) Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications

新的 VNVSpec 框架连接了 AI 需求和低级测试

作者 PulseAugur 编辑部 · [1 个来源] · 2026-07-21 04:00

一个名为 VNVSpec 的新开源框架已被开发出来，用于弥合软件开发中高级需求和低级测试之间的差距，特别是对于支持 AI 和网络物理系统的软件。该框架使验证和确认 (V&V) 规范具有机器可读性和可执行性，允许用户陈述需求、检查其质量，并将它们分解为具有验收标准的模块级需求。然后，VNVSpec 将这些需求与测试结果链接起来，将证据汇编成可用于审计的报告。该框架已通过自我应用进行了评估，验证了 36 项需求和 449 项测试，并且可以线性扩展处理多达 10,000 项需求。 AI

影响该框架可以简化验证 AI 系统的流程，使其更容易满足对可追溯证据的监管要求。

排序理由该集群包含一篇详细介绍软件验证和确认新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群包含一篇详细介绍软件验证和确认新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, product, infra; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 73 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.AI TIER_1 English(EN) · Mansur Arief, Nur Ahmad Khatim, Ali Akarma, Ahmad Alfan Alfian Irfan · 2026-07-21 04:00

将高级需求集成到低级测试中，使用机器可读的 V&V 规范

arXiv:2607.17686v1 Announce Type: cross Abstract: Modern software teams have mature tools for low-level testing, such as pytest, JUnit, and Jest, which make it inexpensive to write unit tests and run them on every commit. Systems engineering, in parallel, has developed rigorous p…

本文如何被排名

报道来源 [1]

将高级需求集成到低级测试中，使用机器可读的 V&V 规范

相关实体

相关话题