软件缺陷发现时序过程的叠加双阻尼振荡模型

在软件测试实践中,被测软件通常要经历多轮次的测试和修改过程.由于受到被测软件的缺陷分布、迭代式的开发与测试过程、测试者发现缺陷的能力等诸多非确定性因素的影响,使得软件缺陷发现的时序过程呈现出相应的周期性、随机振荡性和阻尼衰减等时序特征.通过对以软件缺陷发现为目标、测试过程管理规范的软件测试过程基本特征和关键影响因素的深入分析,提出了一种描述软件缺陷发现时序过程特征的叠加双阻尼振荡模型(accumulative bi-damped oscillation model,简称ABDOM).采用从两个真实软件测试项目中采集的缺陷发现过程数据,检验了ABDOM模型的有效性,定义了ABDOM模型的适用范围,并对ABDOM模型的应用进行了初步讨论.

基于动态符号执行的二进制程序缺陷发现系统

以对二进制程序进行自动化缺陷发现为目标,基于软件虚拟机的动态二进制翻译机制和污点传播机制,对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究,改进了传统动态符号执行的路径调度部分,分析了程序缺陷的符号断言表达形式,构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。

提高GIS设备SF6气体泄漏缺陷发现率

为了积极响应国网公司“运维检修一体化”的方针,紧密跟进中央“电网改革”的步伐;本着对个人职能的尽职、对电网设备尽责的理念;及早转变传统工作及思维模式,对今后运维检修工作的开展推进起到缓冲作用,从检修方向着手,以解决运维工作目前的迫切问题。

带电检测技术在电缆设备缺陷发现中的应用

为加强对电缆设备相关缺陷的完善,利用带电检测技术来加强对于电缆的监测,提前发现相关漏洞并制定合理的解决措施是非常重要的。

超声波局放检测技术在10kV开关柜缺陷发现中的关键应用

针对10kV开关柜电气设备的局部放电缺陷,分析了传统检测法的缺点，引入了超声波局放检测法。介绍了超声波局放技术原理及多种局部放电诊断分析法，并通过现场应用实例验证了其在开关柜缺陷发现上的关键作用。

KLA-Tencor推出新型缺陷发现与监控技术

KLA—Tencor公司日前宣布，推出采用Nano—Poin／TM技术的2910系列光学晶阋缺陷检测平台和新型eDRTM-7100电子柬品圆缺陷检查系统。为了满足集成电路制造商在先进设备上更快追踪缺陷的需要，这两款系统兼具快速和无缝接轨的优势，能够迅速发现和识别影响成品率和可靠性的缺陷。

基于约束特征匹配的软件安全性缺陷静态分析技术及在金融业的应用

操作系统的安全性缺陷分析与检测对保证计算机系统安全尤其是对于大范围应用计算机操作系统的金融业具有非常重要的意义。本文研究基于操作系统源程序的静态分析技术,探究将静态分析应用于金融系统安全问题及操作系统安全性缺陷分析系统对应程序的实现路径。

一处断路器接头发热缺陷分析

1缺陷发现2018年3月15日,巡视人员对110kV某变电站进行巡视时,发现一台35kv断路器u相接头及顶帽温度明显偏高。断路器u相接头温度为32.2℃,V相接头温度为18.2℃,W相接头温度为18.0℃,U相接头温度明显偏高。3月16日,电气试验人员对该断路器进行红外测温复核,复核结果与巡视人员测试结果一致。

基于轨道交通信号系统的缺陷分析方法讨论

对信号系统长期开发维护过程中产生的缺陷进行分析,重点研究缺陷发现阶段,缺陷类型等属性,通过鱼骨图缺陷分析的方法,识别导致缺陷的根本原因,并对产品开发过程中的不足之处进行跟踪管理,定制具体的缺陷分析流程,通过一年的实践,结果表明该分析方法和流程是有效的,对日常缺陷分析工作有着指导意义。

基于资源信息细分的学习评价系统的设计与实现

在网络化学习系统中,如何准确地发现学习者的缺陷是学习评价系统的主要任务,也是一个非常困难的问题。该系统通过对学习资源标注知识点、能力点、方法点、错误现象和错误归因等信息,将学习资源所包含的信息进一步细分和深化,再以测试结果为基础进行评价,能够更准确地发现学习者的缺陷。

AOI系统在SMT生产线上的应用

介绍了AOI技术的主导思想、实施策略、技术新突破和设备。

软件演进驱动的按需自动测试

