-
题名面向对象类簇级测试中控制依赖分析方法研究
被引量：6
- 1
-
-
作者
毛澄映
卢炎生
-
机构
华中科技大学计算机科学与技术学院
-
出处
《计算机工程与科学》
CSCD
2005年第8期65-69,共5页
-
基金
十五国防预研项目(41315.9.2)
-
文摘
类簇控制依赖信息是进行类间数据流测试的基础。本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特征进而增量式地构造类间控制流图(ICCFG算法),并初步探讨了动态控制依赖分析方法。实验表明,上述控制流分析方法可方便地用于类间数据流测试,并能有效地探测定义-使用错误。
-
关键词
类控制流图CCFG
类间控制流图ICCFG
类间关系
数据流测试
-
Keywords
class control flow graph
inter-class control flow graph class relationship
dataflow testing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名新的结构化测试数据自动生成方法
被引量：1
- 2
-
-
作者
马建红
辛政华
王磊
徐敏
-
机构
河北工业大学计算机科学与软件学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第10期2581-2586,共6页
-
基金
国家自然科学基金项目(50675059)
国家863高技术研究发展计划基金项目(2006AA042109)
+1 种基金
教育部博士点基金项目(20060080002)
天津市自然基金项目(07JCZDJC08900)
-
文摘
针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结果说明了该方法的可行性。根据得到的测试路径将GEMGA应用到测试数据的自动生成,TriType的实验结果表明,GEMGA能生成更高质量的数据,并适用于较大规模的程序。
-
关键词
数据流图
控制流图
结构测试
测试数据
基因表达散乱遗传算法
黑盒优化
搜索被构想为按级别排列的联系和类的框架
串链方法
-
Keywords
control flow graph
data flow graph
structural test
test data
GEMGA
BBO
search envisioned as relation and class hierarchizing （SEARCH）
chaining approach
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于跨基本块变换和循环分布的SLP优化技术
- 3
-
-
作者
索维毅
赵荣彩
姚远
张小妹
-
机构
解放军信息工程大学
解放军
-
出处
《计算机科学》
CSCD
北大核心
2013年第10期24-28,60,共6页
-
基金
核高基重大专项(2009ZX01036-001-001-2)资助
-
文摘
现有的SLP优化算法无法处理内层循环中存在的依赖环和归约,并且在基本块边界产生大量的冗余拆包和赋值语句,从而导致向量化效率不高。针对该问题,提出了一种基于跨基本块变换和循环分布的SLP优化算法。该算法以控制流图为基础,根据基本块间各数组变量的Define-Use关系以及跨越基本块之间的数据依赖关系进行跨基本块的向量化变换,有序地采用跨基本块变换和循环分布,尽可能发掘最内层循环基本块内语句的并行性,使SLP自动向量化编译器生成具有更多SIMD指令的向量化代码。实验结果表明,该算法能够隐藏更多跨基本块冗余操作的开销,同时利用跨基本块的数据依赖生成更优的SIMD指令,有效地提高了向量化程序的加速比。
-
关键词
SLP
跨基本块变换
循环分布
数据依赖
控制流图
Define-Use关系
-
Keywords
SLP, Cross basic block, Loop distribution, Data dependence, control flow graph, Define-Use relationship
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于面向对象程序代码的类测试技术
- 4
-
-
作者
郑学军
王春森
-
机构
复旦大学计算机科学系
-
出处
《计算机工程与设计》
CSCD
北大核心
1996年第6期58-64,共7页
-
文摘
面向对象软件的基本测试单元是类，文中提出了用一种基于代码的测试技术——数据流测试来全面地测试类。对类测试分为３级：单个成员函数的测试；公有成员函数的测试；公有成员函数间接口的测试。大多数现有的数据流测试可以对前两级进行测试，作者利用改进的数据流测试来测试第３级，通过构造类控制流图来计算数据流信息。这种技术即使在无规格说明的情况下也可以决定类中成员函数间消息传递的次序，根据这种次序来测试类。
-
关键词
程序代码
类测试
面向对象
-
Keywords
Object-oriented programming Data flow testing Encapsulation Data flow information class control flow graph
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
