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