-
题名一种建立控制依赖子图的方法
被引量:2
- 1
-
-
作者
吕蕾
刘弘
李鑫
-
机构
山东师范大学信息科学与工程学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第15期50-52,共3页
-
文摘
提出一种基于GCC(GNU Compiler Collection)抽象语法树文本建立控制依赖子图的方法,消除抽象语法树文本中与分析控制流无关的信息,将消除冗余后的抽象语法树文本转化为以邻接表为存储结构的抽象语法树的算法,从而高效地完成了抽象语法树的解析。基于以邻接表为存储结构的抽象语法树建立了控制依赖子图。通过实验证明了该方法的正确性和适用性。
-
关键词
抽象语法树
抽象语法树文本
抽象语法树的解析
规范化的抽象语法树文本
冗余
控制依赖子图
-
Keywords
Abstract Syntax Tree(AST)
AST text
AST parsing
Canonical AST text
redundancy
control dependence sub-graph
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名过程内控制依赖的计算
被引量:2
- 2
-
-
作者
李慧贤
刘坚
-
机构
西安电子科技大学软件工程研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第22期78-80,共3页
-
基金
国家部委预研基金资助
-
文摘
对于广泛的软件维护和测试任务而言,控制依赖信息是很有用的。软件工程中控制依赖通常用来确定一条程序语句语义的变化是否影响其它程序语句的执行。控制依赖是在图论的后必经概念的基础上定义的,控制依赖关系的标准表示是控制依赖图(CDG)。论文着重介绍了一种计算过程内控制依赖的算法,并分析了该算法的时间和空间复杂度。
-
关键词
控制依赖
控制依赖图
后必经结点
-
Keywords
control dependence,CDG,postdominator
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种改进的计算控制依赖的算法
被引量:1
- 3
-
-
作者
姚辉萍
赵雷
李蓥
杨季文
-
机构
苏州大学计算机科学与技术学院江苏苏州
-
出处
《计算机应用与软件》
CSCD
2010年第11期13-15,34,共4页
-
基金
国家自然科学基金项目(60873047)
江苏省自然科学基金(BK2008154)
-
文摘
控制依赖是分析程序和程序并行化的基础。针对现有的计算控制依赖方法的不足,提出了一种改进的算法。该改进算法通过引入函数调用和返回引起的控制转移来计算函数间的控制依赖关系。最后通过实例验证了该改进算法比原算法更能准确地计算程序的控制依赖关系,比传统的内联方法更易于理解。
-
关键词
控制流图
后必经结点树
控制依赖
控制依赖图
-
Keywords
Control flow graph
Forward dominance tree
Control dependence
Control dependence graph
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于遗传算法的测试数据生成研究
被引量:14
- 4
-
-
作者
伦立军
丁雪梅
李英梅
-
机构
哈尔滨师范大学计算机科学系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2005年第23期82-84,共3页
-
基金
黑龙江省教育厅科技基金资助项目(10541098)
哈尔滨师范大学杰出青年基金资助项目
-
文摘
分析了软件测试的相关概念,提出了利用控制依赖图路径生成测试数据的方法,给出了一个完整的解决方案,通过具体实例表明其有效性。
-
关键词
软件测试
测试数据
遗传算法
控制依赖图路径
-
Keywords
Software testing
Test data
Genetic algorithm
Control dependence graph path
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名智能水滴算法在代码覆盖测试中的应用
被引量:1
- 5
-
-
作者
马竹根
舒少华
-
机构
怀化学院计算机科学与工程学院
怀化市铁路第一小学
-
出处
《软件》
2017年第5期22-26,共5页
-
基金
湖南省教育厅项目(16C1276)
武陵山片区生态农业智能控制湖南省重点实验室项目(ZNKZ2016-08)资助
-
文摘
代码覆盖在软件测试中得到了广泛应用,表示了代码被测试的程度。论文提出了一种利用智能水滴算法优化代码覆盖的算法,描述了如何把独立路径生成问题转换成智能水滴在控制依赖图的各边之间寻找最优路径的问题,通过生成带有权值的独立路径来自动生成测试序列,使得测试人员可以最优地安排测试顺序,保证充分的代码覆盖。
-
关键词
软件测试
控制依赖图
代码覆盖
独立路径
智能水滴算法
-
Keywords
Software testing
Control dependency graph
Code coverage
Independent path
Intelligent water drops algorithm
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-