期刊文献+
共找到103篇文章
< 1 2 6 >
每页显示 20 50 100
基于多谓词语义框架的长短语文本相似度计算 被引量:3
1
作者 王景中 杨彬彬 何云华 《计算机工程与设计》 北大核心 2018年第4期1022-1028,1052,共8页
已有的文本相似度计算方法处理长短语时只考虑比较其核心词部分,但核心词的修饰词也会对语义造成一定影响,导致文本相似度计算结果不够准确。为此提出基于多谓词语义框架的长短语文本相似度计算,将文本内容进行多谓词语义框架填充,利用... 已有的文本相似度计算方法处理长短语时只考虑比较其核心词部分,但核心词的修饰词也会对语义造成一定影响,导致文本相似度计算结果不够准确。为此提出基于多谓词语义框架的长短语文本相似度计算,将文本内容进行多谓词语义框架填充,利用依存句法分析法将长短语构建成短语树,采用层次分析法确定树层权值,结合不同层次的结点相似度得出长短语相似度。对句子、短篇和长篇文本相似度计算的实验分析结果表明,该方法达到了较高准确性,且准确性随文本数量增加而提高。 展开更多
关键词 文本相似度 语义框架 多谓词 依存句法分析 层次分析
在线阅读 下载PDF
基于创客文化的实验室开放平台建设研究与探索 被引量:47
2
作者 胡福文 徐宏海 +2 位作者 张超英 毕松 丁维龙 《实验技术与管理》 CAS 北大核心 2015年第7期244-248,共5页
创客是新工业革命的弄潮儿,是未来个性化制造模式的推动者。创新型人才培养实践教学活动和创客活动本质上是一致的,基于这一点首先阐明了人才培养创客化的基本内涵。进一步基于创客文化,结合实验室创客平台建设的实践历程,阐述了在自制... 创客是新工业革命的弄潮儿,是未来个性化制造模式的推动者。创新型人才培养实践教学活动和创客活动本质上是一致的,基于这一点首先阐明了人才培养创客化的基本内涵。进一步基于创客文化,结合实验室创客平台建设的实践历程,阐述了在自制造环境建设、开发硬件平台建设、团队建设和实验室文化建设等方面开展的有益探索。最后客观分析了实验室创客平台发展建设过程中存在的实际问题,提出了实现实验室创客平台可持续发展的应对策略。 展开更多
关键词 创客文化 自制造 实验室开放
在线阅读 下载PDF
GitHub开源软件开发过程中影响因素的相关性分析 被引量:18
3
作者 杨波 于茜 +2 位作者 张伟 吴际 刘超 《软件学报》 EI CSCD 北大核心 2017年第6期1330-1342,共13页
通过分析GitHub开源软件的开发过程,提出了问题解决速度、问题增加速度等影响因素,并对这些影响因素间的相关性进行了分析.经过实验证明了有些影响因素之间存在一定的相关性.同时,根据实验的结果还给出了针对GitHub开源软件开发过程的... 通过分析GitHub开源软件的开发过程,提出了问题解决速度、问题增加速度等影响因素,并对这些影响因素间的相关性进行了分析.经过实验证明了有些影响因素之间存在一定的相关性.同时,根据实验的结果还给出了针对GitHub开源软件开发过程的一些建议. 展开更多
关键词 GitHub 影响因素 相关性分析 开源软件 数据挖掘
在线阅读 下载PDF
基于移动社交网络的O2O教学模式研究 被引量:56
4
作者 王若宾 杜春涛 张白波 《中国电化教育》 CSSCI 北大核心 2015年第12期113-119,共7页
智能手机极大地改变了人们使用互联网的方式,但不当使用也会影响课堂教学。该文提出一种创新的基于移动社交网络的O2O教学模式,通过移动社交网络连接课堂学习和课外学习,不仅解决了手机课堂使用不当的问题,还扩展了学习的广度和深度。... 智能手机极大地改变了人们使用互联网的方式,但不当使用也会影响课堂教学。该文提出一种创新的基于移动社交网络的O2O教学模式,通过移动社交网络连接课堂学习和课外学习,不仅解决了手机课堂使用不当的问题,还扩展了学习的广度和深度。教学实践的数据分析表明,该模式能够提高学生的出勤率、电子学习资源使用频率以及学习成绩,在教师引导、模式新颖性、工具开放性以及师生互动等方面获得较高的学生评价,同时学生普遍认为该模式下学习积极性和学习成就感较高。该研究为以移动社交网络为工具进行O2O教学模式设计提供了重要参考。 展开更多
关键词 移动社交网络 O2O 教学模式
在线阅读 下载PDF
一种正交分解大数据处理系统设计方法及实现 被引量:12
5
作者 向小佳 赵晓芳 +2 位作者 刘洋 龚关俊 张晗 《计算机研究与发展》 EI CSCD 北大核心 2017年第5期1097-1108,共12页
MapReduce等计算框架的出现开启了大数据处理新纪元,以Hadoop,Spark为代表的大数据处理系统具有大吞吐率、跨平台、高可扩展的优势,并得到广泛应用.然而,为避免与具体的操作系统、硬件平台绑定,这些系统的设计与优化集中在计算模型、调... MapReduce等计算框架的出现开启了大数据处理新纪元,以Hadoop,Spark为代表的大数据处理系统具有大吞吐率、跨平台、高可扩展的优势,并得到广泛应用.然而,为避免与具体的操作系统、硬件平台绑定,这些系统的设计与优化集中在计算模型、调度算法等方面,无法充分利用底层平台的优势.提出了一种基于正交分解的大数据处理系统设计与优化方法,将系统分解为松耦合的多个功能正交的模块,使存储、处理功能分离出来,交给能够利用底层平台操作系统甚至硬件资源的存储、执行引擎,原大数据系统退化为调度平台;进而,提出基于锁无关机制的存储底层优化策略和基于指令超级优化的执行引擎底层优化策略.以此为指导,以Hadoop作为兼容和改进的对象,实现了原型大数据处理系统Arion.Arion既能保持Hadoop的跨平台、高可扩展的优势,又能消除任务执行的瓶颈,其本地化的设计与优化手段对非Hadoop平台同样有效.通过在原型系统上的实验证明,Arion能够提升大数据处理任务的执行效率,最高达7.7%. 展开更多
关键词 大数据处理系统 计算框架 本地化 锁无关 超级优化 执行引擎
在线阅读 下载PDF
基于模糊神经网络的程序设计能力、实践与创新能力评价方法 被引量:10
6
作者 张永梅 马礼 +2 位作者 孙海燕 付昊天 周奇 《实验室研究与探索》 CAS 北大核心 2017年第2期18-22,共5页
为了有利于解决现有评价方法计算复杂,过多地将专家意见等主观因素引入到评价体系中,建立了计算机专业本科生程序设计能力、实践与创新能力的3级评价指标。由于模糊神经网络汇集了神经网络与模糊理论的优点,集学习、联想、识别、信息处... 为了有利于解决现有评价方法计算复杂,过多地将专家意见等主观因素引入到评价体系中,建立了计算机专业本科生程序设计能力、实践与创新能力的3级评价指标。由于模糊神经网络汇集了神经网络与模糊理论的优点,集学习、联想、识别、信息处理于一体,能够更加真实地反映人脑对于外界信息的处理;采用模糊神经网络设计实现了程序设计能力、实践与创新能力评价方法。实验结果表明,该方法可以较为合理、全面、客观地评价计算机专业学生的编程、实践与创新能力,有利于发现教学、实践环节中的不足之处,进一步培养经济社会发展急需的信息产业人才。 展开更多
关键词 编程能力 实践能力 模糊神经网络 评价方法
在线阅读 下载PDF
基于云架构的交通感知数据集成处理平台 被引量:12
7
作者 赵卓峰 丁维龙 韩燕波 《计算机研究与发展》 EI CSCD 北大核心 2016年第6期1332-1341,共10页
海量、多源、不间断的交通感知数据环境下,如何提供集成化的交通感知数据处理支持是多样化交通应用实施中的难点.现有的通用计算框架及平台由于缺少对具有时空相关等特征的交通感知数据和应用间交通感知数据共享的支持,使得交通感知数... 海量、多源、不间断的交通感知数据环境下,如何提供集成化的交通感知数据处理支持是多样化交通应用实施中的难点.现有的通用计算框架及平台由于缺少对具有时空相关等特征的交通感知数据和应用间交通感知数据共享的支持,使得交通感知数据处理应用的开发存在较高的复杂性并且易于造成大量重复的数据跨节点传输而影响应用性能.针对此问题,通过分析交通感知数据及其处理需求特征,提出一种基于可跨应用共享的时空数据对象的交通感知数据处理模型,通过引入时空数据对象这一新的概念抽象并提供易并行划分的时空数据对象组织及共享支持,实现分布计算中对时空型交通感知数据的优化管理.在此基础上,设计并实现了交通感知数据集成处理平台.通过实际应用和基于真实交通数据的实验测试表明:该平台相对于传统的交通感知数据处理方法及系统在性能及扩展性等方面均具有一定的优势. 展开更多
关键词 云架构 交通感知数据 时空数据对象 实时MapReduce 流计算
在线阅读 下载PDF
基于数据链的软件故障定位方法 被引量:9
8
作者 杨波 吴际 刘超 《软件学报》 EI CSCD 北大核心 2015年第2期254-268,共15页
软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考... 软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果. 展开更多
关键词 故障定位 数据流 变量 数据链 软件测试
在线阅读 下载PDF
基于JDBC的数据访问优化技术 被引量:14
9
作者 韩兵 江燕敏 方英兰 《计算机工程与设计》 北大核心 2017年第8期1991-1996,2031,共7页
为使Web应用系统能够有效、快速地访问数据,分析当前Web系统三层框架有关数据缓存和访问优化的技术,通过对JDBC接口原理及实现技术的深入研究,提出基于JDBC的数据自主识别、前置驻留与快速访问的策略和实现方案。使用key-value存储机制... 为使Web应用系统能够有效、快速地访问数据,分析当前Web系统三层框架有关数据缓存和访问优化的技术,通过对JDBC接口原理及实现技术的深入研究,提出基于JDBC的数据自主识别、前置驻留与快速访问的策略和实现方案。使用key-value存储机制,通过客户端-应用层的快照数据快速访问机制提升Web系统综合性能。测试结果表明,该方案能够有效提高Web系统在数据访问的响应速度,实现多客户端的数据共享,具有一定的普适性和推广价值。 展开更多
关键词 JAVA数据库连接 数据识别 数据前置 访问过滤 快照数据
在线阅读 下载PDF
面向发电设备预测性维护的传感数据特征抽取方法 被引量:11
10
作者 张守利 苏申 +1 位作者 刘晨 韩燕波 《太原理工大学学报》 CAS 北大核心 2018年第1期79-85,共7页
针对发电厂海量传感器数据,基于相关系数最大化的曲线排齐算法,提出了一种面向多传感序列的特征抽取方法,此方在尽量避免信息丢失的前提下,实现高维传感数据的特征抽取,建立轻量级预测模型。通过实验表明,本文方法能够在保证预测准确度... 针对发电厂海量传感器数据,基于相关系数最大化的曲线排齐算法,提出了一种面向多传感序列的特征抽取方法,此方在尽量避免信息丢失的前提下,实现高维传感数据的特征抽取,建立轻量级预测模型。通过实验表明,本文方法能够在保证预测准确度的前提下,减少预测模型的训练时间,降低模型的计算开销。 展开更多
关键词 预测性维护 特征提取 延迟相关 轻量级模型
在线阅读 下载PDF
复杂事件模式检测与CEP测试数据生成算法研究 被引量:6
11
作者 赵会群 孙晶 +1 位作者 杨岩坤 毛立志 《计算机学报》 EI CSCD 北大核心 2017年第1期256-272,共17页
随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件... 随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件处理(Complex Event Processing,CEP)技术被认为是一种有希望征服大数据挑战的技术之一.然而,当事件流成为大数据时,目前的CEP模型、事件模式检测和CEP系统测试数据生成的方法和技术都存在很多不足.文章针对这一问题讨论了复杂事件建模、模式检测与测试数据的生成方法.提出一种CEP代数模型,用多种事件算子来表达事件之间的关系和事件流模型.在这里,一个创新的思想是把CEP代数模型表达式解释成算术文法产生式,从而可以用词法分析技术解决复杂事件模式检测问题.为了有效地测试复杂事件模式检测的算法,基于CEP代数模型,提出了一个用于支持上述CEP模式检测的大数据事件集的生成算法.并由此生成了不同量级的测试数据,测试了一个RFID物联网中CEP模式检测引擎.实验结果表明了提出的事件模式检测算法和CEP系统测试大数据事件集生成算法的有效性. 展开更多
关键词 复杂事件处理 事件模式检测 测试数据生成 大数据 代数模型
在线阅读 下载PDF
矿井回风喷淋换热器换热效率数学模型研究 被引量:6
12
作者 杜春涛 朱元忠 +1 位作者 孟国营 甘延标 《煤炭工程》 北大核心 2015年第10期104-107,共4页
为揭示矿井回风喷淋换热器中回风与液滴之间热质交换机理,首先利用气水热质交换理论确定制热工况下换热器中回风与液滴状态变化过程,然后基于气水热交换平衡方程以及冷却干燥过程中气水热交换的全热交换效率和通用热交换效率模型,建立... 为揭示矿井回风喷淋换热器中回风与液滴之间热质交换机理,首先利用气水热质交换理论确定制热工况下换热器中回风与液滴状态变化过程,然后基于气水热交换平衡方程以及冷却干燥过程中气水热交换的全热交换效率和通用热交换效率模型,建立了回风换热器制热工况下热交换效率数学模型,对指导回风换热器的设计及运行具有重要意义。 展开更多
关键词 矿井回风喷淋换热器 换热效率 数学模型 气水热交换
在线阅读 下载PDF
基于距离约束稀疏/组稀疏编码的自动图像标注 被引量:4
13
作者 臧淼 徐惠民 张永梅 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2016年第5期78-83,共6页
为解决图像自动标注中的语义鸿沟问题,有效选择并利用图像特征,提出基于距离约束稀疏/组稀疏编码(distance constraint sparse/group sparse coding,DCSC/DCGSC)的2种特征选择算法,并分别应用到图像自动标注任务中。考虑到不同特征基相... 为解决图像自动标注中的语义鸿沟问题,有效选择并利用图像特征,提出基于距离约束稀疏/组稀疏编码(distance constraint sparse/group sparse coding,DCSC/DCGSC)的2种特征选择算法,并分别应用到图像自动标注任务中。考虑到不同特征基相似性对图像语义相似性的贡献不同,定义了度量二者相关性的距离约束正则项。将该正则项分别集成到稀疏/组稀疏编码的特征选择模型中,使选择的特征在保证稀疏性/组稀疏性的同时,优先选择与语义相似性描述最接近的视觉特征基。利用在训练图像集中学习的特征权值,寻找测试图像的K最近邻(Knearest neighbor,KNN)图像,并通过标签转移实现图像标注。在Corel5K图像库上测试标注性能,集成多特征的DCGSC查准率、查全率和标注正确的关键词个数可达32%、34%和151,优于其他相关标注算法。而对于单特征图像,使用DCSC也能改善标注性能。可见,距离约束对特征选择和图像标注是有效的。 展开更多
关键词 自动图像标注 距离约束 稀疏编码 组稀疏编码 特征选择 K最近邻
在线阅读 下载PDF
一种基于S3C6410的BootLoader的设计与实现 被引量:6
14
作者 吴磊 皮智 袁宗胜 《计算机应用与软件》 CSCD 2016年第9期238-244,共7页
引导加载程序(BootLoader)是嵌入式系统开发的关键技术之一,主要用于建立操作系统的运行环境。针对BootLoader严重依赖于硬件实现的问题,提出一种基于"NAND Flash+TFTP"存储下载方式的BootLoader设计方法,并采用OK6410开发板... 引导加载程序(BootLoader)是嵌入式系统开发的关键技术之一,主要用于建立操作系统的运行环境。针对BootLoader严重依赖于硬件实现的问题,提出一种基于"NAND Flash+TFTP"存储下载方式的BootLoader设计方法,并采用OK6410开发板对该BootLoader进行实验验证。实验结果表明该BootLoader运行良好且稳定。该设计方法可以广泛地应用到嵌入式系统和其他的处理器中。 展开更多
关键词 引导加载程序 嵌入式系统 S3C6410
在线阅读 下载PDF
基于变量影响分析与数据变异的回归测试用例生成 被引量:3
15
作者 杨波 吴际 刘超 《计算机学报》 EI CSCD 北大核心 2016年第11期2372-2387,共16页
故障修复后,程序员还需验证那些与修复故障相关的区域是否还存在故障或者引入了新的故障,这时有可能需要补充新的测试用例.现有研究大多依赖符号执行等技术,这样可能导致状态空间过大.且现有的研究统一地来考虑程序中控制流相关的故障... 故障修复后,程序员还需验证那些与修复故障相关的区域是否还存在故障或者引入了新的故障,这时有可能需要补充新的测试用例.现有研究大多依赖符号执行等技术,这样可能导致状态空间过大.且现有的研究统一地来考虑程序中控制流相关的故障和数据流相关的故障,但程序中控制流相关的故障与数据流相关的故障存在区别.由于程序运行时的行为与变量密切相关,并且在人工程序调试时程序员经常会关注变量的状态变化.因此该文提出了一种基于变量影响分析和数据变异的回归测试用例方法,通过分析程序中动态执行的变量状态的变化,提炼出了一种变量行为模型,该模型描述了变量自身的状态变化和变量间的依赖关系.利用变量行为模型来找到影响故障的语句集合,基于该语句集合并利用数据变异的方法可以有针对性地补充测试用例.经过实验验证,基于变量影响分析和数据变异的回归测试用例方法,在针对数据流相关的故障修复情况进行验证时效果明显,且要优于随机测试用例生成方法和基于路径覆盖的测试用例生成方法. 展开更多
关键词 故障修复 影响分析 变量 数据变异 回归测试
在线阅读 下载PDF
面向可交互式智慧鱼群的权重动态约束的粒子群方法 被引量:3
16
作者 蔡兴泉 布尼泓灏 +1 位作者 李梦璇 李凤霞 《系统仿真学报》 CAS CSCD 北大核心 2016年第10期2490-2496,共7页
针对粒子群算法在短程迭代的状况下搜索精度差、波动大、粒子状态考证不足的问题,提出了一种面向可交互式智慧鱼群的权重动态约束的粒子群算法。根据粒子状态将粒子群进行分离,对粒子群进行动态约束管理,并使用"系数收敛管理器&qu... 针对粒子群算法在短程迭代的状况下搜索精度差、波动大、粒子状态考证不足的问题,提出了一种面向可交互式智慧鱼群的权重动态约束的粒子群算法。根据粒子状态将粒子群进行分离,对粒子群进行动态约束管理,并使用"系数收敛管理器"的概念保留了粒子间的差异化运动。设定估价函数,采用权重动态约束,完成粒子群的快速求解,并使之应用于智慧鱼群模拟。结果表明,在大规模虚拟生物集群移动中,权重动态约束效果最好;完成智慧鱼群运动时,明显优于普通粒子群算法,且速度明显加快。该方法已经很好的用在了自主开发的虚拟水族馆系统中,运行稳定可靠。 展开更多
关键词 智慧鱼群 权重动态约束 粒子群 估价函数
在线阅读 下载PDF
复合结构光子晶体耦合腔波导慢光特性研究 被引量:5
17
作者 刘文楷 孙耀 董小伟 《激光技术》 CAS CSCD 北大核心 2017年第4期591-595,共5页
为了设计能够传输宽带低色散慢光的光子晶体波导,以三角晶格圆形介质柱光子晶体结构为基础,使用圆形散射元和椭圆形散射元进行周期性排列,采用平面波展开法对所设计的耦合腔波导进行了仿真分析。结果表明,调整缺陷行椭圆形散射元长轴R_... 为了设计能够传输宽带低色散慢光的光子晶体波导,以三角晶格圆形介质柱光子晶体结构为基础,使用圆形散射元和椭圆形散射元进行周期性排列,采用平面波展开法对所设计的耦合腔波导进行了仿真分析。结果表明,调整缺陷行椭圆形散射元长轴R_a可以使导模最大群速度从0.035c降低到0.01c,调节缺陷行短轴R_b的值,可以再次降低导模群速度;通过改变微腔周围第1排两种散射元的面积比,能够得到最大群速度0.0065c,波长范围为3.25nm的低色散慢光;将所设计的耦合腔应用于光缓存中,计算得出缓存时间为76.82ps,存储容量达到了15.56bit。这项研究对新型光子晶体慢光器件的设计和应用具有参考意义。 展开更多
关键词 集成光学 慢光 平面波展开法 群速度 光子晶体耦合腔
在线阅读 下载PDF
基于逆向工程的扭曲文档图像恢复 被引量:5
18
作者 童立靖 陈静 《计算机工程与设计》 北大核心 2016年第4期964-968,共5页
为解决扭曲文本图片光学字符识别率低的问题,提出基于逆向工程的文档图像扭曲恢复算法。用三维扫描仪采集书本三维模型,运用OpenGL库打开obj文件,依次进行基于书籍平面的正向投影和基于离散点坐标值的拉伸校正,对由厚度造成的书籍文字... 为解决扭曲文本图片光学字符识别率低的问题,提出基于逆向工程的文档图像扭曲恢复算法。用三维扫描仪采集书本三维模型,运用OpenGL库打开obj文件,依次进行基于书籍平面的正向投影和基于离散点坐标值的拉伸校正,对由厚度造成的书籍文字的扭曲现象进行校正,产生展平书页的逆向效果。实验结果表明,该算法可有效提高OCR识别率。 展开更多
关键词 光学字符识别 逆向工程 三维模型 扭曲校正 投影
在线阅读 下载PDF
一种由接收端发起的无线传感器网络MAC协议 被引量:5
19
作者 马礼 高洪磊 +1 位作者 马东超 邱庆媛 《数据采集与处理》 CSCD 北大核心 2016年第4期719-727,共9页
在无线传感器网络(Wireless sensor networks,WSN)中,现有的基于接收节点发起的异步MAC层协议,在计算接收节点唤醒时刻时,多采用维持邻居节点的伪随机唤醒时间表的方法。在网络动态负载条件下,此方法不能动态地改变节点唤醒间隔,从而带... 在无线传感器网络(Wireless sensor networks,WSN)中,现有的基于接收节点发起的异步MAC层协议,在计算接收节点唤醒时刻时,多采用维持邻居节点的伪随机唤醒时间表的方法。在网络动态负载条件下,此方法不能动态地改变节点唤醒间隔,从而带来较高的数据传输冲突率及较大的数据传输延时。为了解决此问题,本文提出一种新协议HELD-MAC(High energy efficiency and low delay MAC),保证节点之间具有不同的唤醒时间,同时能够准确预测接收端唤醒时刻,而且接收端可以根据网络负载情况动态改变唤醒间隔。同时为了减轻能量黑洞问题,协议根据节点的剩余能量,自适应地改变节点的最小唤醒间隔。通过仿真对HELD-MAC进行评估,与RI-MAC,PW-MAC等对比,在数据传输延时、能量消耗、网络吞吐量和传输碰撞方面具有较大优势。 展开更多
关键词 无线传感器网络 自适应 接收端 异步
在线阅读 下载PDF
基于模型代数的基本路径集的自动生成 被引量:5
20
作者 赵会群 卢飞 《计算机科学》 CSCD 北大核心 2017年第4期114-117,共4页
路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键。考虑... 路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键。考虑到依赖程序控制流图生成基本路径集的低效性,提出基于模型代数的基本路径集的自动生成方法。该方法通过分析被测程序,自动生成程序的模型代数表达式,并在模型代数表达式的基础上生成基本路径集。最后通过经典案例证明了该方法的有效性。 展开更多
关键词 路径测试 白盒测试 基本路径集 模型代数
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部