软件发布机制体系结构研究 被引量：8

1

作者 赵雨水 左春 +1 位作者 杨立 杨泳 《计算机工程与设计》 CSCD 北大核心 2010年第4期700-705,共6页

针对现有软件发布方式主要以开发者的角度进行软件开发后生命周期管理所存在的问题,提出了更为合理的以用户的角度进行软件开发后生命周期管理的思想,建立了一种新的软件发布机制体系结构。该发布机制试图解决如下问题:让用户透明地使... 针对现有软件发布方式主要以开发者的角度进行软件开发后生命周期管理所存在的问题,提出了更为合理的以用户的角度进行软件开发后生命周期管理的思想,建立了一种新的软件发布机制体系结构。该发布机制试图解决如下问题:让用户透明地使用软件,即用户不需要显式地进行软件的安装、更新和卸载;支持软件的即点即用和使用态发布,使用态发布指安装了某软件的计算机可以作为该软件的发布源;使得系统重装后能够以较小的代价恢复到指定的状态点。最后,分析了软件动态更新和分布式软件系统发布所应解决的问题。 展开更多

关键词 软件发布 软件更新 软件使用态发布 软件即点即用 系统恢复

在线阅读 下载PDF 职称材料

行业应用软件第三方开发平台的研究与实践 被引量：3

2

作者 祝金伟 左春 张正 《计算机工程与设计》 CSCD 北大核心 2013年第1期195-200,共6页

为了改进行业应用软件的开发模式和促进行业应用软件的发展,提出了行业应用软件第三方开发平台的基本框架。在该基本框架中,通过分析行业应用软件的特殊性,设计了一种类OAuth授权协议,以保证数据安全,同时引进了新的依赖分析方法,明确... 为了改进行业应用软件的开发模式和促进行业应用软件的发展,提出了行业应用软件第三方开发平台的基本框架。在该基本框架中,通过分析行业应用软件的特殊性,设计了一种类OAuth授权协议,以保证数据安全,同时引进了新的依赖分析方法,明确组件以及数据关联,量化组件被依赖程度,利于组件分析优化,利于设计和分类API。根据提出的基本框架,以保险行业为背景,设计和实现了一个第三方开发平台。实验测试结果表明,所设计的行业应用软件第三方开发平台安全可行。 展开更多

关键词 第三方开发平台 行业应用软件 授权 数据依赖 组件依赖 依赖分析

在线阅读 下载PDF 职称材料

面向行业应用的软件开发检查工具

3

作者 吴晓辉 王致富 张正 《计算机工程与设计》 CSCD 北大核心 2012年第4期1595-1601,共7页

现有的自动化测试和检查工具能够解决一些常规的测试和检查问题,但是对于行业应用软件开发过程的某些个性化测试和检查要求,没有提供很好的支持。因此针对行业应用软件的个性化要求,提出了一种面向行业应用的软件开发检查工具,在通用测... 现有的自动化测试和检查工具能够解决一些常规的测试和检查问题,但是对于行业应用软件开发过程的某些个性化测试和检查要求,没有提供很好的支持。因此针对行业应用软件的个性化要求,提出了一种面向行业应用的软件开发检查工具,在通用测试和检查工具的基础上,从代码检查、数据结构检查、接口检查和日志检查4个方面,对系统进行进一步的测试和检查。实验结果表明,该工具能有效地提高软件系统的开发效率和正确性,降低软件系统的开发成本。 展开更多

关键词 行业应用软件 样本程序 自动化测试工具 代码自动化检查 批量测试

在线阅读 下载PDF 职称材料

代码审查自动化研究综述 被引量：2

4

作者 花子涵 杨立 +1 位作者 陆俊逸 左春 《软件学报》 EI CSCD 北大核心 2024年第7期3265-3290,共26页

随着现代软件规模的不断扩大,协作开发成为软件开发的主流趋势,代码审查成为现代化软件开发的重要工作流程.但由于人工代码评审往往耗费审查者较大精力,且存在审查者不匹配或审查者水平有限等问题,人工代码评审的质量和效率难以保证,且... 随着现代软件规模的不断扩大,协作开发成为软件开发的主流趋势,代码审查成为现代化软件开发的重要工作流程.但由于人工代码评审往往耗费审查者较大精力,且存在审查者不匹配或审查者水平有限等问题,人工代码评审的质量和效率难以保证,且审查后的代码修复也十分费时费力.因此,亟需研究人员为代码审查流程进行改进,提供自动化思路.对代码审查自动化相关研究进行系统梳理和总结,并重点介绍4种主要方向:审查者推荐、代码变更质量评估、审查意见生成和代码自动修复.整理了相关方向的148篇研究,对每个方向的研究进行技术分类与分析.随后,整理了各方向研究任务的评估方法,并整理出常用的数据集与开源工具.最后,对代码审查自动化领域面临的问题进行梳理,并对未来研究进行展望. 展开更多

