【正确答案】为了保证可维护性，需要做以下4类质量保证检查：
   (1)在检查点进行检查。检查点是指软件开发的每一个阶段的终点。在检查点进行检查的目标是证实已开发的软件是满足设计要求的。在不同的检查点检查的内容是不同的。例如，在设计阶段检查的可理解性、可修改性和可测试性，可理解性检查的重点是检查设计的复杂性。
   (2)验收检查。验收检查是一个特殊的检查点的检查，它是把软件从开发转移到维护的最后一次检查。它对减少维护费用，提高软件质量是非常重要的。验收检查实际上是验收测试的一部分，只不过验收检查是从维护角度提出验收条件或标准。
   (3)周期性的维护检查。上述两种软件检查适用于新开发的软件。对已运行的软件应进行周期性的维护检查。为了改正在开发阶段未发现的错误，使软件适应新的计算机环境并满足用户的变化需求，对正在使用的软件进行改变是不可避免的。改变程序可能引入新错误并破坏原来程序概念的完整性。为了保证软件质量应该对正在使用的软件进行周期性维护检查。实际上周期性维护检查是开发阶段对检查点进行检查的继续，采用的检查方法和检查内容与检查点的检查都是相同的。把多次维护检查结果同以前进行的验收检查结果以及检查点检查结果做比较，对检查结果的任何改变都要进行分析，找出原因。
   (4)对软件包的检查。上述检查方法适用于组织内部开发和维护的软件或为少数几个用户设计的软件，很难应用于享有多个用户的通用软件包。因为软件包属于卖方的资产，以及很难获得软件包的源代码和完整的文档。对软件包的维护通常采用下述方法。使用单位的维护程序员在分析研究卖方提供的验证用户手册、操作手册、培训教程、新版本策略指导、计算机环境和验收测试的基础上，深入了解本单位的希望和要求，编制软件包检验程序。软件包检验程序是一个测试程序，它检查软件包程序所执行的功能是否与用户的要求和条件相一致。为了建立这个程序，维护程序员可以利用卖方提供的验收测试实例或重新设计新的测试实例，根据测试结果检查和验证软件包的参数或控制机构，从而完成软件包的维护。