期刊文献+
共找到3,073篇文章
< 1 2 154 >
每页显示 20 50 100
开源软件库生态治理技术研究综述:二十年进展 被引量:3
1
作者 王莹 伍盈欣 +4 位作者 高天 陈子莺 许畅 于海 张成志 《软件学报》 EI CSCD 北大核心 2024年第2期629-674,共46页
在“人-机-物”三元融合、泛在计算的时代蓝海下,“开放多变”“需求多样”和“场景复杂”的软件部署和运行环境对开源软件库生态的治理技术提出了更多需求和更高期望.为进一步推动构建可信软件供应链生态,围绕泛在计算模式、打造自主... 在“人-机-物”三元融合、泛在计算的时代蓝海下,“开放多变”“需求多样”和“场景复杂”的软件部署和运行环境对开源软件库生态的治理技术提出了更多需求和更高期望.为进一步推动构建可信软件供应链生态,围绕泛在计算模式、打造自主可控的技术体系,聚焦于开源软件库管理生态,收集近20多年来(2001–2023)发表于软件工程领域较高影响力的学术期刊和会议的348篇论文,对开源软件库生态治理技术的研究工作进行梳理.讨论开源软件库生态的建模与分析、演化与维护、质量保证和管理等方面的工作,总结研究现状、问题、挑战与趋势. 展开更多
关键词 开源软件供应链 开源治理 软件库生态系统
在线阅读 下载PDF
智能化软件新技术专刊前言 被引量:3
2
作者 申富饶 李戈 《软件学报》 EI CSCD 北大核心 2019年第5期1203-1205,共3页
智能化软件新技术是使用人工智能与机器学习技术辅助软件工程的新兴技术.近年来以深度学习为代表的人工智能技术飞速发展,在计算机科学的各个领域中都开始发挥重要作用.随着软件工程领域对数据积累的重视,人工智能技术在软件开发过程中... 智能化软件新技术是使用人工智能与机器学习技术辅助软件工程的新兴技术.近年来以深度学习为代表的人工智能技术飞速发展,在计算机科学的各个领域中都开始发挥重要作用.随着软件工程领域对数据积累的重视,人工智能技术在软件开发过程中的应用也逐渐增加.利用人工智能技术辅助软件工程中的代码编写、纠错、测试等具体工作,可以大量节省人工劳动,提升软件开发效率.将人工智能技术更好地与软件工程的各个环节相结合,进一步提升软件开发过程的自动化、智能化程度,是智能化软件新技术研究的主要关注点. 展开更多
关键词 软件缺陷预测 频繁模式挖掘 代码坏味 测试预言 人工智能技术 软件演化 内存泄漏 测试用例 持续集成
在线阅读 下载PDF
一种基于极限编程的实验室项目软件方法LabXP
3
作者 邵飞 葛季栋 +2 位作者 胡昊 鲍钦迪 吕建 《计算机科学》 CSCD 北大核心 2005年第8期199-202,共4页
本文基于一种敏捷的软件方法——极限编程,结合实验室项目的特点,探讨了在实验室项目中进行软件开发的方法,提出了一种实验室项目软件方法 LabXP(Lab eXtreme Programing)。鉴于实验室项目的特殊性,这种方法是以极限编程(XP)为基础的敏... 本文基于一种敏捷的软件方法——极限编程,结合实验室项目的特点,探讨了在实验室项目中进行软件开发的方法,提出了一种实验室项目软件方法 LabXP(Lab eXtreme Programing)。鉴于实验室项目的特殊性,这种方法是以极限编程(XP)为基础的敏捷软件方法(Agile Software Method),在保证软件质量的基础上实现了快速开发。 展开更多
关键词 实验室项目 软件方法 XP 极限编程 实验室 项目 SOFTWARE EXTREME 软件开发 快速开发
在线阅读 下载PDF
一种面向软件众包的众包工人选择模型
4
作者 贾俊宇 杨岚心 +3 位作者 张晓东 徐近伟 张居正 张贺 《计算机应用研究》 北大核心 2025年第6期1822-1829,共8页
软件众包任务中,选择不合适的众包工人常导致任务失败和任务发布者满意度下降。为解决因工人选择不当带来的问题,提出了一种综合考虑工人能力与任务匹配度的软件众包工人选择模型。模型包括基于TOPSIS和线性规划法的众包工人能力评估模... 软件众包任务中,选择不合适的众包工人常导致任务失败和任务发布者满意度下降。为解决因工人选择不当带来的问题,提出了一种综合考虑工人能力与任务匹配度的软件众包工人选择模型。模型包括基于TOPSIS和线性规划法的众包工人能力评估模型,以及基于匹配函数学习的众包工人与任务匹配模型。模型在真实众包数据集(包含9450项任务、8747名工人、98940对竞标关系)上进行了实验验证。结果显示,模型能显著提升任务发布者的满意度,在top-k Acc和MRR指标上均优于现有基线模型。研究表明,综合考虑工人能力与匹配度能够有效优化工人选择,为软件众包平台任务分配机制提供了新思路。 展开更多
关键词 软件众包 众包工人 选择模型 能力评估 匹配模型
在线阅读 下载PDF
结合主动学习和半监督学习的软件可追踪性恢复框架
5
作者 董黎明 张贺 +1 位作者 孟庆龙 匡宏宇 《软件学报》 北大核心 2025年第5期1924-1948,共25页
软件可追踪性被认为是软件开发过程可信的一个重要因素,确保对软件开发过程的可见性并进行全面追踪,从而提高软件的可信度和可靠性.近年来,自动化的软件可追踪性恢复方法取得了显著进展,但在企业项目中的应用仍面临挑战.通过调研研究和... 软件可追踪性被认为是软件开发过程可信的一个重要因素,确保对软件开发过程的可见性并进行全面追踪,从而提高软件的可信度和可靠性.近年来,自动化的软件可追踪性恢复方法取得了显著进展,但在企业项目中的应用仍面临挑战.通过调研研究和实验案例分析,发现工业界场景中可追踪性模型表现不佳的3个关键挑战:原始数据低质量、样本稀疏性和不平衡性,并提出一种结合主动学习和半监督学习的软件可追踪性恢复框架STRACE(AL+SSL).该框架通过选择有价值的标注样本和生成高质量的伪标签样本,有效利用未标注的样本,克服数据低质量和稀疏性挑战.实验基于10个样本规模在几万至近百万个issue-commit跟踪对实例的企业项目,进行多组对比实验,结果表明该框架在当前真实企业项目软件可追踪性恢复任务上具有有效性.其中消融实验结果表明STRACE(AL+SSL)中主动学习模块所选择的无标签样本在可追踪性恢复任务中发挥了更为重要的作用.此外,还验证各个模块最佳的样本选择策略组合,包括调整后的半监督类平衡自训练样本选择策略CBST-Adjust和低成本高效率的主动学习子模块互信息SMI_Flqmi样本选择策略. 展开更多
关键词 软件可追踪性 主动学习 半监督学习
在线阅读 下载PDF
浅论软件技术发展 被引量:164
6
作者 杨芙清 梅宏 +1 位作者 吕建 金芝 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1901-1906,共6页
本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和... 本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和主要研究方向. 展开更多
关键词 软件技术 INTERNET 网构软件 因特网 INTERNETWARE 回顾
在线阅读 下载PDF
基于移动Agent技术的构件软件框架研究 被引量:48
7
作者 吕建 张鸣 +1 位作者 廖宇 陶先平 《软件学报》 EI CSCD 北大核心 2000年第8期1018-1023,共6页
随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件... 随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件框架具有较强的网络环境的动态适应性 . 展开更多
关键词 构件软件框架 移动AGENT 程序设计方法 面向对象
在线阅读 下载PDF
面向持续软件工程的微服务架构技术专题前言 被引量:8
8
作者 张贺 王忠杰 +1 位作者 陈连平 彭鑫 《软件学报》 EI CSCD 北大核心 2021年第5期1229-1230,共2页
随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、... 随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、持续更新和适应之中,持续软件工程(continuous software engineering)由此被提出并迅速得到广泛的实践应用.微服务(microservice)架构作为一种全新的去中心化分布式架构,在软件架构层面成为适应持续软件工程发展的必然趋势,而领域驱动设计(domain-driven design,简称DDD)伴随着微服务架构的兴起也重新获得了业界的广泛关注,二者共同关注服务自顶向下的合理设计和分解.微服务架构与领域驱动设计共同支持实现现代软件系统的持续性特征.为了反映中国学者和实践者在求解以微服务架构为代表的持续软件工程所面临的架构难题和挑战过程中取得的理论、技术或实验方面的创新性、突破性的高水平研究成果,特设立此专题. 展开更多
关键词 微服务架构 领域驱动设计 软件工程 软件系统 软件架构 分布式架构 互联网化 去中心化
在线阅读 下载PDF
用于软件保护的代码混淆技术 被引量:15
9
作者 罗宏 蒋剑琴 曾庆凯 《计算机工程》 EI CAS CSCD 北大核心 2006年第11期177-179,共3页
对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题... 对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题。文章从软件保护的方法出发,介绍和分析代码混淆技术的方法和目标,并指出了代码混淆技术的优势和发展趋势。 展开更多
关键词 软件保护 代码混淆 模糊谓词
在线阅读 下载PDF
软件安全漏洞的静态检测技术 被引量:41
10
作者 张林 曾庆凯 《计算机工程》 CAS CSCD 北大核心 2008年第12期157-159,共3页
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静... 软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。 展开更多
关键词 软件安全漏洞 静态分析 程序验证
在线阅读 下载PDF
计算机辅助建筑结构算量技术与软件 被引量:4
11
作者 杨华飞 杨若瑜 +1 位作者 路通 蔡士杰 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第6期748-756,共9页
根据近年来计算机辅助建筑算量技术研究及相关软件开发情况,将现有的相关技术方法分为参数输入法、局部建模法、全局建模法和自动识别法4类,深入讨论了其特点,并分析了2个代表性的软件.最后展望了该技术的发展方向.
关键词 计算机读图 工程算量 建模法 自动识别法
在线阅读 下载PDF
基于CCM的软件构件组装技术的研究 被引量:4
12
作者 许峰 陈智强 +1 位作者 黄皓 王志坚 《计算机科学》 CSCD 北大核心 2006年第8期232-235,共4页
OMG在推出的CORBA3.0规范中提出了一个构件模型(CCM)。CORBA构件不仅定义了对外提供的功能,而且还定义了构件所需要的外部功能,使得构件可以利用接口进行组装。同时CCM借鉴了EJB、COM等构件模型的优点,并充分利用了CORBA的开放性。本文... OMG在推出的CORBA3.0规范中提出了一个构件模型(CCM)。CORBA构件不仅定义了对外提供的功能,而且还定义了构件所需要的外部功能,使得构件可以利用接口进行组装。同时CCM借鉴了EJB、COM等构件模型的优点,并充分利用了CORBA的开放性。本文在对CORBA构件模型以及模型组装框架中的相关技术进行研究的基础上,努力探索基于CCM的构件组装在系统开发中的应用。 展开更多
关键词 CBSD CORBA构件模型 构件组装
在线阅读 下载PDF
软件恢复技术研究 被引量:5
13
作者 李正 万群丽 许满武 《计算机科学》 CSCD 北大核心 2003年第8期150-155,共6页
Recently, the phenomenon of "software aging", one in which the state of a software system gradually de-grades with time and eventually leads to performance degradation or crash/hang failure, has been reporte... Recently, the phenomenon of "software aging", one in which the state of a software system gradually de-grades with time and eventually leads to performance degradation or crash/hang failure, has been reported. The agingphenomenon is ubiquitous in all kinds of software systems and hard to eliminate thoroughly. A proactive techniquecalled "software rejuvenation" has been proposed[13] to counter the aging problem and increase the software availabili-ty. In this paper, we systematically investigate the basic motivation, concept and development of software rejuvena-tion, and then, detailedly analyze the main research work on it. At last, a prospect about the future research direc-tions is outlined. 展开更多
关键词 软件恢复 软件可靠性 软件系统 软件开发
在线阅读 下载PDF
一种基于程序切片技术的软件测试方法 被引量:5
14
作者 李必信 方祥圣 +1 位作者 袁海 郑国梁 《计算机科学》 CSCD 北大核心 2001年第12期97-101,112,共6页
It is well acknowledged that quality of software has a higher priority than the performance and functions of software. One of the ways to get high-quality software is to get more efficient software-testing techniques.... It is well acknowledged that quality of software has a higher priority than the performance and functions of software. One of the ways to get high-quality software is to get more efficient software-testing techniques. Theory and technology of software quality assurance are an important part of software developing methodology and software engineering. Software testing plays a key role in software quality assurance. The purpose of the essay is to search for new software testing method and to solve some problems in testing of object-oriented program. We also try to amend some deficiency in the traditional test method for structured programs. By the idea of program slicing, we can disassemble the source code of a program into several slices following certain rules. Instead of testing the whole program, we can test these slices. We can also guarantee the equivalence of the two ways. Testing on the base of program slicing has several advantages than the one simply using data flow analysis and control flow analysis. The first, because a program equals to the union of its slices, to test all of the slices makes a complete test of the program, and to test each slice which is related to the interested variables is actually a complete test of the requirement test. Then we solve the problem of sufficiency in traditional structured program testing and object-oriented program testing as well. The second, program slicing technique can be applied to the testing of both structured programs and object-oriented ones. 展开更多
关键词 程序切片 软件测试 软件开发 面向对象
在线阅读 下载PDF
自动并行编译新技术 被引量:2
15
作者 阳雪林 于勐 +1 位作者 陈道蓄 谢立 《软件学报》 EI CSCD 北大核心 2000年第9期1268-1275,共8页
自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持 ,因此 2 0多年来一直受到重视 .近几年来 ,自动并行编译技术的研究进展 ,包括在依赖关系分析、程序变换、数据分布和重分布及调度等方面的进展 ,将自动并行编译... 自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持 ,因此 2 0多年来一直受到重视 .近几年来 ,自动并行编译技术的研究进展 ,包括在依赖关系分析、程序变换、数据分布和重分布及调度等方面的进展 ,将自动并行编译进一步推向了实用化 .该文介绍了自动并行编译技术的最新进展 ,并提出了进一步的研究所要解决的问题 . 展开更多
关键词 自动并行编译 依赖关系分析 程序变换 新技术
在线阅读 下载PDF
嵌入式系统软件设计方法与技术专刊前言 被引量:3
16
作者 李宣东 于戈 《软件学报》 EI CSCD 北大核心 2014年第2期177-178,共2页
随着计算机硬件设备性能的迅速提高以及嵌入式系统应用领域的不断拓宽,嵌入式系统软件的规模和复杂性急剧增加,软件已经成为嵌入式系统的主要使能部件.近年来,物联网、移动计算、信息物理融合系统等嵌入式系统领域的相关热点不断出... 随着计算机硬件设备性能的迅速提高以及嵌入式系统应用领域的不断拓宽,嵌入式系统软件的规模和复杂性急剧增加,软件已经成为嵌入式系统的主要使能部件.近年来,物联网、移动计算、信息物理融合系统等嵌入式系统领域的相关热点不断出现,对嵌入式系统软件设计方法和技术提出了一系列新的挑战.本专刊收录的16篇论文反映了近年来我国学者在嵌入式系统软件设计方法和技术领域的部分研究成果. 展开更多
关键词 嵌入式系统软件 软件设计方法 技术 硬件设备 移动计算 融合系统 研究成果 计算机
在线阅读 下载PDF
众包软件测试技术研究进展 被引量:24
17
作者 章晓芳 冯洋 +2 位作者 刘頔 陈振宇 徐宝文 《软件学报》 EI CSCD 北大核心 2018年第1期69-88,共20页
众包测试是一种新兴的软件测试方式,得到了学术界和工业界的广泛关注.系统地总结了近年来众包软件测试研究的学术文献以及工业界实践进展:首先,从学术文献涉及的研究主题演变、涵盖的软件测试问题和众包测试流程、采用的实验对象及测试... 众包测试是一种新兴的软件测试方式,得到了学术界和工业界的广泛关注.系统地总结了近年来众包软件测试研究的学术文献以及工业界实践进展:首先,从学术文献涉及的研究主题演变、涵盖的软件测试问题和众包测试流程、采用的实验对象及测试人员规模等多个角度对相关文献中提出的技术和方法进行了汇总;然后,从测试领域、测试对象、工人召集方式、绩效考核方式等方面分析对比了当前应用最广泛的20个众包测试商业平台;最后,探讨了众包软件测试的未来发展趋势、机遇和挑战. 展开更多
关键词 软件工程 软件测试 众包 众包测试 众包平台
在线阅读 下载PDF
面向对象软件测试技术进展 被引量:46
18
作者 金凌紫 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期6-13,共8页
面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱.文中分析了面向对象程序设计语言的特点及其对软件测试的影响,从基于规约的测试方... 面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱.文中分析了面向对象程序设计语言的特点及其对软件测试的影响,从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面,综述有代表性的研究工作,探讨研究方向. 展开更多
关键词 面向对象 软件测试 程序语言 软件开发
在线阅读 下载PDF
一种新的航迹与量测互联技术
19
作者 何佳洲 吴传利 +1 位作者 李艳丽 陈世福 《电光与控制》 2004年第2期1-7,共7页
为了同时解决存在于航迹与量测互联问题中的两种不确定性 :目标运动和量测源的不确定性 ,本文提出一种基于BP的变结构交互式多模型 2 D互联技术。首先 ,采用全局 2 D分配算法确定量测与目标的分配问题 ,确定量测序列 ;其次 ,提出一种... 为了同时解决存在于航迹与量测互联问题中的两种不确定性 :目标运动和量测源的不确定性 ,本文提出一种基于BP的变结构交互式多模型 2 D互联技术。首先 ,采用全局 2 D分配算法确定量测与目标的分配问题 ,确定量测序列 ;其次 ,提出一种元模式的概念 ,采用离散小波变换 ,将目标量测序列映射到目标模式序列 ,从而由BP神经网络对目标运动模型对应的概率进行估计 ,再利用变结构的交互式多模型进行目标滤波估计。初步实验结果表明 :本文提出的技术能较好地解决密集目标。 展开更多
关键词 航迹与量测互联 VSIMM 元模式 离散小波变换
在线阅读 下载PDF
一种适用于构件系统的软件抗衰技术框架
20
作者 郑贤福 杨群 许满武 《计算机科学》 CSCD 北大核心 2006年第8期275-277,289,共4页
近年来,软件抗衰技术已被证实是解决软件衰老问题的有效途径。本文针对构件系统特点,将Micro-Reboot思想引入到软件抗衰技术中,也即将单个构件作为抗衰技术中检测和措施的对象,一方面使得每个构件能够长时间保持在良好状态,从而提高整... 近年来,软件抗衰技术已被证实是解决软件衰老问题的有效途径。本文针对构件系统特点,将Micro-Reboot思想引入到软件抗衰技术中,也即将单个构件作为抗衰技术中检测和措施的对象,一方面使得每个构件能够长时间保持在良好状态,从而提高整个体系的性能,另一方面引入Request-Retry机制,提高系统的可用性。本文基于J2EE构件模型开发出一种新的软件抗衰技术框架,相关理论已成果并在江苏省科技攻关项目“城域网海量视听信息实时点播系统”中应用。 展开更多
关键词 软件抗衰 构件系统 抗衰粒度 可用性 性能优化
在线阅读 下载PDF
上一页 1 2 154 下一页 到第
使用帮助 返回顶部