程序健壮性的提高要从设计、实现、测试三方面入手，具体来说
共 1932字，需浏览 4分钟
·
2021-01-06 15:04
点击上方蓝色字体，选择“标星公众号”
优质文章，第一时间送达
作者 | yuzhenjin
来源 | urlify.cn/aQfaem
1. 设计
1. 系统
系统外部模块的异步响应都需要设置超时时间，要有超时处理，超时时间要和外部模块协商一个合理时间。
发送消息失败和设置timer失败统一做处理。
需要设计相关机制(比如心跳包机制)监控进程/线程是否发生了堵塞，发生堵塞后需要设计相应的处理流程。
需要设计相关机制来监控CPU的占有率，当CPU占有率超过阈值后要设计相应的处理流程。
2. 模块
系统内部所有需要等待的异步响应都要有超时处理。
关联组件的行为不一致要做异常处理：比如：APP模块认为通信已经断开，故不会再次请求通信MID模块去执行通信，而通信MID模块等待APP模块来触发下一次通信。
模块内部暂态都要设置最长停留时间，以及超过这个时间后做什么样的处理。
模块的错误处理至少要考虑以下几种类型错误：
输入了范围外的值
在规定时间内，处理没有结束或者没有应答
与期待的时序不一致
期待的数据不完整：
由错误转化为异常的判定标准：
不以单次Error做判定，而是执行一定次数(3次)的Retry处理。
测试时间以大于一定时间为目标 。
通信关联的功能模块在设计时需要考虑：
用户异常切断时怎么处理
通信正常切断时怎么处理
通信正常终了时怎么处理
设备异常切断时怎么处理"
做状态迁移表的设计时，如果状态迁移表的事件有外部设备异常切断的通知。要明确各状态下收到该通知时处理的妥当性，并且明确这些设计。
需要考虑起动处理时各模块消息的同步问题。例如，优先级高的A模块启动后，发送消息给后B模块，考虑如果此时B模块未启动的处理情况。
对于Backup的数据，需要考虑Backup各种状态下启动之后处理：
1 没有读取到Backup数据
2 Backup数据为初始值
3 Backup数据达到最大边界值
4 Backup数据超过最大边界值或者异常。备份的数据要有默认值。
备份的数据要进行完整性校验。
设计模块时，尽量保证此模块可以有机制来恢复。
模块出现异常时，有一套机制可以检测出来。
3. 函数
输入范围之外的值需要做处理。
函数设计时需要明确设计目标函数所调用函数的所有返回值。对正常值以外的返回值进行分析，分析不同的返回值是否需要做不同的异常处理。并且明确这些异常设计。
Loop循环，一定要设定跳出循环的条件或者是范围的判定。
进行数据的格式转换的处理，需要明确：1 数据转换前后的格式2 转换规则3 是否有数据在转换时需要特殊处理，比如边界值。
2. 实现
不允许使用C语言中非安全的经典函数，如下：
strcpy/wcscpy/stpcpy/ wcpcpy
scanf/ sscanf /vscanf /fwscanf /swscanf/ wscanf
gets/ puts
strcat /wcscat
wcrtomb /wctob
sprintf/ vsprintf /vfprintf
asprintf/ vasprintf
strncpy /wcsncpy
strtok/ wcstok
代码满足静态检查规范(cert C，misra C)。
函数的入参要进行范围判断。
不允许使用函数的递归。
优先使用RAII技术来管理资源(使用C++语言)，比如锁，文件句柄等。
优先使用引用来代替裸指针(使用C++语言)。
优先使用智能指针代替裸指针(使用C++语言)。
尽量避免强制类型转换。
3.测试
1. 测试用例
测试用例至少覆盖以下几种情况：
基本功能：典型时序(所有的错误；异步超时需要重点关注)。
性能：性能相关时序。
边界值：外部输入所有的边界值。
异常值：接口中数据范围异常；时序重复混乱；备份数据损坏；服务器来的数据破坏；总线上数据异常等 。
恶意操作：ACC ON,OFF频繁操作；外部线恶意插拔；外部没有得到结果就再次请求；外部连续两个相反的请求；外部连续两个不同的请求等。
内部状态：内存使用量大时；CPU占有率大时；各种电源状态下 。
外部状态：总线负载大时；Linux下2038问题；MQTT/HTTP同时进行；正常功能和debug功能同时进行。OTA/diag/factory reset处于执行中时。
2. 测试工具
测试用例要能支持回归测试。
搭建自动化测试环境。
粉丝福利：Java从入门到入土学习路线图
???
?长按上方微信二维码 2 秒
感谢点赞支持下哈 