-
题名基于事件处理函数的GUI测试用例集约简技术
被引量：4
- 1
-
-
作者
陈军成
薛云志
陶秋铭
赵琛
-
机构
中国科学院软件研究所基础软件测评实验室
基础软件国家工程研究中心(中国科学院软件研究所)
中国科学院大学
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第8期1871-1885,共15页
-
基金
国家自然科学基金(61100067
61100070)
国家重大科技专项(2012ZX01039-004)
-
文摘
GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果.
-
关键词
GUI测试用例
测试用例集约简
事件处理函数
定义-引用
冗余测试用例
-
Keywords
GUI test case
test suite reduction
event handler function
def-use
redundant test case
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名缓冲区溢出静态分析中的指针分析算法
被引量：4
- 2
-
-
作者
张明军
罗军
-
机构
国防科学技术大学计算机学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第18期41-43,107,共4页
-
基金
国家"863"计划软件重大专项基金资助项目"服务器操作系统内核"(2002AA1Z2101)
-
文摘
提出一个扩展的流不敏感指针分析算法,主要用于缓冲区溢出静态分析,该算法把程序控制流图(CFG)转换为静态单指派(SSA),然后循环调用一个流不敏感指针分析,生成每个指针变量精确的指向集,更新指针变量的定义-引用链中约束信息。在LLVM编译系统下实现了该算法,实验表明其精度和流敏感的指针分析算法相当,但效率高于流敏感指针分析算法,时间复杂度低于流敏感指针分析算法。
-
关键词
缓冲区溢出
指针分析
静态单指派
定义-引用链
-
Keywords
Buffer overflow
Pointer analysis： Static single assignment （SSA）
Define-use chain
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
