arxivcs.SEcs.AI2026-07-20
Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications
Mansur Arief, Nur Ahmad Khatim, Ali Akarma, Ahmad Alfan Alfian Irfan
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 principles for design verification and validation (…