软件代码走查计算机辅助方法研究及工具开发研究.pdfVIP

软件代码走查计算机辅助方法研究及工具开发 张虹 北京航空航天大学工程系统工程系，北京100083 摘要软件代码走查是一种经济、高效的静态测试方法，对提高软件产品的质量和可靠性发挥了 重要作用．但对于走查过程中代码浏览、缺陷捡查以蕊缺陷信息的管理等仍普遍采用人工手段， 影响走壶效率，而且容易产生人为错误，成为制约代码走查工作顺利开展的一个关键因素．本文 对软件代码走查过程的计算机辅助方法进行了研究，并开发相应的辅助工具SWAT，为代码走查 人员提供帮助． 美键词软件测试代码走查 1引言 软件测试是保证软件质量和可靠性的重要手段，在整个软件生存期中占有重要位置。根据在 测试过程中是否运行软件代码，可将软件测试分为静态测试和动态测试两类方法。软件代码走查 是一种经济、高效的静态测试方法，尤其适合于在软件开发过程的早期发现软件中潜藏的缺陷． 防止将软件缺陷引入到软件开发过程的后期，从而相应地降低软件修改的费用，减少由于软件缺 陷带来的各种损失，提高软件的质量和可靠性。 在代码走查过程中需要对源代码进行浏览分析，依据软件设计文档等软件开发文档，并参照 代码检查单检查是否存在软件缺陷，记录并报告发现的软件缺陷，对缺陷信息进行查询统计，以 便及时了解走查进度、缺陷分布等情况。并在软件缺陷从被发现到修复的整个生命周期进行跟踪， 记录缺陷状态的变化，包括是否确认，是否得到修改等。如果采用人工手段进行上述工作，不但 费时费力．影响走查效率，而且容易产生人为错误，造成缺陷信息的遗漏或不一致。特别是当被 测软件规模较大，发现的缺陷数量较大时，工作量将大大增加，成为制约代码走查工作顺利开展 的一个关键因素。 本文的研究目的即是研究代码走查过程的计算机辅助方法，并开发相应的辅助工具SWAT， 为代码走查人员提供帮助。 2代码走查流程 代码走查是依据软件设计文档等软件开发文档．考察软件代码是否真实准确地体现了软件设 计要求、代码编写是否规范、代码的逻辑表达是否正确以及代码结构是否合理。通常t代码走查 可分咀下几个步骤进行：计划、提交软件概述、个人走查(会议准备)、会议走查、缺陷修改、回归 走查、编写报告。 在个人走查阶段．每个走查人员独立地进行代码走查，通读被测软件的源代码．逐行检查代 {i马中是否存在软件缺陷．并定期汇总各走查人员记录的缺陷信息。 会议走查是代码走查中最重要的环节．待个人走查全部完成后．召开由走查人员和软件开发 501 人员麸同参加的走查会议。由开发人员逐句讲解软件代码，并负责解答走查人员提出的质疑。对 于提出的每个问题，分析缺陷的性质和类型。经讨论达成一致意见后记录在数据库或记录文件中。 对于确认的软件缺陷，由开发人员分析缺陷产生的原因．修改相应的软件文档或代码，并编 写软件修改报告单。 待所有簧求修改的软件缺陷修改完成后，组织全部或部分代码的回归走查，检查软件修改是 否正确，是否引入新的软件缺陷。若缺陷修改不正确．应返给开发人员重新进行修改，待修改完 成后重新进行回归走查，直至缺陷得到正确修改。 3代码走查辅助方法研究 3．1多用户联网走查 在代码走查的各个阶段，走查人员之间的信息交互是必需的。在个人走查结束时需汇总每个 走查人员记录的缺路信息，为走查会议做好准备。在会议走查阶段，对于走查会议中发现的问题 及疑问需要进行记录。代码走查小组通常由3—7人组成，由每个走查人员分别记录各自发现的缺 陷可提高走查效率，但也容易造成缺陷信息的遗漏或不一致等问题。因此，应构建网络环境以实 现多用户联网走查，有利于对每个走查人员记录的缺陷信息进行汇总与管理，同时也有利于对被 测软件的源代码及文档的统一管理。 3．2代码浏览 对于源代码的浏览是代码走奄中最关键的步骤，也是发现软件缺陷的前提。如何提高代码浏 览的效率对于提高走查效率及查错效果具有重要意义。 测览源代码，首先应给出整个代码的函数调用关系图，以及流程图，以利于对源代码结构的 整体了解。对于代码中的不同部分，如关键词、运算符、注释、字符串等，应以不同的颜色显示， 方便走查人员测览代码。此外，分析代码文件中的所有全局变量、全局函数、结构／联合体以及它 们的成员变量，及其在代码中出现