关键词 代码审查自动化 审查者推荐 代码变更质量评估 审查意见生成 代码自动修复

在线阅读 下载PDF 职称材料

一种基于执行轨迹监测的微服务故障诊断方法 被引量：29

5

作者 王子勇 王焘 +2 位作者 张文博 陈宁江 左春 《软件学报》 EI CSCD 北大核心 2017年第6期1435-1454,共20页

微服务正逐步成为互联网应用所采用的设计架构,如何有效检测故障并定位问题原因,是保障微服务性能与可靠性的关键技术之一.当前的方法通常监测系统度量,根据领域知识人工设定报警规则,难以自动检测故障并细粒度定位问题原因.针对该问题... 微服务正逐步成为互联网应用所采用的设计架构,如何有效检测故障并定位问题原因,是保障微服务性能与可靠性的关键技术之一.当前的方法通常监测系统度量,根据领域知识人工设定报警规则,难以自动检测故障并细粒度定位问题原因.针对该问题,提出一种基于执行轨迹监测的微服务故障诊断方法.首先,利用动态插桩监测服务组件的请求处理流,进而利用调用树对请求处理的执行轨迹进行刻画;然后,针对影响执行轨迹的系统故障,利用树编辑距离来评估请求处理的异常程度,通过分析执行轨迹差异来定位引发故障的方法调用;最后,针对性能异常,采用主成分分析抽取引起系统性能异常波动的关键方法调用.实验结果表明:该方法可以准确刻画请求处理的执行轨迹,以方法为粒度,准确定位系统故障以及性能异常的问题原因. 展开更多

关键词 故障诊断 异常检测 微服务 执行轨迹 主成分分析

在线阅读 下载PDF 职称材料

区块链共识协议综述 被引量：80

6

作者 夏清 窦文生 +3 位作者 郭凯文 梁赓 左春 张凤军 《软件学报》 EI CSCD 北大核心 2021年第2期277-299,共23页

共识协议作为区块链的核心技术,近年来已经得到学术界和产业界的广泛重视,并取得了一系列研究成果.当前,关于共识协议的综述研究一般将共识协议作为整体进行比较分析,缺乏对共识协议中主要步骤的解耦与比较.将共识协议分为出块节点选举... 共识协议作为区块链的核心技术,近年来已经得到学术界和产业界的广泛重视,并取得了一系列研究成果.当前,关于共识协议的综述研究一般将共识协议作为整体进行比较分析,缺乏对共识协议中主要步骤的解耦与比较.将共识协议分为出块节点选举和主链共识两个主要步骤,并针对每个步骤进行协议间的分析比较.在出块节点选举部分,主要讨论工作量证明和权益证明,分析其中存在的问题以及相应解决方案的分类比较.在主链共识部分,针对概率性共识和确定性共识,总结其安全目标,并进行安全性分析比较.通过对区块链共识协议的系统梳理,最后总结共识协议的发展现状和发展趋势,以及未来的重要研究方向. 展开更多

关键词 区块链 共识协议 出块节点选举 主链共识 工作量证明

在线阅读 下载PDF 职称材料

面向机器学习系统的需求建模与决策选择 被引量：4

7

作者 杨立 马佳佳 +3 位作者 江华禧 马肖肖 梁赓 左春 《计算机科学》 CSCD 北大核心 2020年第12期42-49,共8页

机器学习支撑的系统应用越来越普遍,但是此类系统的需求通常难以表达完整且可能存在一些难以检测的冲突,使得这些系统通常无法在生产环境中高效满足用户的综合需求。此外,对于在实际场景中使用的机器学习系统,用户信任通常取决于包含可... 机器学习支撑的系统应用越来越普遍,但是此类系统的需求通常难以表达完整且可能存在一些难以检测的冲突,使得这些系统通常无法在生产环境中高效满足用户的综合需求。此外,对于在实际场景中使用的机器学习系统,用户信任通常取决于包含可解释性、公平性等非功能需求在内的综合需求的满足程度,且在不同领域内应用机器学习通常有特定的需求,为保证需求描述的质量及实施过程的决策带来了挑战。为解决以上问题,文中提出了一个机器学习系统的需求建模和决策选择框架,包括一个MLS(Machine Learning Systems)需求概念模型和机器学习管道过程元模型,以及对训练数据集、算法等组件的决策选择方法,旨在规范实际场景中机器学习系统的需求设计、开发和评估。实例研究表明,提出的MLS需求描述和实现方法是可行且有效的。 展开更多

