期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种应用于动态污点分析的路径自动生成方法
被引量:
2
1
作者
董国良
臧洌
+1 位作者
李航
甘露
《计算机与现代化》
2017年第7期32-37,41,共7页
在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术。借助二进制静态分析技术获取目标程序的指令序列,以基本块为粒度计算执行覆盖率,在目标程序动态执行中抓取其运行轨迹,由收集到的路径约束条件构造新的路径约束...
在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术。借助二进制静态分析技术获取目标程序的指令序列,以基本块为粒度计算执行覆盖率,在目标程序动态执行中抓取其运行轨迹,由收集到的路径约束条件构造新的路径约束条件,经约束求解生成覆盖其它路径的新的测试用例。借助虚拟化技术实现动态污点分析各用例的并行执行,较大幅度提高污点分析的路径覆盖率和执行效率。
展开更多
关键词
动态污点分析
路径自动生成
约束求解
代码覆盖率
下载PDF
职称材料
几何量测量路径自动生成方法
2
作者
何晓波
王宏涛
+1 位作者
陈琪
吴得信
《应用科技》
CAS
2010年第3期53-56,共4页
由于CCD摄像机无法一次拍摄到被测物体的所有轮廓,所以需要移动载物平台,便于CCD摄像机分数次拍摄被测物体的不同轮廓.文中提出了一种实现二维几何量测量的路径自动生成方法,用于实现载物平台的自动移动.该方法利用机器视觉和数控技术...
由于CCD摄像机无法一次拍摄到被测物体的所有轮廓,所以需要移动载物平台,便于CCD摄像机分数次拍摄被测物体的不同轮廓.文中提出了一种实现二维几何量测量的路径自动生成方法,用于实现载物平台的自动移动.该方法利用机器视觉和数控技术实现每移动一次载物平台完成一次被测物体分段轮廓图像的拍摄和处理,从而确定载物平台下一次的移动路径,最终实现被测物体完整轮廓坐标数据的自动采集.实验结果表明,运用设计的路径自动生成方法实现了被测物体轮廓坐标数据的自动提取.
展开更多
关键词
路径自动生成
机器视觉
数控技术
几何量测量
下载PDF
职称材料
基于调用图的类间MM路径自动生成方法研究
3
作者
何伟
赵瑞莲
朱群雄
《计算机研究与发展》
EI
CSCD
北大核心
2013年第2期332-343,共12页
在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提...
在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提出了一种基于调用图的面向对象软件类间MM路径自动生成方法,并通过大量实验,研究了采用类层次分析和安德森指向分析这2种典型调用图构建算法对生成MM路径的数量和时间花费的影响,进而分析了面向MM路径生成的测试用例集对被测程序的结构测试覆盖效果.实验结果表明:基于调用图的类间MM路径自动生成方法是确实可行的;采用安德森指向分析较类层次分析生成类间MM路径的数量平均增加13.11%,时间消耗却平均减少27.78%;此外,针对安德森指向分析生成的类间MM路径进行面向路径的测试用例自动生成,其生成的测试用例集对被测程序获得的结构覆盖率比采用类层次分析平均提高2%~7%.因此,对于基于调用图的面向对象软件类间集成测试路径生成,基于安德森指向分析较类层次分析生成类间MM路径的效率更高.
展开更多
关键词
MM
路径
调用图
类层次分析
安德森指向分析
面向对象软件的集成测试
面向
路径
的测试用例
自动
生成
下载PDF
职称材料
求解测试用例自动生成问题的多因子回溯搜索优化算法
被引量:
1
4
作者
胡中波
王旭鹏
《计算机应用》
CSCD
北大核心
2023年第4期1214-1219,共6页
路径覆盖测试用例自动生成(ATCG-PC)问题是自动化软件测试领域的热点。ATCG-PC问题中群智能进化算法常用的适应度函数之间具有高度的相似性,然而现有的解决ATCG-PC问题的群智能进化算法尚未考虑这一相似性特征。受相似性特征启发,将两...
路径覆盖测试用例自动生成(ATCG-PC)问题是自动化软件测试领域的热点。ATCG-PC问题中群智能进化算法常用的适应度函数之间具有高度的相似性,然而现有的解决ATCG-PC问题的群智能进化算法尚未考虑这一相似性特征。受相似性特征启发,将两个相似的适应度函数看作两个任务,从而将ATCG-PC问题转化为多任务ATCGPC问题,并提出了一种新的解决多任务ATCG-PC问题的群智能进化算法,即多因子回溯搜索优化算法(MFBSA)。所提算法通过多因子选择Ⅰ的记忆种群功能提高全局搜索能力,并通过选型记忆交配使得相似任务之间能够通过知识转移提高彼此的优化效率。在6个雾计算测试程序和6个自然语言处理测试程序上对所提算法性能进行了评价。与回溯搜索优化算法(BSA)、免疫遗传算法(IGA)、收敛速度控制器粒子群优化(PSO-CSC)算法、自适应粒子群优化(APSO)算法和超立方体差分进化(DE-H)算法相比,MFBSA覆盖12个测试程序上的路径所使用的测试用例总数分别减少了64.46%、66.64%、67.99%、74.15%和61.97%。实验结果表明,所提算法能够有效降低测试成本。
展开更多
关键词
路径
覆盖测试用例
自动
生成
相似性特征
多任务优化
记忆种群
知识转移
下载PDF
职称材料
海洋气象环境影响下的复杂水域船舶路径规划
被引量:
12
5
作者
谢新连
刘超
魏照坤
《重庆交通大学学报(自然科学版)》
CAS
CSCD
北大核心
2021年第2期1-7,20,共8页
为提高复杂水域船舶自动生成路径的安全性与经济性,将海洋气象环境因素考虑在内,以船舶避开障碍物为前提,设计了以航行时间最短为目标的路径规划算法。在建立环境模型的基础上采用改进MAKLINK图生成可行路径,根据矢量合成及拟合模型分...
为提高复杂水域船舶自动生成路径的安全性与经济性,将海洋气象环境因素考虑在内,以船舶避开障碍物为前提,设计了以航行时间最短为目标的路径规划算法。在建立环境模型的基础上采用改进MAKLINK图生成可行路径,根据矢量合成及拟合模型分析海流及风浪对船舶航速的影响,从而确定路径权值,通过Dijkstra算法进行初始路径规划,采用改进粒子群算法进一步优化及平滑初始路径。以一艘集装箱船通过规划海域为例验证算法的有效性,并对风向和风级进行了敏感性分析。结果表明:考虑海洋气象环境影响生成的路径既可安全避开障碍物,又可节省航行时间,改进粒子群算法在缩短路径航行时间的同时可提高路径的平滑性。
展开更多
关键词
交通运输工程
海洋气象
改进粒子群算法
复杂水域
路径自动生成
航速
时间最短
下载PDF
职称材料
黑启动辅助决策支持系统
被引量:
7
6
作者
赵子明
幺莉
+5 位作者
林济铿
李童飞
贾育培
蒲天骄
刘涛
郑卫洪
《中国电力》
CSCD
北大核心
2012年第5期81-86,共6页
针对电网黑启动的特点和要求,结合图形建模技术、数据库技术和电力系统分析计算技术开发了一套可视化的电网黑启动辅助决策支持系统。该系统将图形系统与数据库结合形成图-模一体化平台,具有界面友好、交互性强和功能完善等特点。该系...
针对电网黑启动的特点和要求,结合图形建模技术、数据库技术和电力系统分析计算技术开发了一套可视化的电网黑启动辅助决策支持系统。该系统将图形系统与数据库结合形成图-模一体化平台,具有界面友好、交互性强和功能完善等特点。该系统采用了基于规则的黑启动路径自动生成算法形成黑启动初始路径方案,既避免了人工提供黑启动初始路径的繁琐,又能避免合理路径的遗漏;系统中所包括的路径分析功能及数据管理,既相互独立,又能相互配合,而形成了一个完整的系统。该系统所提供的分析结果的导出功能,可方便地生成黑启动初步分析报告,从而大大减轻撰写分析报告的压力。实际应用证明了该系统的有效性和工程实用性。
展开更多
关键词
电力系统黑启动
决策支持系统
图-模一体化
路径自动生成
算法
下载PDF
职称材料
交互式虚拟内窥镜系统
被引量:
2
7
作者
王世文
杨兴强
吕伟
《山东大学学报(工学版)》
CAS
2005年第1期94-97,共4页
研究了交互式虚拟内窥镜系统的组成框架及其中的关键技术 .针对系统导航部分 ,设计了一种基于距离映射获取漫游路径的算法 ,并提出了相应的路径平滑技术 .在系统绘制部分 ,为了获得更光滑的器官表面显示效果 。
关键词
虚拟内窥镜
自动
路径
生成
路径
平滑
下载PDF
职称材料
题名
一种应用于动态污点分析的路径自动生成方法
被引量:
2
1
作者
董国良
臧洌
李航
甘露
机构
南京航空航天大学计算机科学与技术学院
江南计算技术研究所
出处
《计算机与现代化》
2017年第7期32-37,41,共7页
文摘
在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术。借助二进制静态分析技术获取目标程序的指令序列,以基本块为粒度计算执行覆盖率,在目标程序动态执行中抓取其运行轨迹,由收集到的路径约束条件构造新的路径约束条件,经约束求解生成覆盖其它路径的新的测试用例。借助虚拟化技术实现动态污点分析各用例的并行执行,较大幅度提高污点分析的路径覆盖率和执行效率。
关键词
动态污点分析
路径自动生成
约束求解
代码覆盖率
Keywords
dynamic taint analysis
path automatic generation
constraint solving
code coverage
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
几何量测量路径自动生成方法
2
作者
何晓波
王宏涛
陈琪
吴得信
机构
南京航空航天大学机电学院
江苏省计量科学研究院
出处
《应用科技》
CAS
2010年第3期53-56,共4页
基金
江苏省质量技术监督局科技基金资助项目(KY(2007)JX001Z)
文摘
由于CCD摄像机无法一次拍摄到被测物体的所有轮廓,所以需要移动载物平台,便于CCD摄像机分数次拍摄被测物体的不同轮廓.文中提出了一种实现二维几何量测量的路径自动生成方法,用于实现载物平台的自动移动.该方法利用机器视觉和数控技术实现每移动一次载物平台完成一次被测物体分段轮廓图像的拍摄和处理,从而确定载物平台下一次的移动路径,最终实现被测物体完整轮廓坐标数据的自动采集.实验结果表明,运用设计的路径自动生成方法实现了被测物体轮廓坐标数据的自动提取.
关键词
路径自动生成
机器视觉
数控技术
几何量测量
Keywords
automatic path generation
machine vision
numerical control technology
geometric parameter measurement
分类号
TP274 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
基于调用图的类间MM路径自动生成方法研究
3
作者
何伟
赵瑞莲
朱群雄
机构
北京化工大学计算机科学与技术系
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第2期332-343,共12页
基金
国家自然科学基金项目(61170082
61073035
60903002)
文摘
在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提出了一种基于调用图的面向对象软件类间MM路径自动生成方法,并通过大量实验,研究了采用类层次分析和安德森指向分析这2种典型调用图构建算法对生成MM路径的数量和时间花费的影响,进而分析了面向MM路径生成的测试用例集对被测程序的结构测试覆盖效果.实验结果表明:基于调用图的类间MM路径自动生成方法是确实可行的;采用安德森指向分析较类层次分析生成类间MM路径的数量平均增加13.11%,时间消耗却平均减少27.78%;此外,针对安德森指向分析生成的类间MM路径进行面向路径的测试用例自动生成,其生成的测试用例集对被测程序获得的结构覆盖率比采用类层次分析平均提高2%~7%.因此,对于基于调用图的面向对象软件类间集成测试路径生成,基于安德森指向分析较类层次分析生成类间MM路径的效率更高.
关键词
MM
路径
调用图
类层次分析
安德森指向分析
面向对象软件的集成测试
面向
路径
的测试用例
自动
生成
Keywords
MM path
call graph
class hierarchy analysis
testing of object-oriented software
path-oriented automatic Anderson's points-to analysis
integration test case generation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
求解测试用例自动生成问题的多因子回溯搜索优化算法
被引量:
1
4
作者
胡中波
王旭鹏
机构
长江大学信息与数学学院
出处
《计算机应用》
CSCD
北大核心
2023年第4期1214-1219,共6页
基金
国家自然科学基金资助项目(61972136)。
文摘
路径覆盖测试用例自动生成(ATCG-PC)问题是自动化软件测试领域的热点。ATCG-PC问题中群智能进化算法常用的适应度函数之间具有高度的相似性,然而现有的解决ATCG-PC问题的群智能进化算法尚未考虑这一相似性特征。受相似性特征启发,将两个相似的适应度函数看作两个任务,从而将ATCG-PC问题转化为多任务ATCGPC问题,并提出了一种新的解决多任务ATCG-PC问题的群智能进化算法,即多因子回溯搜索优化算法(MFBSA)。所提算法通过多因子选择Ⅰ的记忆种群功能提高全局搜索能力,并通过选型记忆交配使得相似任务之间能够通过知识转移提高彼此的优化效率。在6个雾计算测试程序和6个自然语言处理测试程序上对所提算法性能进行了评价。与回溯搜索优化算法(BSA)、免疫遗传算法(IGA)、收敛速度控制器粒子群优化(PSO-CSC)算法、自适应粒子群优化(APSO)算法和超立方体差分进化(DE-H)算法相比,MFBSA覆盖12个测试程序上的路径所使用的测试用例总数分别减少了64.46%、66.64%、67.99%、74.15%和61.97%。实验结果表明,所提算法能够有效降低测试成本。
关键词
路径
覆盖测试用例
自动
生成
相似性特征
多任务优化
记忆种群
知识转移
Keywords
Automated Test Case Generation for Path Coverage(ATCG-PC)
similarity feature
multitasking optimization
memory population
knowledge transfer
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
海洋气象环境影响下的复杂水域船舶路径规划
被引量:
12
5
作者
谢新连
刘超
魏照坤
机构
大连海事大学交通运输工程学院综合运输研究所
出处
《重庆交通大学学报(自然科学版)》
CAS
CSCD
北大核心
2021年第2期1-7,20,共8页
基金
国家重点研发计划资助项目(2017YFC0805309)
中央高校基本科研业务费专项资金资助项目(3132019303)。
文摘
为提高复杂水域船舶自动生成路径的安全性与经济性,将海洋气象环境因素考虑在内,以船舶避开障碍物为前提,设计了以航行时间最短为目标的路径规划算法。在建立环境模型的基础上采用改进MAKLINK图生成可行路径,根据矢量合成及拟合模型分析海流及风浪对船舶航速的影响,从而确定路径权值,通过Dijkstra算法进行初始路径规划,采用改进粒子群算法进一步优化及平滑初始路径。以一艘集装箱船通过规划海域为例验证算法的有效性,并对风向和风级进行了敏感性分析。结果表明:考虑海洋气象环境影响生成的路径既可安全避开障碍物,又可节省航行时间,改进粒子群算法在缩短路径航行时间的同时可提高路径的平滑性。
关键词
交通运输工程
海洋气象
改进粒子群算法
复杂水域
路径自动生成
航速
时间最短
Keywords
traffic and transportation engineering
marine meteorology
improved particle swarm optimization algorithm
complexed water areas
automatic path generation
ship's speed
shortest time
分类号
U692.31 [交通运输工程—港口、海岸及近海工程]
下载PDF
职称材料
题名
黑启动辅助决策支持系统
被引量:
7
6
作者
赵子明
幺莉
林济铿
李童飞
贾育培
蒲天骄
刘涛
郑卫洪
机构
天津大学电力系统仿真控制教育部重点实验室
中国电力科学研究院
天津市电力技术中心
天津市电力公司调度中心
出处
《中国电力》
CSCD
北大核心
2012年第5期81-86,共6页
文摘
针对电网黑启动的特点和要求,结合图形建模技术、数据库技术和电力系统分析计算技术开发了一套可视化的电网黑启动辅助决策支持系统。该系统将图形系统与数据库结合形成图-模一体化平台,具有界面友好、交互性强和功能完善等特点。该系统采用了基于规则的黑启动路径自动生成算法形成黑启动初始路径方案,既避免了人工提供黑启动初始路径的繁琐,又能避免合理路径的遗漏;系统中所包括的路径分析功能及数据管理,既相互独立,又能相互配合,而形成了一个完整的系统。该系统所提供的分析结果的导出功能,可方便地生成黑启动初步分析报告,从而大大减轻撰写分析报告的压力。实际应用证明了该系统的有效性和工程实用性。
关键词
电力系统黑启动
决策支持系统
图-模一体化
路径自动生成
算法
Keywords
grid black-start
decision support system (DSS)
graph model integration
paths automatic generation algorithm
分类号
TM732 [电气工程—电力系统及自动化]
下载PDF
职称材料
题名
交互式虚拟内窥镜系统
被引量:
2
7
作者
王世文
杨兴强
吕伟
机构
山东大学计算机科学与技术学院
山东费县人民医院
出处
《山东大学学报(工学版)》
CAS
2005年第1期94-97,共4页
基金
国家自然科学基金 (60 173 0 5 2 )
山东省重点自然科学基金 (Z2 0 0 1G0 1)
文摘
研究了交互式虚拟内窥镜系统的组成框架及其中的关键技术 .针对系统导航部分 ,设计了一种基于距离映射获取漫游路径的算法 ,并提出了相应的路径平滑技术 .在系统绘制部分 ,为了获得更光滑的器官表面显示效果 。
关键词
虚拟内窥镜
自动
路径
生成
路径
平滑
Keywords
virtual endoscope
automatic path generation
smoothing of path
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种应用于动态污点分析的路径自动生成方法
董国良
臧洌
李航
甘露
《计算机与现代化》
2017
2
下载PDF
职称材料
2
几何量测量路径自动生成方法
何晓波
王宏涛
陈琪
吴得信
《应用科技》
CAS
2010
0
下载PDF
职称材料
3
基于调用图的类间MM路径自动生成方法研究
何伟
赵瑞莲
朱群雄
《计算机研究与发展》
EI
CSCD
北大核心
2013
0
下载PDF
职称材料
4
求解测试用例自动生成问题的多因子回溯搜索优化算法
胡中波
王旭鹏
《计算机应用》
CSCD
北大核心
2023
1
下载PDF
职称材料
5
海洋气象环境影响下的复杂水域船舶路径规划
谢新连
刘超
魏照坤
《重庆交通大学学报(自然科学版)》
CAS
CSCD
北大核心
2021
12
下载PDF
职称材料
6
黑启动辅助决策支持系统
赵子明
幺莉
林济铿
李童飞
贾育培
蒲天骄
刘涛
郑卫洪
《中国电力》
CSCD
北大核心
2012
7
下载PDF
职称材料
7
交互式虚拟内窥镜系统
王世文
杨兴强
吕伟
《山东大学学报(工学版)》
CAS
2005
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部