从模型到代码的验证和验证

作者:Jay Abraham, MathWorks

航空电子系统需要严格的验证和验证(V&V)过程，经常使用v模型来实现验证目标。基于模型的设计使V&V任务能够在设计过程的早期执行，此时修复错误更容易且成本更低。本文探讨了全面的V&V过程，可以应用于整个v模型过程，从需求到验证代码的交付。

本文在2015年AIAA SciTech建模与仿真技术会议上发表。