关键词 机器学习系统 需求建模 非功能需求 元模型 决策选择

在线阅读 下载PDF 职称材料

基于Visual C＋＋和Pro^＊ C/C＋＋技术的油田动态分析系统设计新方法 被引量：1

8

作者 李根 冯少华 王伟 《科学技术与工程》 2011年第16期3836-3840,3857,共6页

针对传统的动态分析系统功能固定用户自由度小的问题,提出了一种改进方法。通过实现对辽河油田提出的动态分析系统的设计,采用了配置文件、多线程技术的观念,结合使用安全数组和Variants数据类型,设计出了一套新式的油藏动态分析的数据... 针对传统的动态分析系统功能固定用户自由度小的问题,提出了一种改进方法。通过实现对辽河油田提出的动态分析系统的设计,采用了配置文件、多线程技术的观念,结合使用安全数组和Variants数据类型,设计出了一套新式的油藏动态分析的数据库数据管理及数据存取、显示方法。增加了用户的自由度,解决了常规动态分析中功能固定的局限性。 展开更多

关键词 动态分析 ORACLE数据库 Visual C++ Pro＊ C/C++ 多线程

在线阅读 下载PDF 职称材料

基于样本程序的自动化测试工具 被引量：8

9

作者 王津 左春 张正 《计算机工程》 CAS CSCD 北大核心 2020年第3期198-205,213,共9页

为提升基于样本程序的行业软件质量,在分析样本程序内容和领域数据的基础上,提出一种自动化测试工具。通过分析样本程序中规范化的骨架注释,利用规则库提取出自动化测试所需的元素定位参数和业务流程标识,并从领域数据中抽取出业务数据... 为提升基于样本程序的行业软件质量,在分析样本程序内容和领域数据的基础上,提出一种自动化测试工具。通过分析样本程序中规范化的骨架注释,利用规则库提取出自动化测试所需的元素定位参数和业务流程标识,并从领域数据中抽取出业务数据。在此基础上,应用代码引擎自动生成测试脚本。实验结果表明,该测试工具可快速测试和修改基于样本程序的行业软件的业务流程,与通用的QTP测试工具相比,其测试效率和脚本正确率较高。 展开更多

关键词 自动化测试 样本程序 规则库 领域数据 脚本数据自动生成

在线阅读 下载PDF 职称材料

基于AJAX的B／S电子表单填写模式研究 被引量：8

10

作者 黄慧 孙静 《计算机工程与设计》 CSCD 北大核心 2008年第5期1055-1056,1146,共3页

电子表单系统是电子政务建设中重要的一个环节。论述了电子表单系统独立的必要性,调研了几种现有电子表单系统的优缺点,并在此基础上提出一种新型电子表单的框架实现。该电子表单系统提供了一种新型B/S在线填写模式,模式基于AJAX,只需... 电子表单系统是电子政务建设中重要的一个环节。论述了电子表单系统独立的必要性,调研了几种现有电子表单系统的优缺点,并在此基础上提出一种新型电子表单的框架实现。该电子表单系统提供了一种新型B/S在线填写模式,模式基于AJAX,只需要能支持AJAX的浏览器,不需安装任何附加控件,具有方便快捷的特点。利用AJAX进行数据传输,能有效地节省带宽,节省用户等待时间,并能给用户进行表单填写提供一个友好灵活的操作界面。 展开更多

关键词 智能电子表单系统 可扩展标记语言 填写工具 异步交互 浏览器客户端

在线阅读 下载PDF 职称材料

基于录制重放的区块链交易执行追溯方法 被引量：1

11

作者 陈胜 方明哲 +4 位作者 蒋步云 李春晓 左春 李玉成 梁赓 《软件学报》 EI CSCD 北大核心 2023年第10期4681-4704,共24页

