第3章代码检查、走查与评审

《第3章代码检查、走查与评审》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、第3章代码检査、走查与评审考点1桌上检查与代码检查［试题3-1］检查是否存在“已定义但未使用”的变量引用异常应属于。A）静态分析B）动态分析C）代码执行D）调试［解析］静态错误分析有以下几种：类型和单位分析、引用分析、表达式分析和接口分析等，其屮在静态错谋分析小，最广泛使用的技术就是发现引用异常。［答案］A［试题3-2］在程序测试屮，用丁•检查程序模块或子程序Z间的调用是否正确的静态分析方法是oA）操作性分析B）可靠性分析0引用分析D）接口分析［解析］静态错误分析主要用于确定在源程序小是否有某类错课或者危

2、险结构，包括：类型和单位分析——为了强化对源程序屮数据类型的检查，在程序设计语言屮扩充一些新的数据类型。引用分析——在静态错误分析中，最广泛使用的技术就是发现引用异常。表达式分析——对表达式进行分析，以发现和纠正在表达式中岀现的错误。接口分析——接口的一致性是程序的静态错误分析和设计分析共同研究的题目。接口一致性的设计分析主要检查模块之间接口的一致性和模块与外部数据库Z间接口的一致性。［答案］D［试题3-3］在代码检查过程中发现大部分错误的人通常是oA）程序员B）测试员C）审查者D）架构师［解析］在代码检

3、查进行时，主要进行两项活动。①由程序编码人员逐条语句讲述程序的逻辑结构。在讲述屮，很可能是程序编码人员本人而不是其他小组成员发现了大部分错误，换句话说，对着大家大声朗读程序，这种简单的做法看来是一个非常冇效的错误检查方法。②对照常见编码错误列表分析程序。I■办调人负责确保检查会议的讨论高效地进行，每个参与者都将注意力集中于查找错误而不是修止错误。［答案］A［试题3-4］桌上检查（DeskChecking）是一种的检查方法。A）程序员自己检查自己编写的程序B）由同行帮忙检查自己编写的程序0几个同行自行组成小

4、组，以小组为单位检查编写的程序D）程序员在桌子上检查编写程序的活动［解析］桌上检查（Deskchecking）是一种传统的检查方法，由程序员自己检查口己编写的程序。程序员在程序通过编译Z后，进行单元测试设计Z前，对源程序代码进行分析，对照错误列表进行检查，对程序推演测试数据，并补充相关的文档。桌上检查的目的就是发现程序屮的错误。［答案］A［试题3-5］下列选项中不属于桌上检查的检查项目的是。A）等价性检查B）检查子程序、宏、函数0功能检查D）风格检查［解析］程序员进行桌上检查的目的是进行代码检查，主要检查

5、项目包括：检查变量的交叉引用表、检查标号的交叉引用表.检查子函数、宏、函数，等价性检查，常量检查，标准检查，风格检查，比较控制流，选择、激活路径，补充文档等。由此可以看出只有选项C不在桌上检查的检查项目Z中。［答案］c［Sri3-6］下列选项中不属于静态错误分析的是。A）类型和单位分析B）功能分析0引用分析D）表达式分析［解析］静态错误分析主要用于确定在源程序中是否有某类错误或“危险”结构，它通常包括4种：类型和单位分析、引用分析、表达式分析、接口分析。［答案］b［试匾3-7］在代码检查的准备阶段和检查会

6、议阶段都具冇发现产品错误责任的是OA）检查人员B）开发人员0协调人D）讲解员［解析］检查小组的每个成员都可认为是一个检查人员，检查人员在代码检查的准备阶段和检查会议阶段都具有发现产品错误的责任；协调人主持引导代码检查的执行过程，全面辅助代码检查的效果；开发人员是检查项目的生产者，主要负责提供检查资料和同答检查人员的问题；讲解员在代码检查会议期间讲解检查项口，引导检查小组对产品进行彻底检查。［答案］A［试题3-8］下列检查项目中不屈丁•风格检查的是。A）编程标准B）变量说明0结构化程序设计D）命名规则［解析

7、］桌上检查的主要检查项目包括：检查变量的交叉引用表，检查标号的交叉引用表，检查子函数、宏、函数，等价性检查，常量检查，标准检查•风格检查，比较控制流，选择、激活路径，补充文档。其屮风格检查主要是检查在程序设计风格方而发现的问题，包括命名规则、变量说明、程序格式、注释的使用、结构化程序设计、基本控制结构的使用。选项A中编程标准是属于标准检查的。［答案］A［试题3-9］下列叙述屮，说法正确的是。A）桌上检查的文档是最后要公开的正式文档B）桌上检查是一个完全没有约束的过程，所以通常效率会比较低0代码检查是程序员

8、自己检查自己编写的程序D）桌上检查最好曲程序的编写人员来完成［解析］桌上检查是一种传统检查方法，由程序员自C检查自C编写的程序。对大多数人而言，桌上检查效率会相当低，其小一个原因是它是一个完全没有约束的过程，另一个原因是它违反了软件测试的原则，即人们一般不能冇效地测试自己编写的程序。所以桌上检查最好由其他人而非程序的编写人员来完成，桌上检查的文档是一种过渡性的文档，不是公开的正式文档。代码检查是以小组为单位阅读代码，应用一系列