期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到733篇文章
< 1 2 … 37 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
结合数据流和控制流漂移发现的业务过程异常检测方法
1
作者 孙晋永 许乾 +2 位作者 闻立杰 邓文伟 马瑞阳 《计算机集成制造系统》 北大核心 2025年第5期1672-1683,共12页
现有的业务过程异常检测方法不能发现业务过程模型可能发生的数据流漂移,会将合理的数据流漂移案例判定为异常案例,降低了异常检测的准确性。因此,提出一种结合数据流和控制流漂移发现的业务过程异常检测方法。首先,将事件日志中的事件... 现有的业务过程异常检测方法不能发现业务过程模型可能发生的数据流漂移,会将合理的数据流漂移案例判定为异常案例,降低了异常检测的准确性。因此,提出一种结合数据流和控制流漂移发现的业务过程异常检测方法。首先,将事件日志中的事件名(即控制流)与其他事件属性(即数据流)一样看待,使用独热编码对其进行统一编码,得到案例特征数据集。然后,构建事件属性预测模型来获取业务过程实例的下一事件的所有可能发生事件及其属性的概率分布。进一步,将以上概率分布转换为异常评分,得到候选异常案例集。接着,使用基于霍夫丁不等式的双层滑动窗口机制、概念漂移比率从候选异常案例集中识别出数据流、控制流漂移案例,进而得到真正的异常案例。最后,采用循环更新策略,使用得到的漂移案例集作为新知识来更新事件属性预测模型,使得所提出的方法更准确地检测出真正的业务过程异常。仿真实验结果表明,相比现有的业务过程异常检测方法,所提出的方法能够较准确地发现事件日志中的数据流漂移,对于包含数据流和控制流漂移的事件日志可以获得较高的异常检测准确性。 展开更多
关键词 业务过程异常检测 数据流漂移 事件属性 概念漂移比率 模型更新
在线阅读 下载PDF
无线时间敏感网络技术综述 被引量：3
2
作者 乔萱 李宗辉 +3 位作者 刘强 艾渤 万海 邓仰东 《软件学报》 北大核心 2025年第1期184-202,共19页
由IEEE 802.1任务组开发的时间敏感网络标准可以用来构建高可靠、低延迟、低抖动的以太网,将时间敏感网络扩展到无线领域也是目前许多工作的研究重点.与传统的有线通信相比,无线的时间敏感网络不仅可以实现高可靠和低时延通信,还具有更... 由IEEE 802.1任务组开发的时间敏感网络标准可以用来构建高可靠、低延迟、低抖动的以太网,将时间敏感网络扩展到无线领域也是目前许多工作的研究重点.与传统的有线通信相比,无线的时间敏感网络不仅可以实现高可靠和低时延通信,还具有更高的灵活性、更强的移动性以及更低的布线和维护成本等优点.因此,在面对未来无人驾驶、协作机器人、远程医疗控制等新兴应用时,无线时间敏感网络被认为是一种十分有前景的技术.无线网络一般可以分为基于基础设施的无线网络和无基础设施的无线网络,而后者基于移动性还可以分为两类:移动自组织网络和无线传感网络,因此主要从这3种网络类型出发,对其应用场景、相关技术、路由协议以及高可靠低时延传输进行了调研与综述. 展开更多
关键词 时间敏感网络 5G 移动自组织网络 无线传感网络
在线阅读 下载PDF
Apache TsFile中的短时间序列分组压缩及合并方法 被引量：1
3
作者 刘星宇 宋韶旭 +1 位作者 黄向东 王建民 《软件学报》 北大核心 2025年第3期941-961,共21页
时间序列数据在工业制造、气象、电力、车辆等领域都有着广泛的应用,促进了时间序列数据库管理系统的发展.越来越多的数据库系统向云端迁移,端边云协同的架构也愈发常见,所需要处理的数据规模愈加庞大.在端边云协同、海量序列等场景中,... 时间序列数据在工业制造、气象、电力、车辆等领域都有着广泛的应用,促进了时间序列数据库管理系统的发展.越来越多的数据库系统向云端迁移,端边云协同的架构也愈发常见,所需要处理的数据规模愈加庞大.在端边云协同、海量序列等场景中,由于同步周期短、数据刷盘频繁等原因,会产生大量的短时间序列,给数据库系统带来新的挑战.有效的数据管理与压缩方法能显著提高存储性能,使得数据库系统足以胜任存储海量序列的重任.Apache TsFile是一个专为时序场景设计的列式存储文件格式,在Apache IoTDB等数据库管理系统中发挥重要作用.阐述了Apache TsFile中应对大量短时间序列场景所使用的分组压缩及合并方法,特别是面向工业物联网等序列数量庞大的应用场景.该分组压缩方法充分考虑了短时间序列场景中的数据特征,通过对设备分组的方法提高元数据利用率,降低文件索引大小,减少短时间序列并显著提高压缩效果.经过真实世界数据集的验证,分组方法在压缩效果、读取、写入、文件合并等多个方面均有显著提升,能更好地管理短时间序列场景下的Ts File文件. 展开更多
关键词 数据压缩 时间序列数据 数据库 工业物联网
在线阅读 下载PDF
分布式系统动态测试技术研究综述 被引量：1
4
作者 陈元亮 马福辰 +3 位作者 周远航 颜臻 姜宇 孙家广 《软件学报》 北大核心 2025年第7期2964-3002,共39页
分布式系统是当今计算生态系统的支柱,它使得现代计算更加强大、可靠和灵活,覆盖了从云计算、大数据处理到物联网等多个关键领域.然而,由于系统的复杂性,分布式系统在代码实现过程中总是不可避免地引入一些代码缺陷,从而对系统的可用性... 分布式系统是当今计算生态系统的支柱,它使得现代计算更加强大、可靠和灵活,覆盖了从云计算、大数据处理到物联网等多个关键领域.然而,由于系统的复杂性,分布式系统在代码实现过程中总是不可避免地引入一些代码缺陷,从而对系统的可用性、鲁棒性以及安全性造成巨大威胁.因此,分布式系统的测试以及缺陷挖掘工作十分重要.动态测试技术在系统运行中进行实时分析,以挖掘其缺陷,评估其行为和功能,被广泛用于各种系统应用的缺陷检测中,并成功发现了许多代码缺陷.首先提出了分布式系统4层缺陷威胁模型,并基于它分析了分布式系统测试需求与主要挑战,提出了对分布式系统进行动态测试的一般框架.从挖掘不同类型系统缺陷的角度介绍了典型的分布式系统动态测试工具.总结了包括不同维度测试输入生成、系统关键状态感知、缺陷判定准则构建在内的分布式动态测试的关键技术.对当前主流分布式系统动态测试工具的覆盖率和缺陷发现能力进行了评估,从初步实验结果中可以看出多维度测试输入技术能有效提高分布式系统测试效率.最后,讨论了分布式系统动态测试的新趋势以及可能的未来发展方向. 展开更多
关键词 分布式系统 动态测试 缺陷挖掘 模糊测试 故障注入
在线阅读 下载PDF
数据库管理系统模糊测试技术研究综述 被引量：1
5
作者 梁杰 吴志镛 +3 位作者 符景洲 朱娟 姜宇 孙家广 《软件学报》 北大核心 2025年第1期399-423,共25页
数据库管理系统(DBMS)是用于高效存储、管理、分析数据的基础软件,在现代数据密集型应用中起着举足轻重的作用.数据库管理系统中存在的漏洞则对数据的安全性和应用的正常运行造成巨大威胁.模糊测试是当前最为流行的动态漏洞检测技术之一... 数据库管理系统(DBMS)是用于高效存储、管理、分析数据的基础软件,在现代数据密集型应用中起着举足轻重的作用.数据库管理系统中存在的漏洞则对数据的安全性和应用的正常运行造成巨大威胁.模糊测试是当前最为流行的动态漏洞检测技术之一,它已经被应用于分析DBMS,并发现许多漏洞.分析DBMS的测试需求和难点,提出对DBMS进行模糊测试的一般框架,同时分析DBMS模糊测试工具面临的挑战和需要支持的维度;接着从挖掘不同类型漏洞的角度介绍典型的DBMS模糊测试工具;然后总结包括SQL表达式合成、代码覆盖追踪、测试准则构建在内的DBMS模糊测试的关键技术.接着就测试的覆盖率,生成测试用例的语法语义正确性和漏洞的发现能力对当前的几个流行模糊测试工具进行评估.最后,讨论当前DBMS模糊测试技术研究和实践中面临的问题,并对未来的研究方向进行展望. 展开更多
关键词 数据库管理系统 模糊测试 漏洞挖掘
在线阅读 下载PDF
“软件工程”课程教学实施方案 被引量：82
6
作者 刘强 陈越 +5 位作者 骆斌 古天龙 吴洁明 裴小兵 朱少民 白晓颖 《中国大学教学》 CSSCI 北大核心 2011年第2期41-44,共4页
"软件工程"是一门理论与实践并重的计算机软件专业基础课程。在教育部高等学校计算机科学与技术教学指导委员会统一组织下,作者针对软件工程课程的培养目标和教学实施中的关键问题,提出了该课程的教学实施方案。本文介绍了该... "软件工程"是一门理论与实践并重的计算机软件专业基础课程。在教育部高等学校计算机科学与技术教学指导委员会统一组织下,作者针对软件工程课程的培养目标和教学实施中的关键问题,提出了该课程的教学实施方案。本文介绍了该实施方案的总体框架,结合不同类型的计算机人才培养阐述了课程实施的侧重点,并从课程实验和综合训练两个方面构建了实践教学方案。 展开更多
关键词 软件工程 计算机科学与技术 核心课程 课程教学 教学实施
在线阅读 下载PDF
软件防篡改技术综述 被引量：25
7
作者 王朝坤 付军宁 +1 位作者 王建民 余志伟 《计算机研究与发展》 EI CSCD 北大核心 2011年第6期923-933,共11页
随着计算机软件的广泛使用,软件安全性问题日益突出.如何设计切实可行的软件保护方案已成为必须直面的挑战,具有重要的现实意义.近年来,软件防篡改技术作为软件保护的重要手段之一受到国内外研究者的重视.软件防篡改的目标在于阻止程序... 随着计算机软件的广泛使用,软件安全性问题日益突出.如何设计切实可行的软件保护方案已成为必须直面的挑战,具有重要的现实意义.近年来,软件防篡改技术作为软件保护的重要手段之一受到国内外研究者的重视.软件防篡改的目标在于阻止程序中的关键信息被非法修改或使用;检测篡改并作出适当的响应.针对这两个目标,重点介绍了基于代码混淆的静态防篡改技术和基于检测-响应的动态防篡改技术,对现有主流的软件防篡改技术进行分类,并分析和讨论了各类方法的优劣和局限性.最后,总结软件防篡改领域存在的问题,并对其未来可能的发展与研究方向提出建议. 展开更多
关键词 防篡改 软件保护 静态防篡改技术 动态防篡改技术 检测-响应 代码混淆
在线阅读 下载PDF
基于时间编码超表面的跌倒特征模拟与Wi-Fi感知数据集辅助构建
8
作者 陈少楠 顾家铭 +8 位作者 徐超 孙一淼 王思然 陈展野 刘硕 李会东 戴俊彦 何源 程强 《雷达学报(中英文)》 北大核心 2025年第4期950-960,共11页
随着Wi-Fi感知技术在智能健康监测领域的广泛应用,如何构建高质量的数据集成为亟待解决的关键问题。特别是在监测异常行为(如跌倒)时,传统方法依赖于人体的反复实验,这既存在安全隐患,又面临伦理困境。为应对这一挑战,该文提出了一种基... 随着Wi-Fi感知技术在智能健康监测领域的广泛应用,如何构建高质量的数据集成为亟待解决的关键问题。特别是在监测异常行为(如跌倒)时,传统方法依赖于人体的反复实验,这既存在安全隐患,又面临伦理困境。为应对这一挑战,该文提出了一种基于时间编码超表面的辅助数据样本采集方法。通过模拟人体的运动特征,时间编码超表面可以有效替代人体实验,用于辅助构建Wi-Fi感知数据集。为此该文设计了一款具备0~360°全相位调制能力的时间编码超表面验证了该方案的可行性。实验结果表明,超表面生成的信号能够较好地保留人体运动特征,有效补充真实样本,降低数据采集复杂度,并显著提升模型的监测准确性。该方法为Wi-Fi感知技术的数据采集提供了一种创新且可行的解决方案。 展开更多
关键词 Wi-Fi感知 时间编码超表面 运动特征生成 数据集构建 LeNet分类网络
在线阅读 下载PDF
新时期我国工业软件产业发展路径研究 被引量：39
9
作者 邵珠峰 赵云 +3 位作者 王晨 冯希光 王建民 熊虹婷 《中国工程科学》 CSCD 北大核心 2022年第2期86-95,共10页
工业软件产业是制造业高质量发展的重要支撑,在新时期制造强国战略背景下,工业软件成为优化制造与管理流程、变革生产方式与生产关系、提升全要素生产率、促进先进工业技术转化及溢出的直接动力。我国正在构建自主可控、安全高效的现代... 工业软件产业是制造业高质量发展的重要支撑,在新时期制造强国战略背景下,工业软件成为优化制造与管理流程、变革生产方式与生产关系、提升全要素生产率、促进先进工业技术转化及溢出的直接动力。我国正在构建自主可控、安全高效的现代产业体系,在挑战原有“技术–生产–市场”分工模式的同时,也为工业软件产业发展创造了重要机遇。本文从当前国际市场格局出发,分类解析了工业软件产品的基本特征与市场份额情况,剖析了我国工业软件产业发展的不足与问题,归纳了工业软件产业的平台化、开源化两大新发展趋势;据此提出补短强基、追赶突破、卓越引领3条发展路径,以期针对性补强产业不足、切实提升产业水平。研究建议,优化组织模式,发挥工业企业的主体带动作用;细化政策对象,分层次推进工业软件关键技术突破;扩大应用市场,促进工业软件产品创新;挖掘人才潜能,多渠道支持工业软件人才培养。 展开更多
关键词 工业软件 系统集成 产业瓶颈 卓越引领工程
在线阅读 下载PDF
可组合嵌入式软件建模与验证技术研究综述 被引量：18
10
作者 王博 白晓颖 +1 位作者 贺飞 Xiaoyu SONG 《软件学报》 EI CSCD 北大核心 2014年第2期234-253,共20页
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合... 可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题. 展开更多
关键词 可组合嵌入式软件 可组合性 相容性 组合模型 组合机制 组合验证
在线阅读 下载PDF
基于马尔科夫链的软件故障分类预测模型 被引量：13
11
作者 易锦 罗峋 +2 位作者 凹建勋 杨光宇 罗平 《中国科学院大学学报（中英文）》 CAS CSCD 北大核心 2013年第4期562-567,共6页
传统的软件可靠性模型一般未考虑故障的危害严重程度对软件失效的影响.然而在很多研究(如软件可信性研究)中,不仅要考虑软件的失效率、故障总数与失效间隔时间等,同时也要考虑故障的危害严重程度对软件可信性的影响.为解决上述问题,提... 传统的软件可靠性模型一般未考虑故障的危害严重程度对软件失效的影响.然而在很多研究(如软件可信性研究)中,不仅要考虑软件的失效率、故障总数与失效间隔时间等,同时也要考虑故障的危害严重程度对软件可信性的影响.为解决上述问题,提出一种基于马尔科夫链的预测方法,用以预测软件未来发生故障的种类,即预测软件未来发生故障的危害严重程度.这种分类预测方法可以更加全面地描述由软件故障引起的失效问题. 展开更多
关键词 软件可靠性 马尔科夫链 严重程度 软件可信性
在线阅读 下载PDF
基于OBE理念的“软件工程”课程重塑 被引量：92
12
作者 刘强 《中国大学教学》 CSSCI 北大核心 2018年第10期25-31,共7页
研究和分析了当前广泛开展的OBE教育方法,结合清华大学软件工程专业的软件工程教学,基于OBE理念对整个教学方案进行了改造和优化,重新设计了课程学习目标、教学内容框架、项目实践方法和课程实验环境等部分。重塑后的教学方案体现"... 研究和分析了当前广泛开展的OBE教育方法,结合清华大学软件工程专业的软件工程教学,基于OBE理念对整个教学方案进行了改造和优化,重新设计了课程学习目标、教学内容框架、项目实践方法和课程实验环境等部分。重塑后的教学方案体现"价值塑造、能力培养、知识传授"的教学思想,以学生的课程学习效果为目标驱动,注重软件技术能力、工程实践能力以及解决复杂软件问题能力的培养,实施先进的工程教育教学方法,通过科学的评价方法来评估学生的课程学习效果,持续改进教学质量。 展开更多
关键词 软件工程 OBE模式 教学设计 能力评价 实践教学
在线阅读 下载PDF
面向特定领域的企业信息系统模型及软件架构 被引量：5
13
作者 郭陟 赵曦滨 +2 位作者 贺飞 顾明 孙家广 《计算机集成制造系统》 EI CSCD 北大核心 2004年第9期1046-1051,共6页
为降低现代企业信息系统软件开发与维护的成本,首先提出了一种面向企业信息系统的软件过程模型。为支持该软件过程模型,进一步提出了一种适用于特定领域软件体系结构的企业信息系统模型,即"资源-任务-分析"模型,并给出该模型... 为降低现代企业信息系统软件开发与维护的成本,首先提出了一种面向企业信息系统的软件过程模型。为支持该软件过程模型,进一步提出了一种适用于特定领域软件体系结构的企业信息系统模型,即"资源-任务-分析"模型,并给出该模型的实例。该模型采用种类转换图刻画行为特征,采用映射图刻画数据关系特征。最后,基于该企业信息系统模型,提出了一种适用于企业信息系统领域的支撑软件体系架构,及其基于J2EE平台的实现方法。实际应用表明,该软件架构有利于提高软件复用度,降低软件复杂度,从而有效降低开发与维护成本。 展开更多
关键词 特定领域软件体系结构 企业信息系统 系统建模 资源-任务-分析模型
在线阅读 下载PDF
软件测试准则的有效性度量研究 被引量：12
14
作者 赵亮 王建民 孙家广 《计算机研究与发展》 EI CSCD 北大核心 2006年第8期1457-1463,共7页
测试准则的有效性是软件质量保障的一个重要问题,但至今仍没有一个有效的度量方法·已有的度量对于全面表示测试效果、提高软件质量的作用非常有限·潜在失效距离(pfd)将测试准则对软件的测试有效性视为以规范、程序、缺陷类型... 测试准则的有效性是软件质量保障的一个重要问题,但至今仍没有一个有效的度量方法·已有的度量对于全面表示测试效果、提高软件质量的作用非常有限·潜在失效距离(pfd)将测试准则对软件的测试有效性视为以规范、程序、缺陷类型和测试准则为自变量的函数,从软件和测试准则交互的角度来度量测试的有效性·与已有的度量相比较,该度量反映了软件经过满足测试准则的充分测试后获得的可靠性,为比较测试准则的测试效果提供了可行的方法,为设计更易测试的软件提供了指标· 展开更多
关键词 测试准则 有效性 度量 比较
在线阅读 下载PDF
大数据时代软件工程专题前言 被引量：6
15
作者 刘璘 周明辉 尹刚 《软件学报》 EI CSCD 北大核心 2017年第6期1327-1329,共3页
软件在人类社会生活中发挥着越来越重要的作用,软件工程研究软件系统构造、开发、运行、维护、演化的创新方法以提高效率和质量.从20世纪五、六十年代起,软件工程经历了从结构化到面向对象、网络服务化的演进.软件工程研究内容和范围不... 软件在人类社会生活中发挥着越来越重要的作用,软件工程研究软件系统构造、开发、运行、维护、演化的创新方法以提高效率和质量.从20世纪五、六十年代起,软件工程经历了从结构化到面向对象、网络服务化的演进.软件工程研究内容和范围不断扩展,其应用和实践也不断延伸,正发展成为结合人工智能、社会计算、认知科学、数据科学与工程等多学科交叉的领域. 展开更多
关键词 软件工程 面向对象 服务化 社会计算 开源项目 软件生命周期 车牌识别 应用系统开发 软件缺陷 软件开发方法
在线阅读 下载PDF
ERP软件质量模糊综合评价方法 被引量：14
16
作者 曲晓英 陈雪松 郑国勤 《计算机工程》 EI CAS CSCD 北大核心 2006年第9期81-82,85,共3页
为给ERP软件供应商和应用ERP软件的企业提供一种定量的ERP软件质量评价方法,基于Walters和McCall 3层软件质量度量模型,建立了适用于ERP软件的质量评价模型。研究了运用模糊理论对ERP软件质量进行评价的方法,通过模糊运算获得了ERP软件... 为给ERP软件供应商和应用ERP软件的企业提供一种定量的ERP软件质量评价方法,基于Walters和McCall 3层软件质量度量模型,建立了适用于ERP软件的质量评价模型。研究了运用模糊理论对ERP软件质量进行评价的方法,通过模糊运算获得了ERP软件质量的评价结果。通过一个典型ERP软件实例,验证了该方法的有效性和可行性。 展开更多
关键词 ERP 软件质量 模糊综合评价
在线阅读 下载PDF
软件易测性和软件可靠性关系研究 被引量：6
17
作者 赵亮 王建民 孙家广 《计算机学报》 EI CSCD 北大核心 2007年第6期986-992,共7页
从测试有效性的角度对易测性进行了定义,给出了软件易测性的量化表示模型;建立了易测性和可靠性之间的形式化关系;通过实验验证了易测性对实现可靠性目标所需的测试数量的影响.文中结论认为传统的基于黑盒测试得到的可靠性估计结果是盲... 从测试有效性的角度对易测性进行了定义,给出了软件易测性的量化表示模型;建立了易测性和可靠性之间的形式化关系;通过实验验证了易测性对实现可靠性目标所需的测试数量的影响.文中结论认为传统的基于黑盒测试得到的可靠性估计结果是盲目的,而基于易测性的可靠性模型可以提供更准确和更具针对性的估计结果. 展开更多
关键词 软件易测性 可靠性 测试 有效性 β分布
在线阅读 下载PDF
基于接口自动机与符号执行的嵌入式软件测试用例生成 被引量：9
18
作者 王博 白晓颖 +2 位作者 张超 贺飞 SONG Xiao-Yu 《计算机学报》 EI CSCD 北大核心 2015年第11期2125-2144,共20页
随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期... 随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比. 展开更多
关键词 扩展语义接口自动机 符号执行 测试用例生成
在线阅读 下载PDF
统计测试的软件可靠性保障能力研究 被引量：8
19
作者 赵亮 王建民 孙家广 《软件学报》 EI CSCD 北大核心 2008年第6期1379-1385,共7页
研究了统计测试对不同软件的测试能力,提出将测试有效性信息综合到软件可靠性评估模型中,以提高可靠性估计的针对性和精度.通过实验证明了该方法的合理性.该方法为高可靠性的软件质量保障要求提供了途径和可能,
关键词 统计测试 软件可靠性 有效性
在线阅读 下载PDF
基于束搜索和改进成本函数的过程一致性检测技术
20
作者 孙沛瑜 金涛 王建民 《计算机集成制造系统》 北大核心 2025年第5期1612-1619,共8页
当前的过程一致性检测的主流方法是基于计算过程模型与日志数据的对齐方案的,该方法的基本思路是使用搜索的方法来找到最优的对齐方案。通过在搜索的过程中引入束搜索的思想,对搜索过程中遇到的状态进行删减,通过减少参与搜索的状态来... 当前的过程一致性检测的主流方法是基于计算过程模型与日志数据的对齐方案的,该方法的基本思路是使用搜索的方法来找到最优的对齐方案。通过在搜索的过程中引入束搜索的思想,对搜索过程中遇到的状态进行删减,通过减少参与搜索的状态来对搜索过程进行加速,但是束搜索对状态的删减可能会导致最终不能够搜索到最优的对齐方案,最终的计算结果是对最终对齐方案的一个估计值。为了得到更优的对齐方案,提出一种新的基于频繁度的成本函数用于对齐。该成本函数通过倾向于优先选择更频繁出现的事件进行对齐,从而提高对齐效果,帮助更准确地找到最优对齐方案。实验证明,引入束搜索思想和计算新的成本函数的方法能够对搜索对齐方案进行加速,并获得较为准确的对齐结果。 展开更多
关键词 一致性检测 算法加速 准确 束搜索 成本函数
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 37 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部