区块链上运行的智能合约具有一经部署难以修改、调用执行需经过共识等特点,现有的需要修改智能合约代码或打断其执行过程的调试方法难以直接应用到智能合约上.由于智能合约的运行过程由区块链交易顺序执行过程组成,实现对区块链交易执... 区块链上运行的智能合约具有一经部署难以修改、调用执行需经过共识等特点,现有的需要修改智能合约代码或打断其执行过程的调试方法难以直接应用到智能合约上.由于智能合约的运行过程由区块链交易顺序执行过程组成,实现对区块链交易执行过程的追溯是提升智能合约可调试性的一个有效途径.对区块链交易执行过程进行追溯主要目标是找出一条已经出块的区块链交易是如何得到当前的执行结果的.区块链交易的执行依赖于区块链内部状态,且该状态取决于之前区块链交易的执行结果,因此存在着传递性依赖.区块链交易的依赖性和区块链所提供的执行环境的特点给区块链交易执行追溯带来了挑战.区块链交易执行追溯面临的挑战主要有3方面,即如何从智能合约部署的生产环境中获取足够追溯的信息、如何获取区块链交易之间的依赖关系,以及如何保证追溯结果与实际在线执行过程一致.提出了一种基于录制重放的区块链交易执行追溯方法,在合约容器中建立录制重放机制,无需修改合约代码即可支持交易执行中对状态读写操作的录制,并且不会打断智能合约运行;提出了基于状态读写的交易依赖分析算法,支持对存在依赖关系的前序交易进行按需回溯;此外,设计了录制读写操作记录的验证机制,确保重放的执行过程与真实执行过程之间的一致性可被验证.所提出的方法能够追溯区块链交易调用智能合约的执行过程,可用于智能合约调试,并且当智能合约异常造成损失时可用于举证.在实验中对比了将录制的读写操作记录存储于链上和存储于链下之间的性能差异,通过案例研究展示了所提方法在追溯区块链交易执行方面的有效性和优点. 展开更多

关键词 区块链 交易追溯 智能合约

在线阅读 下载PDF 职称材料

保险行业基于分布式的业务集中实现方案 被引量：1

12

作者 汪磊 左春 彭敬 《计算机工程与应用》 CSCD 北大核心 2005年第27期190-192,共3页

论文针对保险行业地市级分公司到省级分公司的业务集中问题,结合省级业务集中的实际案例提出了基于分布式的业务集中处理的解决方案,并对该方案的实际实施规划进行了分析。

关键词 分布式 业务集中 数据库 中间件

在线阅读 下载PDF 职称材料

基于J2EE架构的办公自动化系统的研究与应用 被引量：11

13

作者 胡安韩 余凌凡 《计算机应用研究》 CSCD 北大核心 2005年第9期211-213,共3页

从研究J2EE架构特点出发,提出了基于J2EE体系的办公自动化系统总体架构,然后分别阐述了各子系统的功能及实现方法。

关键词 J2EE架构 办公自动化系统 方法

在线阅读 下载PDF 职称材料

基于笔的电子表单设计工具

14

作者 王斌 孙静 +1 位作者 滕东兴 戴国忠 《计算机工程与设计》 CSCD 北大核心 2008年第5期1046-1048,1176,共4页

笔式用户界面以纸笔为隐喻,有着广泛的应用范围。提出了一种基于笔交互的电子表单设计工具,用户可以使用数字笔自然、高效地设计表单。介绍了笔式电子表单工具的设计思路以及其中的关键技术,包括笔手势的设计、笔迹处理的流程以及相关... 笔式用户界面以纸笔为隐喻,有着广泛的应用范围。提出了一种基于笔交互的电子表单设计工具,用户可以使用数字笔自然、高效地设计表单。介绍了笔式电子表单工具的设计思路以及其中的关键技术,包括笔手势的设计、笔迹处理的流程以及相关的识别技术。基于设计思路和关键技术,实现了一个原型系统。用户测试表明,基于笔交互的表单设计工具比传统的表单设计工具更加自然、高效。 展开更多

关键词 电子表单设计 数字笔 笔手势 交互 识别

在线阅读 下载PDF 职称材料

关于提高畜牧业统计数据质量的思考 被引量：1

15

作者 孔庆荣 《当代畜禽养殖业》 2023年第1期51-53,共3页

现代化畜牧业的稳定发展离不开相关生产数据的统计,其对于畜牧业生产形势的分析、相关畜牧业政策的制定与产业生产计划的调整起着非常重要的作用。然而,在畜牧业统计数据的采集过程中,常受到采集流程、从业人员数量、管理制度以及沟通... 现代化畜牧业的稳定发展离不开相关生产数据的统计,其对于畜牧业生产形势的分析、相关畜牧业政策的制定与产业生产计划的调整起着非常重要的作用。然而,在畜牧业统计数据的采集过程中,常受到采集流程、从业人员数量、管理制度以及沟通交流等方面的限制与影响,导致统计数据质量差,不能满足畜牧业可持续发展的需求。因此,要想提高畜牧业统计数据的质量,就需要对采集与分析流程的各个方面进行综合考虑,分析操作过程中所存在的问题,并对其进行深入思考。本文立足于畜牧业统计数据采集过程中所存在的一些质量问题,有针对性地提出了一系列的改进策略,旨在促进我国畜牧业科学性发展。 展开更多

关键词 畜牧业 数据统计质量 策略分析

在线阅读 下载PDF 职称材料