喜报 │ 上海控安工具链产品获TÜV南德颁发的功能安全证书
此举标志着上海控安申请的功能安全工具链产品-工业嵌入式系统单元测试工具SmartRocket Unit满足了IEC 61508-3:2010, EN 50128:2011, ISO 26262-8:2018标准中对于软件开发工具的要求,适用于开发符合IEC 61508,EN 50128和ISO 26262的安全软件。
众所周知,单元测试对软件开发工作具有非常重要的作用,程序缺陷越早发现,其修复成本就越低;85%的缺陷几乎可以全部通过完备的单元测试被发现并修复。目前,单元测试大多采用人工编写测试用例方法,借助测试工具如Testbed、Tessy等编写、管理、执行用例,用例编写效率低下、测试用例质量参差不齐,且无法快速达到语句、分支及MC/DC的100%覆盖,难以实现如路径覆盖、数据流覆盖等更高强度的覆盖。
为了大幅提高测试人员的工作效率,有效提升测试质量,将测试人员从繁重的用例编写任务中解脱出来。上海控安自主研发国内首款工业嵌入式系统单元测试工具SmartRocket Unit。
— 特 / 色 / 优 / 势 —
三大支持
支持语句、分支、MC/DC覆盖准则
全面覆盖
全面覆盖形参、全局变量、桩函数、
桩函数形参等数据,满足行业规范
无缝对接
无缝对接Testbed、Tessy等
第三方测试工具
经过不懈努力,这款产品已通过TÜV南德严格的检测,获得TÜV南德认证标志及证书。这也意味着上海控安研发的工具链产品已经完全符合国际及国内要求,具备服务全球市场的必要条件,对上海控安打造全球影响力具有里程碑式的意义。
关于TÜV南德意志集团
TÜV南德意志集团是一家优质、安全和可靠的专业测试、检验、审核、认证、培训和知识服务解决方案提供商。自1866年起,集团始终致力于保护人类、财产和环境安全,避免新型未知技术带来的风险。TÜV南德意志集团总部位于德国慕尼黑,在全球超过1,000个地方设立了办事处。目前,已经为Intel、Texas Instruments、VxWorks、Hypervisor、MathWorks、Esterel、BTC等企业产品和项目颁发功能安全证书。