【摘 要】
：
近年来随着软件产业的迅速发展,对软件代码的维护与修正的需求越来越多,在软件运行过程中,会出现或多或少的错误,如果全部由人工进行修正,这是非常费时费力的.所以,如何进行自动化代码测试与修复,成为软件研究的一个方向.本文实现了一个基于Web的程序辅助修正系统,通过结合GenProg项目,用户根据代码要求和测试用例,可以上传代码,根据测试的结果对代码进行修复.通过分析用户的需求,归纳出系统的主要功能,包
【机 构】
：
中国石油青海油田信息服务中心数据管理部
【出 处】
：
中国计算机用户协会并行处理分会2017-2018年度石油行业计算机用户年会暨新技术研讨会
论文部分内容阅读
近年来随着软件产业的迅速发展,对软件代码的维护与修正的需求越来越多,在软件运行过程中,会出现或多或少的错误,如果全部由人工进行修正,这是非常费时费力的.所以,如何进行自动化代码测试与修复,成为软件研究的一个方向.本文实现了一个基于Web的程序辅助修正系统,通过结合GenProg项目,用户根据代码要求和测试用例,可以上传代码,根据测试的结果对代码进行修复.通过分析用户的需求,归纳出系统的主要功能,包括用户管理、程序管理以及程序修复.本系统不仅包含了基本的功能,还通过批量导人和导出等功能,更加方便了用户的使用.程序修复算法是基于美国弗里吉亚大学Weimer团队的Gen-Prog项目,基于遗传算法,把每个程序表现成抽象语法树的个体,然后对树的节点进行操作.通过种群个体不断进行交叉和变异的操作,每次迭代筛选出权重值较大的个体,达到修复的目的.根据实际应用,从模板文件中提取出Patch作为个体修复的依据,更加有效地对错误进行修正.
其他文献
近年来随着地震资料处理技术的快速发展,地震勘探数据采集密度高速增长,地震资料处理数据量和计算量呈指数级别增长,高性能计算集群系统的规模也在快速扩大.随着高性能计算集群规模的扩大,集群管理的复杂度及工作量逐渐成为制约高性能计算集群整体性能的瓶颈问题.本文重点介绍如何在高性能计算集群系统快速搭建自动化运维环境,解决由于集群规模增加、业务流频繁变化及设备超期服役故障增加带来的运维管理难题.
通过阐述Linux系统在地震资料处理集群使用过程中遇到的一些较为特殊问题的解决方法,以及随着Linux系统版本的不断更新,出现在集群管理中的各式各样难题的解决思路.为计算机系统及集群管理人员提供有力的帮助和借鉴,同时对资料处理中心的集群建设也具有一定的参考价值.
由于硬件升级后需要安装RedHat Linux6.6的操作系统,在系统安装过程中遇到一系列问题.这里逐一列出相关的故障现象及解决办法.希望能给广大Linux的应用者提供帮助,提高系统安装的成功率.
介绍了Linux系统上的一种硬盘维护技术,通过硬盘监控,提前发现可能损坏的硬盘,并使用克隆技术对即将损坏的硬盘进行克隆之后更换,从而大大减少维护时间,并能完好保存硬盘上的数据.
随着信息技术的快速发展,各行各业的企业信息化建设逐渐成为影响企业竞争力的关键因素.特别是云计算、大数据等先进信息技术的应用,将极大提高企业生产效率和管理效率,从而推动企业的更好发展.本文将对大数据在石油行业的应用进行探讨,主要从地震勘探、地质研究、生产开发、油气输送、安全管理等方面的应用进行分析.
Linux是完全免费的、开源的操作系统,MYSQL是目前最流行的开源关系型数据管理系统,是LAMP的数据存储端.其灵活性、个性化、容易开发、容易应用、安全、成本低廉的特性,越来越受到人们的青睐.通过对Linux系统下MYSQL数据库的学习,在系统安装、启动、常用命令等几个方面进行了总结和探讨.
对于计算机设备多，尤其是无法安装单机防护软件的单位来说，就需要专用的安全设备来保护整个单位的网络安全，防火墙也就成为广泛使用的安全设备。本文从Linux防火墙原理和建设实例上，对使用Linux搭建企业防火墙进行了阐述。
本文通过阐述设计油气田公司数据治理框架,提出公司在数据采集、管理、服务、机制等数据管理全过程的优化建议,满足公司数据治理工作开展需要,为全面提升公司数据质量,实现公司勘探与生产数据的规范性、准确性、可用性指明改进方向.
信息化建设在能源企业的发展与改革中起到了关键作用,同时信息化建设也是提高企业综合竞争力的必要手段.本文介绍了虚拟化技术,利用虚拟化相关技术部署的青海油田私有云服务器集群的情况,以及虚拟化技术在油田的应用效果.
随着石油勘探开发研究任务的增加,对多人协同工作和数据安全提出了更高的要求.本文针对石油勘探开发专业软件的应用特点和需求,全面分析建设综合研究云平台的解决方案,提出建设云平台的整体思路及系统架构,重点介绍了三维图像远程处理和服务器负载均衡等关键技术,最后展示了云平台的应用效果.