资源预览内容
第1页 / 共12页
第2页 / 共12页
第3页 / 共12页
第4页 / 共12页
第5页 / 共12页
第6页 / 共12页
第7页 / 共12页
第8页 / 共12页
第9页 / 共12页
第10页 / 共12页
亲,该文档总共12页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述
软件代码检查单( C 语言) 项目名称 项目编码 检查方式 审查 走查 单人复审 检查人 检查对象 检查日期 执行类别说明 红色类:无条件执行 黑色类:建议执行 编号 检 查 项 结论 备 注 设计类 1 代码 与 详细 设计一致性 、完整性 检查 2 代码 与 协议一致性 检查 3 流程设计缺陷检查 4 关键算法 正确性检查 5 状态机机制是否有缺陷 6 数据结构设计合理性检查(包括复杂度检查) 7 异常处理是否全面 (各种异常 情况 都已处理) 接口类 8 跨模块消息接口是否有理解不一致问题 9 数据 类型是否与接口规范 一致 10 参数 取值 范围是否与 接口规范一致 11 跨模块 函数接口 使用 正确性 检查 变量 检查 ( 语法 类 ) 12 全局变量声明检查: 全局变量应在头文件中声明 在一个公共的 .h 文件(所有 .c都包含该头文件 ) 中声明 13 变量重名检查: 函数内外、嵌套代码内外是否有变量同名。 是否有局 部变量与全局变量同名。 14 局部静态变量定义检查: 不建议使用局部静态变量 15 全局静态变量定义检查: 只在本 C 中使用的变量使用静态变量 (static)定义 16 系统级全局变量引用检查:鉴于系统级全局变量的重要性,建议:在文件的开始部分,显式列出本文件所引用的系统级全局变量;在函数的变量说明部分,显式列出本函 数所引用的系统级全局变量; 编号 检 查 项 结论 备 注 17 文件级全局变量检查:文件级全局变量实际上是局部变量,由于文件级全局变量会减少程序的可读性,建议:尽可能少用文件级全局变量;在文件的开始部分,集中列出文件级全局变量的定义;在函数的变量说明部分,显式列出本函数所引用的文件级全局变量; 18 变量大小定义检查: 是否存在可能导致堆栈溢出的变量分配?避免出现比较 大的局部变量( 1K BYTES) 。 函数调用层次比较多时, 入参数应考虑采用传地址调用 (指针 )而不是传值调用 。 19 缓冲区定义检查: 缓冲区是否过小,对缓冲区赋值时,要注意缓冲区 的范围。另缓冲区过大,容易引起栈的崩溃。 20 宏定义中如果包含表达式或变量,表达式和变量必须用小括号括起来。 21 数据类型问题: ()变量的数据类型有错误吗? ()存在不同数据类型的赋值吗?例如,无意中使代码为 BYTE 变量赋予一个 WORD 数值? ()存在不同数据类型的比较吗?例如对 DWORD 类型的 dwIndex 判断时,要写成 if(dwIndex!=0Xffffffff),而不能写成 if(dwIndex!=0xffff),否则程序会出错。 当返回值为指针时,需对返回值作仔细检查。 22 变量值问题: ()变量的初值或缺省值有错误吗? ()变量发生上溢或下溢吗? 不同类型的变量赋值必须使用显式类型强制转换,避免大范围的数据类型向小范围的数据类型的赋值。 参考编译警告,检查强制转换,防止大的变量赋值给小的变量,在加减某变量时注意它的取值范围。如 A A B;或 A A B;有可能溢出 ()变量的精度够吗? 对于整型算术运算,某些计算,特别是除 法的代码处理是否会丢失精度? 解释:对于整形数之间的乘除运算尤其要注意两个问题:一个是溢出,一个是精度问题导致的计算错误。 23 变量初始化检查: 全局和局部变量在使用前必须声明和初始化(包括数组和结构);指针类型变量必须初始化为 NULL。 24 局部变量使用检查: 如果进程存在很多状态,要注意在其他状态初始化的变 量在本状态中还是未初始化的,不能拿来就用。 25 所有变量都赋予正确的长度、类型和存储类型了吗? 26 是否 考虑到编 译器对高低字节顺序处理的差异和 Pack 描述的差异?参考: 当声明数据结构时,必须考虑机器的字节顺序、使用的位域及字节对齐等问题 ; 结构定义时 , 尽量做到 pack 1, 2, 4, 8 无关。 27 变量高低字节转换检查:高低字节转换除编解码外在 Power PC 下进行,即字 节序以 X86 字节序为准。 28 直接赋值检查: 尽量使用结构的直接赋值而不是使用 memcpy 编号 检 查 项 结论 备 注 29 连续赋值检查: 不能使用连续赋值语句 函数检查(语法类) 30 函数输入参数检查: 包括取值范围和类型的检查, 重要的输入参数要检查后再用。尤其对于接口函数,输入参数的合法性、正确性检查极其重要,否则极可能引发灾难性后果 。 31 函数复合使用检查: 函数调用不要与其它语句复合使用 32 函数打印检查: 信息清晰明了,无废话。并包含模块信息和正确的打印 级别。 33 函数体返回值检查: ( 1)如果存在函数返回值,是否所有分支都有确定的返回值。 ( 2) return 语句不可返回指向“栈内存”的“指针”或者“引用”,因为该内存在函数体结束时被自动销毁。 ( 3)实际返回值类型是否和函数原型返回值类型匹配。 34 函数体一般性检查: 声明的函数必须使用 , 函数的每个参数都应该使用,如果 不用某些参数,应在注释中说明原因; 全局变量不要作 为函数参数;全局函数应在头文件中声明。 35 调用 函数时参数的类型、大小和次序 正确吗? 内存 、指针 检查( 语法类 ) 36 原则: 在通信程序中,为了保证高可靠性,一般不使用内存的动态分配。 37 必须对动态申请的内存做有效性检查,并进行初始化;动态内存的释放必须和分配成对以防止内存泄漏 ,释放后内存指针置为 NULL。 38 在使用 memcpy 时,注意检查 内存源 /目的地址 。 39 Memcpy 拷贝长度检查: 内存拷贝时长度是否直接使用假定大小,而不 使用 sizeof(),要检查 sizeof(struct)中 struct 是否正确,是否 超过目的 BUFFER 大小。 40 内存越界检查: 使用 memcpy、 memset 对变量赋值时是否有可能越界? 使用 sprintf、 strcpy 向一字符串赋值时是否有可能越界? 41 内存泄漏: 释放一个含有指向其它内存块的指针的内存块。如果没有其它指针指向第二个内存块,它将永远地丢失。 42 空指针检查: 检查指针是否为空;避免悬挂指针出现; 是否 存在对未分配或者已释放的指针的操作。 43 字符串操作检查 字符串中是否考虑了结束符 0 44 指针 +操作检查: 注意检查指针类型。指针 +后实际地址移动的 数字 和指针类型有关 45 二级指针检查: 是否避免使用了二级指针 编号 检 查 项 结论 备 注 46 取出整个数组长度的时候,是否使用了 sizeof 操作,还是直接赋值(建议使用sizeof 操作)? 如果使用直接赋值的方式,当数组或结构的长度发生变化时就必须改程序,一旦忘记修改,很容易发生越界和错误。 控制流程检查 (语法类) 47 如果程序包 含象 switch case 语句这样的多个分支,索引变量能超出可能的分支 数 目吗?如果超出,该情况能否正确处理? 48 Switch语句中一定要有 default ,注意该有 break时不要漏掉 break。推荐使用 switch语句来替代多重 If 语句 。 49 循环语句与判断语句中,不允许对其它变量进行计算与赋值。 50 循环问题: ()循环终止条件不正确吗? ()无法正常终止(死循环)吗? 例如,循环变量类型所能取的最大值小于循环上限宏值,容易引发导致死循环 。 ()错误地修改循环变量吗? 循环中的计数变量不能在循环体中被修改 ,防止循环失控 。 ( 4) 多重循环的循环变量是否错误 地 使用 了 相同的变量 。 ( 5) 循环变量是否少了 ( 7) 对于多重循环, 可以退出时立即退出, 以提高执行效率。 例如,在多重循环中查找匹配条件, 应用 Break 及时退出。 51 检查所有的跳转语句,包括 Break、 continue 等使用是否正确。 52 资源申请释放检查: 申请释放尽量在同一个函数中,代码中必须匹配。 53 非常规语句检查: 不使用 goto 语句;不使用递归 54 无效语句 检查: 是否存在任何条件下都运行不到的语句? 55 控制语句嵌套深度检查:控制语句嵌套深度不宜超过三层,每一层 后要 加注释。 56 复合使用检查: 函数调用不要与其它语句复合使用。 比较检查(语法类) 57 比较的正确吗?虽然听起来简单,但是比较应该是小于还是小于等于常常发生混淆,重点考虑边界问题。 58 每一个逻辑表达式都正确表达了吗?逻辑计算如期进行了吗?求值次序有疑问吗? 59 异或的优先级特低,检查和其它 运算符结合时是否加括号? 60 不可将浮点变量用“ =”或“ !=”与任何数字比较。 61 应当将指针变量用“ =”或“ !=”与 NULL 比较。 62 条件判断语句检查: 在条件判断语句使用时,建议写为常量变量的 形式,如果未这样写,是否有将误写为情况。 编号 检 查 项 结论 备 注 计算 检查(语法类) 63 运算优先级检查: 不太有把握的运算优先级最好要用括号。 64 赋值运算符检查: 不推荐使用复合赋值运算符,象 * , /, %, &等 65 “ + -“运算检查: “ +”和“ -”运算只能在简单的语句 中使用,不 应该再和其它运算符连用。 注意 *(p+)与 *p+的区别, 尤其当 p 是某一结构指针时。例如: *p = (*p+) & 0x1ff 一定要写为 *p+;*p = (*p) & 0x1ff 形式。 禁止在同一个语句中对同一个变量作一次以上的 + - 操作 66 计算中是否使用了不同数据 类型的变量,例如将整数与浮点数相加 。 67 在数值计算过程中是否可能出现溢出? 68 除数或模是否可能为零? 69 对于整型算术运算,某些计算,特别是除法的代码处理是否会丢失精度? 70 计算时是否了解和考虑到编译器对高低字节顺序处理的差异和 Pack 描述的差异? 异常保护检查(保护类) 71 变量越界检查: 变量使用是否可能越界,数组下标是否越界 例如: unsigned char i; for (;ibyUlPhyCHState = FPM_PHYCH_IDLE; ptPhyCHPara-byDlPhyCHState = FPM_PHYCH_IDLE; 在无线链路建立函数 FpmRlSetup 中, 增加两句话: ptPhyCHPara-byUlPhyCHState = FPM_PHYCH_RUNNING; ptPhyCHPara-byDlPhyCHState = FPM_PHYCH_RUNNING; 代码故障类型 编号 3 流程设
网站客服QQ:2055934822
金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号