电力软件缺陷代码检测技术研究范文

本站小编为你精心准备了电力软件缺陷代码检测技术研究参考范文，愿这些范文能点燃您思维的火花，激发您的写作灵感。欢迎深入阅读并收藏。

摘要：为了确保电力信息系统能够得以正常操作，进而强化系统功能，提高工作质量，减少成本费用的支出，应及时改善电力软件代码缺陷检测效率低下、自动化效果差以及定位不精准等情况。本文主要分析了电力软件缺陷模式的代码检测技术，并对此展开了深入的探讨，期望可以为今后的研究提供相应的参考。

关键词：缺陷模式；技术研究；代码检测

0引言

在二十一世纪之后，美国首先提出了基于缺陷模式的软件测试，通过将此种方式与传统方式进行对比后可发现，其主要可以分成三个流程，即：首先，界定软件缺陷模式的含义；其次，找寻准确的IP，并运算出与模式兼容的元素；最后，采用自动化模式进行确定，同时也可派遣专业人员进行确认。基于缺陷模式的软件测试相对来说优势较多，能够测试出很多细微的问题缺陷，并且具有一定的针对性。所以，本文通过研究后能够有效提升系统测试效率，进而提高工作质量，为电力信息系统今后的发展提供有利保障。

1电力软件缺陷模式与模式库构建

（1）电力软件缺陷模式。通常情况下来看，普通的电力软件缺陷表示的是不符合电网的相关规定，导致用户在应用的过程中造成了很多弊端。当程序在运行时发生软件缺陷的话，则会致使系统紊乱，无法正常运行。由于电力软件的研发时期不同，所以产生的软件缺陷也会存在一定的差异性。当处于初始时期时，系统架构人员将会对系统软件进行合理的宏观调控，如果控制失误则会造成缺陷，由于其在开发时期的隐蔽性较强，仅能够在后期可以体现出来，所以必须要在修改时期时进行大范围的修改，严重浪费了资源，增加了成本费用的支出，所以此种缺陷是极其不利的[1]。当处于需求定义时期时，假设无法适应用户的各项要求，那么也会导致缺陷出现。在设计系统的过程中，必须要保障方案规划合理、科学，反之则会影响整个系统的正常运行。在进行编码时，应采用正确的运算方法，编码失误也会引起缺陷。在系统维护时期，必须要正视各个环节，采用科学的手段进行维护，不然则会造成不可预估的后果。所以，在操作的过程中必须要充分应用各项资源，有效改善电力软件缺陷，进而提升工作效率与质量。除此之外，软件在运行时，不同时期进行修复所需要的费用也存在差异性，时间越长则成本也会随之升高，因此必须要及时发现缺陷。

（2）建立电力软件缺陷模式库。在建立电力软件缺陷模式库时，必须要立足于实际，以研究成果为基准而分析场景特点，进而创建出完善的电力软件缺陷模式库体制，找寻缺陷的问题所在，并对其进行叙述保存，创建出相对完善的缺陷模式库，进而具备一定的定制性与配置性。

2基于电力软件缺陷模式的代码检测技术

（1）区间运算技术。1）区间代数。所谓区间，表示的是在程序中变量的取值范围，而区间代数表示的则是代表以及运算变量位置的方式。在对软件进行测试的过程中，主要操作步骤则是将录入的变量均看做为区间，致使中间变量以及输出变量最后均变为区间的一种方式[2]。2）变量的相关性分析。通过进行分析后可发现，在程序中应在以下几种情况下应用变量关联，即：相同路径引进的隐含约束关系、赋值语句关系、条件限定关系以及别名关联关系。

（2）基于数据流的缺陷检测。在操作的过程中，我们可将缺陷检测流程进行深入分析，并将其作为一个前向可能数据流的情况，数据流的元素主要包括以下几个方面：1）在进行缺陷检测时，呈现为正向数据流，D=FORWARD；2）在进行缺陷检测时，L是可能状态集合的幂集，Ventry={ Start}表示的是L的常量值，即为边界条件；3）在进行缺陷检测时，∧表示的即为可能状态集合的U操作；4）G=( V, E, entry, exit)，在此过程中V所表示的为节点集合，E所表示的是边，entry所表示的为入口，exit所表示的为出口；5）在进行缺陷检测时，F所表示的为由程序语句而导致的缺陷变迁现象。

（3）函数间分析技术。1）约束信息。针对约束模式状态机而言，由于故障类型不同，所以产生的约束模式也存在一定的差异性，在此过程中N代表的即为状态机均能够发生的状态，T代表的即为状态之间通过转化后所形成的集合，C代表的即为状态转化要求，Nfault代表的即为故障的具体状态，Ncons代表的即为约束形式状态。 2）后置信息。在进行静态分析时，针对函数来说，变量的取值区间对其所产生的作用比较大，所以在操作的过程中必须要提高对函数副作用的关注。为了改善这种情况，在运算区间以及检测缺陷的过程中必须要合理运用计算方式，选择应用函数后置信息方式。

3代码缺陷自动化检测方式

在进行操作的过程中，我们可创建相对完善的代码缺陷自动化检测方式，检测流程可分为五个步骤，即：输入、基本分析、提高精度、自动测试及结果分析，在此过程中提高精度与自动测试最为重要。应用此种检测方式进行操作时，必须要结合多个方面进行考虑，具体可包含以下几种问题，即：误报情况、漏报情况以及模式机理等。

4总体研究架构

首先，应对电力软件缺陷模式展开深入的探讨，并创建出完善的电力软件缺陷模式库，与此同时，也应研究提升精准的技术手段，并以此作为基础条件，而创建出代码缺陷自动化检测方式。

5结束语

综上所述，基于缺陷模式的软件测试得到了广泛应用，能够测试出很多细微的问题缺陷，并且具有一定的针对性。除此之外，也能够有效提升系统测试效率，进而提高工作质量，为电力信息系统今后的发展提供有利保障。

作者：李北星；常鑫 单位：乌兰察布电业局