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

作　　者：虞佳伟 沈雷[1] 邵锴 林娇娇 

机构地区：[1]中国电子科技集团公司第三十二研究所

出　　处：《数字技术与应用》2023年第12期111-113,共3页Digital Technology & Application

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

关 键 词：覆盖测试 安全软件 安全关键系统 嵌入式软件 SCADE 安全关键软件 软件开发 应用程序开发 

分 类 号：TP39[自动化与计算机技术—计算机应用技术]