白皮书
优化基于模型的验证过程以符合DO-178C - DO-331目标
安全关键软件的开发需要在验证方面付出巨大的努力，以满足所要求的质量水平。当我们处理DO-178C A级应用程序时，这项工作有时可能达到项目总成本的60%。在这种严格的软件开发环境中，已经提出了各种验证技术来简化软件验证，同时保持应用程序的安全性。基于模型的验证可以被认为是最有效的验证之一。它包括几种验证技术，如模型检查、模型仿真(包括快速原型)和模型覆盖。在这些技术的基础上，大多数验证活动可以在模型级别执行，从而在开发周期的早期识别问题。SCADE Test®产品线完全支持基于模型的验证过程。它包括几个验证模块，如SCADE测试快速原型、测试模型覆盖、主机测试环境和目标测试执行，并连接到LDRA目标测试环境。SCADE测试和LDRA测试环境的结合支持从需求的早期确认到EOC在目标上的最终执行的集成验证流程。本演讲将详细介绍验证使用SCADE开发的基于模型的应用程序的过程，并将重点介绍SCADE测试与LDRA测试环境相结合如何满足DO-178C/DO-331验证目标。
