软件工程-计算机13-普通班.ppt

表达式和语句 Leap_year=y%4==0y%100!=0||y%400==0 比较容易理解的应为： leap_year=((year%4==0)(y%100!=0))||(year%400==0); 表达式和语句 分解复杂的表达式 *x+=(*xp=(2*k(n-m)?c[k+1]:d[k--])); 分解为： if(2*kn-m) *xp=c[k+1]; else *xp=d[k--]; *x+=*xp; 一致性和习惯用法 使用一致的缩排和加括号风格； if(month==FEB){ int day; nday=28; if(year%4==0) nday=29; if(daynday) legal=FALSE; } 最好采用习惯用法； for(i=0;in;i++) array[i]=1.0; 使用字符形式的常量，不要用整数。 if(c=65c=90) ….. 应为： if(c=‘A’c=‘Z’) …. 利用语言去计算大小。 如： fgets(buf,sizeof(buf),stdin); 注释 不要大谈明显的东西。 给函数和全局数据加注释。 4.1.4 满足运行工程学的输入输出风格 输入方面： （1）对输入数据进行有效性检验； （2）输入格式力求简单、一致； （3）使用结束标志终止输入； （4）提示“请输入”，给出范围和边界值； （5）对多个输入组合进行检查。 输出方面： （1）对输出数据加以说明； （2）良好的报表和报告形式； （3）在线帮助； （4）对可能产生重大后果的给与提示； （5）防止用户意外非正常操作，具有防弹功能； （6）区别不同用户，适合用户的习惯和水平； （7）系统能够自动恢复。 4.2 编码语言的选择 选择编码语言的标准： （1）应用领域 （2）算法和计算复杂性 （3）数据结构的复杂性 （4）效率的考虑 第5章 软件测试 检验与验证 软件检查 测试的目的与纠错 测试方法-黑盒方法 测试方法-白盒方法 系统测试过程 Verification:  Are we building the product right The software should conform to its specification 检查软件是否符合它的描述。 检查系统是否满足它所定义的功能和非功能的需要。 5.1 检验Verification Validation: Are we building the right product The software should do what the user really requires 软件是否满足用户的最终需要。 验证validation 5.2 软件检查Inspection 软件检查不需要运行程序，可在程序完成之前进行验证。 程序检查内容 缺陷分类 检查内容 数据缺陷 所有程序变量在使用前初始化、所有常量命名 数组上界、字符串有定界符、缓冲区溢出 控制缺陷 条件语句的条件正确吗、每一循环能终止、复合语句括起来吗、Case包含了所有情况吗 Case中是否应包含了break 输入输出缺陷 所有输入变量都使用了吗、输出变量在输出前赋值了吗、有未料到的输入引起系统崩溃 接口缺陷 所有的函数和方法调用都使用了正确数量的参数、形实参类型匹配吗、参数顺序对吗 存储管理缺陷 一个链接改变时其他链接都改变吗、在动态分配空间时，空间分配正确吗、对不用的空间是否释放 异常管理缺陷 所有可能的错误状态都已经考虑吗 5.3 测试的基本概念 Testing: To find errors in programs 发现程序的错误 Debugging: Locate and modify errors 定位和纠正错误 测试和纠错的流程Testing and Debugging Process Testing Testing Results Debugging 软件纠错Debugging Process 纠错策略 试凑法 跟踪法 推理法 正向跟踪 反向跟踪 归纳推理 演绎推理 纠错技术Debugging Tecniques 插入打印语句 设置断点 掩蔽部分程序 蛮力纠错技术(Debugging by Brute Force) 测试的分类 办公桌检查 程序测试 静态分析 （程序不执行） 动态测试 （程序执行） 静态分析器分析 （自动方式） 代码评审 （人工方式） 代码会审 走查 黑盒测试（测试程序功能