基于SCADE高安全软件的模型覆盖测试

随着SCADE在航空航天、轨道交通、核能电子、轨道交通等安全关键行业的广泛应用,为了保证软件系统的正确性和可靠性,模型覆盖测试成为了一种重要的测试方法。本文将介绍基于SCADE高安全软件的模型覆盖测试技术,探讨它在软件开发测试中的应用,对模型覆盖测试技术进行研究、分析和实践。SCADE[1](Safety Critical Application Development Environment,SCADE)是高安全性的应用程序开发环境,适用于开发嵌入式安全关键系统,它为嵌入式软件提供了一套基于模型的开发方式。基于SCADE高安全软件的模型覆盖测试是一种基于模型的安全关键软件全覆盖测试方法。