美章网 资料文库 电力软件缺陷代码检测技术研究范文

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

时间:2022-11-21 04:10:16

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

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

关键词:缺陷模式;技术研究;代码检测

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结束语

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

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

被举报文档标题:电力软件缺陷代码检测技术研究

被举报文档地址:

https://www.meizhang.comhttps://www.meizhang.com/gclw/jcjslw/709375.html
我确定以上信息无误

举报类型:

非法(文档涉及政治、宗教、色情或其他违反国家法律法规的内容)

侵权

其他

验证码:

点击换图

举报理由:
   (必填)