为了及时彻底地测试演进着的软件,提出了软件演进驱动的按需自动测试算法.首先,根据软件演进时源文件的文本更新,通过控制与数据依赖分析识别受影响的语义变化区域,再结合代码安全缺陷分析按需构造精简测试流图.接着,按需符号执行图中各条路径且缺陷关联路径优先,主动探测和求解缺陷触发条件以排除误报,在路径分支点按需克隆执行环境以避免路径前缀的重复执行,并及时求解路径条件以剪除不可行路径.最终,自动生成针对软件更新实现路径覆盖的精简测试例集合.目前已实现了测试工具原型,用其测试了多个开源软件,发现了OpenSSL代码中的真实缺陷.

基于关键控制点分析基础上的企业内部控制测试研究

内部审计中的缺陷发现是指组织内部存在的错误的、必须纠正的状况,不同的缺陷发现重要性程度不同,因而处理方法也不同。可报告的缺陷发现都包含多个要素,每一个缺陷发现都隐含着批评,因此都必须是无懈可击的事实,形成纠错和改进建议必须十分小心,才能被管理人员接受。

基于资源信息细分的学习评价系统的设计实现

在网络化学习系统中,如何准确发现学习者的缺陷是学习评价系统的主要任务,也是一个非常困难的问题。通过学习资源标注知识点、能力点、方法点、错误现象和错误归因等信息,将学习资源所包含的信息进一步细分和深化,再以测试结果为基础进行评价,能够更准确的发现学习者的缺陷。

一个划算的回归测试用例排序的成本-收益模型

回归测试是一个昂贵的测试过程,它验证修改的软件,确认是否给已经测试的代码引进了新的错误。因为在软件开发的过程中,测试人员给测试包中增加了新的测试用例,使软件确认更加困难。为了使回归测试更经济划算,提出了很多技术和方法。测试用例选择,测试包缩减,测试用例排序可以帮助我们减少需要运行的测试用例数目,同时能够更快地满足测试目标。测试用例排序是在满足某个性能目标的基础上,保证在测试过程中首先执行更重要的功能。以前的研究提出了一个性能目标:缺陷发现率(APFD),以及很多改善缺陷发现率的技术。但是这些技术运用起来非常昂贵,而且可能不会减少回归测试的成本。在以往研究的基础上,提出了一个成本-收益模型,为比较各种排序算法提供了一定依据。并在此基础上,提供了一个测试用例排序算法。

基于价值的软件测试工作量估算模型

从价值的角度考虑软件测试过程能够增加软件的盈利。对软件测试过程创造的价值进行量化,构造了直观实用的软件测试工作量估算模型,可估算测试阶段的测试工作量和修改缺陷工作量,为制定和调整测试计划提供有用信息。模型描述了软件测试过程中的各活动与所创造价值之间的关系,并解释了缺陷修改活动依然会引入新缺陷这一常被忽略的事实。通过一个应用实例证明,该模型有较好的可用性和有效性。

代码审查在软件工程实施中的重要性

软件工程的实施,使得软件质量有了明显的提升,在取得成效之余,不应忽视代码审查的重要作用,本文阐述了代码审查的不可替代性并给出了软件工程实施过程中的具体做法。

农村配网频繁跳闸原因及应对措施

1 跳闸原因 （1）县级农电企业配电网，特别是向山区供电的配电网．因地形所限，线路迂回曲折、大跨越档距多、线路长、线径小、供电面积大、用户少、用电能量小。而且随着近几年推行下山入川、移民搬迁、治穷致富政策的实施．山区住户越来越少，但又因为各种原因而存在搬迁不彻底的情况，线路、配电变压器便不能全部拆除，这些山区的交通状况很差．线路巡视维护困难大，导致巡视不能及时到位。缺陷发现消除不及时。最终造成事故跳闸。

红外成像测温技术在500kV变电站设备巡视中的应用

在电力系统中,电力设备的质量直接关系到电网的运行安全,而由于电力设备发热缺陷而引起的设备事故对电网的危害更大。应用红外测温诊断技术可以及时发现电力设备缺陷特别是内部缺陷使设备故障得到及时的消除避免电力系统事故的发生。

输配电线路故障巡线中应注意的几个要点

长期以来,电力分公司对输配电线路的运行和管理付出了艰苦的努力,积累了很多经验。但随着工人队伍的不断更替,电网技术的不断更新,亟需总结一些典型运行经验以利于今后运行和管理工作。特别是输配电线路故障后若能在巡线中及时准确发现缺陷,就能缩短故障处理时间,满足用户的用电需求。下面针对输配电线路故障巡线中应注意的几个要点进行阐述。