基于电力软件缺陷模式的代码检测技术研究-电力信息与通信技术.pdfVIP

ELECTRIC POWER ICT 中图分类号：TP319　文献标志码：A　文章编号：2095-641X(2017)05-0092-05　DOI：10.16543/j.2095-641x.electric.power.ict.2017.05.018 基于电力软件缺陷模式的 代码检测技术研究 胡强新 1 ，纪鑫 2 ，杨俊伟 2 ，李端玲3 （1. 华北电力大学 计算机科学与技术学院 ，河北 保定 071003 ；2. 中国电力科学研究院 信息通信研究所 ，北京 100192 ； 3. 北京邮电大学 ，北京 100876 ） 摘要：随着 电力信息系统类型的增多、规模 的扩大 以及复杂度的提高 ，信息系统的代码质量 问题越 来越受到重视。为 了保证 电力信息系统稳定、可靠、安全地运行 ，全面支撑 国家 电网公 司信息化建 设 ，达到进一步提高电力信息系统功能、性能及稳定性缺 陷检测工作的质量和效率 ，控制工程师测 试 的人工成本 的 目的 ，需要解决 电力软件代码缺 陷检测效率低 、自动化程度不高、定位不准确 的问 题。文章研究 了基于电力软件缺 陷模式的代码检测相关技术 以及代码缺 陷 自动化检测方法 ，可全 方位提升测试技术研发、软硬件产 品测试 、科研环境支撑、对外服务支持等方面的能力。 电 关键词：电力信息系统；电力软件缺 陷；缺 陷模式；代码检测 力 信 息 如果在程序执行过程中遇到软件缺陷，可能会使得 通 0　引言 系统失效，甚至会导致系统崩溃。在电力软件开发 信 基于缺陷模式的软件测试是2000 年在美国提 的不同阶段会产生不同的软件缺陷，且不同的软件 [1] 缺陷会产生不同的后果。在初始阶段，系统架构师 出并得到应用的一种静态代码分析方法 ，与传统的 软件测试方法相比，该技术主要分为3 个步骤：第 1 对整个系统的宏观把握不当会引入缺陷，并且这类 步，对软件的缺陷模式进行定义；第2 步，寻找检查 缺陷在前期的开发阶段很隐蔽，只有到了测试阶段 点（Inspective Point ，IP ），即从程序中计算出与定义 甚至应用阶段才会暴露出来，导致后期的修改阶段 模式相匹配的元素；第3 步，通过自动化的方式或者 需要大量否定或者修改前期的工作，造成资源的极 由专业的测试人员进行确认。基于缺陷模式的软件 大浪费，因此这种缺陷是致命的。 测试与传统的面向整个软件的测试相比，其优势是 在需求定义阶段，如果不能满足用户的需求，需 可以测试出一些不常出现的类似空指针引用错误和 求定义不完善，也会造成软件缺陷。在系统设计阶 [2] 段，如果系统设计方案不科学、不合理，无法满足需 内存泄露等小概率缺陷，且针对性极强 。因此，研 究基于电力软件缺陷模式的代码检测技术有利于提 求，会导致系统无法正确实现，从而造成软件缺陷。 高信息系统的测试效率和测试质量，提升自动化测 在编码阶段，如果使用的算法不当，编码不正确，也 试水平，在软件代码层次保证自主研发的信息系统 会导致系统无法实现，甚至会引出一系列问题。在 的建设质量。 系统维护阶段，如果缺陷代码修改不当，也会引起其 他模块的代码出现问题，造成软件缺陷。 1　电力软件缺陷模式与模式库构建