抽象语义引导的空指针引用自动修复

程序依赖图往往只能根据语句中变量的定义使用关系来判定数据依赖而无法从语义上精准判断,从而容易引入虚假依赖关系,使得缺陷修复的过程中使用错误信息造成修复失败.因此,本文将利用抽象属性对与空对象或空指针有关的虚假依赖进行剪枝,提出基于抽象语义的程序依赖图减少与程序缺陷语义无关的依赖关系分析,以完成空指针引用修复.依据分析获取的依赖关系,在空指针引用的不同修复策略的指导下实现一种多策略的修复方案,在尽可能减小修复副作用的前提下完成空指针引用缺陷的修复.本文利用Defects4J中的空指针引用对实现的修复工具DTSFix进行实验评估,结果显示DTSFix的修复效果远远高于对比工具,证明了方法的有效性.     

基于Java技术的OA系统的设计

本文给出了一个基于Java技术的OA系统的设计方案。该系统有很好的平台无关性和安全性,采用MVC架构,数据、视图表现与逻辑控制完全分离,具有扩展性好、易维护等特点。运用Ajax技术,做到实时响应以提高用户体验。支持多种主流数据库,并使用数据库连接池以提高性能。文章首先介绍了OA的发展历史与现状,并结合实际进行技术选择和架构设计。然后对功能设计和系统架构进行了详细说明。     

石林电网换新颜——发展中的石林供电有限责任公司

石林供电有限责任公司于2003年9月股份制改造后纳入行业归口管理，是由云南电网公司控股，隶属昆明电网的县级供电企业，承担着石林县七镇一乡近7万客户的供电服务任务。公司现有员工220人，平均年龄33岁，大中专文化学历占67％。公司内部机构设有“七部一室”，在全县8个乡(镇)设有四个供电所开展供用电服务工作。石林公司在南网方略指引下，紧紧围绕“完善、规范、巩固、提高”的总体要求，在“强本、创新、领先”方面下功夫，供电服务做到制度化、规范化、标准化，公司逐步向经营型、服务型企业迈进。石林全县同网同价村的比率达到100％…     

基于UML协作图的集成测试序列生成方法

随着软件测试自动化的要求,以及UML在面向对象软件开发领域中的广泛应用,基于UML的面向对象软件测试正日益受到关注。集成测试是面向对象软件测试的一个重要阶段,在基于UML协作图生成面向对象软件的集成测试用例的过程中,一个重要内容是测试序列的生成。针对集成测试序列数量容易膨胀的现象,根据UML协作图的特点,应用过程间受限控制流图(IR-CFG)描述协作图的消息间逻辑控制关系。给出了由RationalRose开发的规格说明文件生成IRCFG的算法,并介绍了IRCFG的几种覆盖准则与基于IRCFG生成测试序列的方法。     

基于“每一台设备”的资产全寿命周期成本研究

通过研究"每一台设备"投资成本、运检成本、退役处置成本,以提升公司电网资产运营效率为目标,围绕"设备"对象,融合设备资产管理信息标准,贯通跨部门数据信息链路,精确计量每一台重点设备全寿命周期成本,建立每一台重点设备的成本投入与电网资源贡献度之间的有机联系,为公司投资策略提供决策信息,实现电网资源在合理投入下的综合效益最大化。     

基于压力传感器的变压器油位检测和带电补油装置

针对变压器储油柜油位计测量中的"假油位"、绝缘油老化以及停电补油等问题,提出一种基于压力传感器的变压器油位检测及带电补油装置。该装置通过在储油柜放油管加装双压力传感器,运用二点压力差分算法对油位进行精准测量,减少因"假油位"造成的重复检修,通过油流和泵体分离、真空循坏排气系统、进油和注油过程分离实现变压器储油柜的不停电补油,降低停电检修次数,有效提高设备整体运行可靠性和用户体验。通过国网保定供电公司现有变压器储油柜改造进行前后对比,验证了该装置测量准确性和实用性。     

基于数据流分析的过拟合补丁识别

自动程序修复技术可实现对软件缺陷的自动修复, 并使用测试套件评估修复补丁. 然而因为测试套件不充分, 通过测试套件的补丁可能并未正确修复缺陷, 甚至引入新的缺陷并产生波及效应, 导致自动程序修复生成大量过拟合补丁. 针对这个问题, 本文提出了一种基于数据流分析的过拟合补丁识别方法, 首先将补丁对程序的修改分解为对变量的操作, 然后采用数据流分析方法识别补丁影响域, 并根据补丁影响域选择针对性覆盖准则来识别目标覆盖元素, 进而选取测试路径并生成测试用例实现对修复程序的充分测试, 避免修复副作用的影响. 本文在两个数据集上进行了评估, 实验结果表明, 基于数据流分析的过拟合补丁识别方法可有效提升自动程序修复的正确性.