分享

控安基于银河麒麟操作系统的工业软件智能测试解决方案

方案背景
随着汽车电子、轨道交通、流程工业及工厂自动化等领域智能化发展进程不断加快,工业嵌入式系统也面临软件代码缺陷数量快速增长、安全威胁加速渗透、安全防范意识缺失等挑战。在安全需求越发严谨的当下,作为支撑工业操作系统、通信协议栈、组态软件功能设计等内容的测试验证软件工具,目前仍有超9成比例被Tessy、Testbed等国外测试工具垄断,给企业日常运维带来安全隐患缺口。因此,自主创新支撑工具、保障整个工业嵌入式系统的高可信需求已成为行业关注的重点。上海控安联合飞腾公司与麒麟软件,攻关推出基于飞腾CPU和银河麒麟高级服务器操作系统V10的工业嵌入式测试软件联合解决方案。该方案不仅实现了汽车、交通及工业等领域工业嵌入式软件研发降本增效的目标,也为软件功能安全赋予更多保障,满足了行业标准及应用需求。
方案介绍
不同行业、领域的功能安全标准在不同等级下对覆盖率的要求稍有不同,如汽车领域的ISO-26262、工业领域的IEC-61508功能安全标准等,但是最高等级下都需要包含语句覆盖率、分支覆盖率和MC/DC覆盖率。另外工业软件测试传统做法是主要通过人工手动编写测试用例,或通过随机生成的方式进行辅助。这种方式无法快速达到语句、分支及MC/DC覆盖率的100%覆盖,且耗时费力。为提升测试效率、降低测试成本、保证测试质量,打造可控的国产化工业软件测试工具,飞腾信息携手上海控安及麒麟软件,基于飞腾CPU平台产品和麒麟操作系统,融合软件代码分析中的动态符号执行核心技术,联合攻关实现工业嵌入式智能化测试软件(即SmartRocket TestGrid)首次在国产基础软硬环境下的运行,构建出安全创新的工业嵌入式测试软件联合解决方案,赋能工业系统高可靠、高安全等级测试验证需求。
方案路线
处理器:FT2000/4、D2000、S2500、FT2000+/64
操作系统:银河麒麟高级服务器操作系统V10、银河麒麟桌面操作系统V10版本
整机:基于飞腾ARM架构芯片国产整机
工业软件:SmartRocket TestGrid
技术架构
4169aae149f0476b8ff71ee358984834.png.jpg
方案优势
全栈国产化方案:基于银河麒麟操作系统和飞腾芯片的SmartRocket TestGrid一体化软件测试平台,为用户提供符合工业软件安全要求、自主创新的完整解决方案。
零测试代码:用户无需额外编写任何测试驱动代码。工具自动分析测试接口,并以表格的形式将数据展开,用户在进行用例修改和设计时,可以直接在表格中填写。“一键测试”功能按钮,自动为被测函数进行测试用例的生成与执行,并收集覆盖率。
安全认证:测试软件工具获得TUV南德的功能安全认证,工具、测试报告均符合功能安全标准要求,满足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018等行业标准要求。
支持第三方集成:测试软件工具支持Eclipse IDE、Jenkins等第三方集成。
灵活简约的用户体验:TestGrid工具的界面简洁、操作简单;采用B/S架构,可以跨平台使用。
场景案例
dbf98ec411e6490eb756e5c4bf082d99.png.jpg
案例名称:某领域控制系统研究所测试项目
建设内容:该研究所主要从事某领域控制系统及电子控制器/控制软件的研发、制造、集成,以及柔性联轴器的研发、生产和保障业务。基于项目需要,研究所采用SmartRocket TestGrid测试联合解决方案用于项目开展单元测试,包括单元测试工程创建、用例设计、脚本生成、调试执行、覆盖率分析与收集、测试结果报表生成、测试回归与迭代等。
案例价值: 1.满足单元测试要求。无需编写驱动代码即可实现高覆盖率测试用例生成,一键执行并收集覆盖率,有效提高测试效率。解决测试人员效率低、投入大的行业共性难题。 2.SmartRocket TestGrid+银河麒麟高级服务器操作系统V10+飞腾CPU提供的工业软件智能测试解决方案,填补国内嵌入式代码单元测试工具技术空白,有效发现工业软件设计缺陷,达到可信工业软件的高质量要求。

应用单位
上海工业控制系统安全创新功能型平台



版权说明:论坛帖子主题均由合作第三方提供并上传,若内容存在侵权,请进行举报

没找到任何评论,期待你打破沉寂

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

联系在线客服