专注于互联网--专注于架构

讲解员:人工测试全面讲解

静态分析中进行人工测试主要思路方法有桌前检查、代码审查和走查经验表明使用这种思路方法能够有效地发现30％到70％逻辑设计和编码检查项目有: 1)检查变量交叉引用表:重点是检查未介绍说明变量和违反了类型规定变量；还要对照源逐个检查变量引用、变量使用序列；临时变量在某条路径上重写情况；局部变量、全局变量和特权变量使用整理发布； 2)检查标号交叉引用表:验证所有标号正确性:检查所有标号命名是否正确；转向指定位置标号是否正确 3)检查子、宏、:验证每次和所位置是否正确；确认每次所子、宏、是否存在；检验序列中方式和参数顺序、个数、类型上致性 4)等价性检查:检查全部等价 [阅读全文] [PDF]