行业解决方案

企业解决方案

当前位置  >  首页  >  解决方案  >  行业解决方案  >  企业解决方案

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

方案背景

Programme background

随着汽车电子、轨道交通、流程工业及工厂自动化等领域智能化发展进程不断加快,工业嵌入式系统也面临软件代码缺陷数量快速增长、安全威胁加速渗透、安全防范意识缺失等挑战。在安全需求越发严谨的当下,作为支撑工业操作系统、通信协议栈、组态软件功能设计等内容的测试验证软件工具,目前仍有超9成比例被Tessy、Testbed等国外测试工具垄断,给企业日常运维带来安全隐患缺口。因此,自主创新支撑工具、保障整个工业嵌入式系统的高可信需求已成为行业关注的重点。上海控安联合飞腾公司与麒麟软件,攻关推出基于飞腾CPU和银河麒麟高级服务器操作系统V10的工业嵌入式测试软件联合解决方案。该方案不仅实现了汽车、交通及工业等领域工业嵌入式软件研发降本增效的目标,也为软件功能安全赋予更多保障,满足了行业标准及应用需求。

方案概述

Overview of the solution

不同行业、领域的功能安全标准在不同等级下对覆盖率的要求稍有不同,如汽车领域的ISO-26262、工业领域的IEC-61508功能安全标准等,但是最高等级下都需要包含语句覆盖率、分支覆盖率和MC/DC覆盖率。另外工业软件测试传统做法是主要通过人工手动编写测试用例,或通过随机生成的方式进行辅助。这种方式无法快速达到语句、分支及MC/DC覆盖率的100%覆盖,且耗时费力。为提升测试效率、降低测试成本、保证测试质量,打造可控的国产化工业软件测试工具,飞腾信息携手上海控安及麒麟软件,基于飞腾CPU平台产品和麒麟操作系统,融合软件代码分析中的动态符号执行核心技术,联合攻关实现工业嵌入式智能化测试软件(即SmartRocket TestGrid)首次在国产基础软硬环境下的运行,构建出安全创新的工业嵌入式测试软件联合解决方案,赋能工业系统高可靠、高安全等级测试验证需求。


技术路线

Technical route

  • 处理器:FT2000/4、D2000、S2500、FT2000+/64

  • 操作系统:银河麒麟高级服务器操作系统V10、银河麒麟桌面操作系统V10版本

  • 整机:基于飞腾ARM架构芯片国产整机

  • 工业软件:SmartRocket TestGrid


方案架构

Scheme architecture

方案优势

Solution advantage

  • 全栈国产化方案:基于银河麒麟操作系统和飞腾芯片的SmartRocket TestGrid一体化软件测试平台,为用户提供符合工业软件安全要求、自主创新的完整解决方案。

  • 零测试代码:用户无需额外编写任何测试驱动代码。工具自动分析测试接口,并以表格的形式将数据展开,用户在进行用例修改和设计时,可以直接在表格中填写。“一键测试”功能按钮,自动为被测函数进行测试用例的生成与执行,并收集覆盖率。

  • 安全认证:测试软件工具获得TUV南德的功能安全认证,工具、测试报告均符合功能安全标准要求,满足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018等行业标准要求。

  • 支持第三方集成:测试软件工具支持Eclipse IDE、Jenkins等第三方集成。

  • 灵活简约的用户体验:TestGrid工具的界面简洁、操作简单;采用B/S架构,可以跨平台使用。


应用场景

Application scenarios

该方案可适用以下行业领域:

1.汽车电子:汽车电子行业遵循ISO-26262标准,部分工程需要达到ASIL-D安全等级要求。

2.轨道交通:如轨交信号系统测试中,需要根据不同的SIL等级来进行相应的单元测试。使用该联合方案的软件测试工具,可以极大地减少人力成本及时间成本。

3.工业领域:在过程自动化和工厂自动化等领域,各种安全装置和系统需要IEC-61508等标准的性能评估和要求。使用该联合方案的软件测试工具能够自动进行工业软件测试执行,帮助工业系统完成风险评估、SIL等级评估和认证、功能安全测试等服务。

成功案例

Success case

案例名称:某领域控制系统研究所测试项目

建设内容:该研究所主要从事某领域控制系统及电子控制器/控制软件的研发、制造、集成,以及柔性联轴器的研发、生产和保障业务。基于项目需要,研究所采用SmartRocket TestGrid测试联合解决方案用于项目开展单元测试,包括单元测试工程创建、用例设计、脚本生成、调试执行、覆盖率分析与收集、测试结果报表生成、测试回归与迭代等。

案例价值:

1.满足单元测试要求。无需编写驱动代码即可实现高覆盖率测试用例生成,一键执行并收集覆盖率,有效提高测试效率。解决测试人员效率低、投入大的行业共性难题。

2.SmartRocket TestGrid+银河麒麟高级服务器操作系统V10+飞腾CPU提供的工业软件智能测试解决方案,填补国内嵌入式代码单元测试工具技术空白,有效发现工业软件设计缺陷,达到可信工业软件的高质量要求。

试用

服务

动态

联系