第六章 检查代码

第六章检查代码[e-mail]张淑艳测试基础静态黑盒动态黑盒静态白盒动态白盒检查代码6.1静态白盒测试：检查设计和代码在不执行软件的条件下有条理地仔细审查软件设计、体系结构或代码，从而找出软件缺陷的过程。有时称为结构化分析。可以尽早发现软件缺陷，降低修复成本。为黑盒测试测试设计和应用提供思路。作用：6.1静态白盒测试：检查设计和代码Why6.2正式审查6.3编码标准和规范6.4通用代码审查清单6.2正式审查目标准备(1)确定问题(2)遵守规则(3)准备(4)编写报告规则记录过程执行过程不要随意，否则会感觉浪费时间~~作用：正式审查是早期发现软件缺陷的好方法。提供交流促进质量加深合作解决问题6.2正式审查6.2正式审查走查同事审查检验同事审查讨论参与人员：编写代码的程序员一至两个审查者更正规化更正规化6.2正式审查走查同事审查检验走查参与人员：编写代码的程序员审查人员（5人左右）走查过程：分享软件拷贝审查前的工作正式评审写出书面报告更正规化更正规化更正规化更正规化6.2正式审查走查同事审查检验检验参与人员：表述者(不是原来的程序员)检验员(受过专职训练)会议的后期处理工作：检验员与协调员一起讨论不足之处，明确需要重作的工作，写出书面报告，会议协调员验证修改结果更正规化更正规化6.3编码标准和规范正式审查时，检查员查找代码中的问题和缺漏，但是还有一些问题，即软件可以运行，但是没有遵守标准和规范6.3编码标准和规范标准是建立起来，经过修补和必须遵守的规则。Topic:3.05Control-restrictiononcontrolstructuresSTANDARDThegotostatement(andhencelabelsaswell)shouldnotbeused.Thewhileloopshouldbeusedinsteadoftheproblemexplicitrequiresdoingthebodyatleastonceregardlessoftheloopcondition.JUSTIFICATIONThegotostatementisprohibitedfortheempiricalreasonthatitsuseisHighlycorrelatedwitherrors,andfortheabstractreasonthatalgorithmsshouldbeexpressedinstructuresthat…编程标准示例标题标准解释说明示例6.3编码标准和规范规范是建议最佳做法、推荐更好的方式。Topic:7.02C-problems–ProblemsareasfromCGUIDELINETrytoavoidClanguagefeaturesifaconflictwithprogramminginC++1.Donotusetheoffsetofmacroexceptwhenappliedtomumbersofjust-a-struct2.AvoidtheCmacroNULL;use0insteadJUSTIFICATIONEachofthesefeaturesconcernsanareaoftraditionalCusagewhichcreatessomeprobleminC++编程标范示例6.3编码标准和规范编程风格voidfun(){inta;for(a=0;a10;a++){intk;for(k=0;k10;k++){intb=k+a;}}}voidfun(){inta;for(a=0;a10;a++){intk;for(k=0;k10;k++){intb=k+a;}}}6.3编码标准和规范编程风格voidfun(){inta;for(a=0;a10;a++){intk;for(k=0;k10;k++){intb=k+a;}}}voidfun(){inta;for(a=0;a10;a++){intk;for(k=0;k10;k++){intb=k+a;}}}6.3编码标准和规范坚持标准或规范的原因：可靠性可读性/维护性移植性6.3编码标准和规范获取标准：美国国家标准学会：国际标准化组织：美国计算机协会：电子电气工程协会：通用代码审查清单静态白盒测试在代码审查中应该注意的问题--需要具有一定的编程经验《SamsTeachYourselfBeginningProgrammingin24Hours》(1)数据引用错误(2)数据声明错误(3)计算错误(4)比较错误(5)控制流程错误(6)子程序参数错误(7)输入/输出错误(8)其他检查