嵌入式软件测试:安全性检查

本文探讨了嵌入式软件测试中关于安全性的关键检查,包括无条件跳转、循环和分支嵌套问题、死循环、标号错误、未使用元素、不可达代码、括号使用不当、数组引用错误、除数可能为0、数学操作的边界条件等,旨在提升软件的健壮性和可靠性。
摘要由CSDN通过智能技术生成

本文参考自: 原文地址

安全性检查
1、数据流分析
通常用数据流图来分析数据处理的异常现象,这些异常包括初始化、赋值或引用数据等。对数据流的分析主要包括对过程或函数调用信息的分析以及对数据流的反常分析。主要集中关注定义/引用异常的缺陷(定义的变量没有使用,使用的变量没有定义)。
2、控制流分析
  • 通过控制流分析可发现以下错误:
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值