官方微信视频号
功能安全测试——静态测试
时间：2021-07-09 17:37:00
来源：上海机器人产业技术研究院
作者：小R
静态测试是指不运行被测程序本身，仅通过分析或检查源代码的语法、结构、过程、接口等来检查程序的正确性，通常使用静态分析工具执行源代码测试。
▍静态测试的功能
静态测试包括代码安全漏洞检查、流分析、代码度量分析等。
代码漏洞是指由于程序设计考虑不周而产生的可能会对程序本身、系统或数据带来潜在危害的代码问题。代码漏洞可以表现在很多方面，算法本身或者代码本身的问题都可能会造成代码漏洞。威胁程度最高的10种漏洞分别为代码执行、文件包含、SQL注入、密码重置、弱口令、越权查看、越权修改、信息泄露、支付漏洞、XSS等。
流分析包括应用执行路径仿真在内的分析技术，以确定可以触发运行时缺陷的路径。可以被检测出的缺陷包括对非初始化内存的使用、空指针引用、被零除以及存储空间和资源泄漏。
代码度量指标分析包括评估代码和监控变化，可以更好地理解代码的复杂度和其他代码中的哪些类会由于一个变更而可能受影响，便于代码的修改、重构和测试。
★检测源码中明显或潜在的缺陷。
★防止使用有损安全性的代码。
★实施组织设计准则、规范 （具体应用程序的、专门用途的或特定平台的）、以及从已知的特定错误中概括出来的错误预防准则。
★通过改进类设计和代码组织，而改进代码可维护性。
★通过应用常见的格式化、命名以及其它风格方面的约定，提高代码可读性。
▍静态测试分析案例
执行源代码静态测试后，按照静态测试分析规则可以按照严重度分为1-5等级，其中严重度1最高，5最低，下图为静态测试分析结果图。
▍静态测试覆盖领域
编程语言覆盖：C、C++、C#、JAVA等；行业覆盖：涵盖医疗安全、信息安全、汽车工业等领域的代码安全规则。
▍常见静态测试规则库
1、CWE（Common Weakness Enumeration）一般弱点列举；
2、OWASP（Open Web Application Security Projet）开源Web应用安全项目；
3、IEC 62304 医疗器械软件——软件生存周期；
4、GJB8114-2013 C/C++语言编程安全子集
5、MISRA C
▍项目受理流程
▍关于上海机器人产业技术研究院
上海机器人产业技术研究院是在上海市委市政府、及市科委、经信委等相关委办共同关心指导下，由上海电器科学研究所（集团）有限公司、上海大学以及上海市普陀区政府共同出资组建，是上海机器人研发与转化功能型平台实施载体,肩负推动机器人产业转型升级、培育优质机器人企业、促进“中国制造”品牌国际化的历史使命，助力上海具有全球影响力的科技创新中心建设。
推荐新闻
-
创新驱动、智能进化、场景赋能、生态协同—— 第十届“创客中国”智能机器人中小企业创新创业大赛火热报名中！
2025-06-09 -
全球首张 | 智元机器人荣获人形机器人CR认证“001”证书
2025-05-31 -
突破行业标杆！埃夫特ER300系列机器人荣获MTBF 120000小时认证，重新定义可靠性
2025-05-30 -
普陀区人大常委会主任谈上伟调研机器人研究院
2025-05-15 -
2025年IEC/TC125国内主席顾问专家组、国内技术对口工作组和国际全会行前会成功召开
2025-05-15 -
我国牵头国际标准被30+国家转化，全球应用进程加速推进
2025-05-15 -
“全国机器人标准化检测分技术委员会”获批，我院承担秘书处
2025-05-14 -
“天工”人形机器人一体化关节进入全面“体检”阶段
2025-05-13 -
关于开展第十届“创客中国”智能机器人中小企业创新创业大赛项目征集工作的通知
2025-05-12 -
江苏省南通市代表团一行赴机器人研究院考察
2025-05-12 -
国家标准《工业机器人静电安全规范》等三项标准工作启动
2025-05-07 -
关于征集第十届“创客中国”智能机器人中小企业创新创业大赛评委的通知
2025-04-29 -
共探高质量、发布新成果——2025人形机器人产业高质量发展论坛顺利召开
2025-04-27 -
镇江市党政代表团一行赴机器人研究院考察
2025-04-25 -
定立场，测关节，论数据-全国人形机器人检测认证工作组2025年第二次会议于深圳顺利召开
2025-04-25 -
我院承办的第十届“创客中国”智能机器人中小企业创新创业大赛新闻发布会顺利召开
2025-04-18 -
福州人形机器人训练场启动并接入国家级测评平台
2025-04-15 -
安全性能国际接轨启新章——工业机器人CR认证新规研讨于沪召开
2025-04-15 -
政企携手谋新篇---上电科领导西南行暨卡诺普机器人全系列产品CR认证签约仪式在蓉举行
2025-03-12 -
市科委主任骆大进调研机器人研究院：肯定成绩，寄予厚望
2025-03-10 -
ABB全系列机器人CR认证战略合作签约
2025-02-25 -
KUKA机器人再添新认证
2025-01-27 -
国评中心与京沪两地人形机器人共建创新中心共同举办人形机器人产业发展论坛
2024-11-20 -
人形机器人检测认证工作组正式成立
2024-11-22 -
守安全底线、 保本体可靠、促智能发展，全国人形机器人检测认证工作组会议顺利召开
2025-02-27 -
我院专家获得"机器人"领域国际电工标准化1906奖
2024-10-14 -
国评中心(总部)为安川颁发机器人洁净级认证证书！
2024-09-25 -
JAKA拿下协作机器人全系列CR认证“001”证书
2024-09-19 -
KUKA全系列机器人获得CR认证
2024-09-14 -
2024世界机器人大会机器人行业规范检测与技术分论坛在京圆满举行
2024-08-25 -
国评中心（总部）北京测评中心正式揭牌！
2024-08-24 -
首届智能机器人分级分类评价创新论坛在上海召开
2024-07-05 -
上海成立机器人概念验证中心
2024-06-25 -
【研发成果】轻量化、模块化、智能化的移动机器人面市！
2024-06-20 -
机器人赛道逐渐拓宽，人形机器人正当时？
2024-07-01 -
【祝贺】艾利特CS系列协作机器人通过100000小时MTBF测评！
2024-01-03 -
协作无界，“加”速未来—2023首届中国（盐城）机器人+新能源产业发展大会在盐城顺利召开
2023-12-25
