案例分析BMC公司案例分析.pdfVIP

案例分析 BMCBMC公司案例分析公司案例分析 ////挑战挑战 查整个代码库，包括那些难于测试的地方，例如错误 BMC AR(Action Requst) 公司的产品提供一套健 处理程序和复杂的边界条件。这些难于测试的地方需 全的商业服务管理解决方案，它具有客服平台、事件 要在QA活动之外，寻找一个解决的办法。此外,BMC 管理以及其他重要业务功能。从上世纪90年代初该产 产品的再工程作业，是为了适应操作环境的变化，这 品获得市场成功开始，随着时间的推移，它的代码库 样导致了大量的边界条件相结合，从而很难使用传统 日趋成熟。尤其是为了支持多种企业运行平台，AR产 的QA产品进行严格的验证。 品的底层平台使用了C 、C++和JAVA混合编写的复杂 代码库。 作为第一种方法，BMC考虑加大使用运行时内存 BMC 的企业用户要求这个服务器可以持续运行分 分析工具的力度。这是一个可行的解决方案，然而， 析几个月，甚至可以不用重启服务。不断增长的电话 代码库的规模以及运行插桩后的代码需要的时间长度 支持使得产品对操作环境的要求越来越复杂，引起这 严重限制了这种方法的可测量性。此外，内存分析解 些问题根本原因是：内存管理问题和堆或者堆栈损坏。 决方案也不能满足软件安全漏洞检测的需求。结果， 内存测试的使用仍继续发挥其重要作用，但并不能完 除了这些质量问题之外，由于BMC AR产品通过 全解决所面临的问题。 使用API ，可以简单且灵活访问，因此安全问题也变得 至关重要。开放架构使得开发人员容易利用平台创建 最终，BMC决定研究基于静态分析技术的源代码 应用程序，因此开发者不经意的使用API有可能导致 分析工具的使用。由于现代的源代码分析工具可以检 本来没有安全漏洞的平台暴露出问题，这是非常危险 测软件源代码库中所有路径，可以对大规模的系统进 的。 行分析，并且除了可以检测质量问题之外还可以分析 出于对质量和安全双重考虑，BMC发展团队研究更 安全漏洞问题，因此他们认为这些源代码分析工具具 多的方法来加强原本已经相当健全的质量保证（QA ） 备解决这些问题的潜力。通过对这个领域内两个主要 活动。 的卖方进行严格的评估，BMC最终选择了Klocwork. ////方案比较方案比较 “Klocwork工具的使用对我们的开 BMC 的目标非常明确，即：寻找一个解决方案， 发过程是一个非常好的补充，它将进一 使BMC开发人员在开发过程早期能够及早地发现严重 的内存管理问题和安全漏洞。 步提升BMC公司的信誉，帮助企业提供 BMC不关注那些系统中运行很好的代码路径引起 稳定、可靠的软件产品。” 崩溃问题，因为这些代码路径往往是传统QA 、同行评 - Samuel Dillon 首席开发师 审、和单元测试所关注的焦点。BMC关注的是全面检