-
题名模型检验在构件数据流测试中的应用
被引量：5
- 1
-
-
作者
曾红卫
缪淮扣
-
机构
上海大学计算机工程与科学学院
-
出处
《计算机科学与探索》
CSCD
2010年第12期1121-1130,共10页
-
基金
国家自然科学基金No.60970007
61073050
+2 种基金
上海市自然科学基金No.09ZR1412100
上海市科学技术委员会项目No.10510704900
上海市重点学科建设项目No.J50103~~
-
文摘
模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状态机到Kripke结构的转换方法,并建立了全定义覆盖和全使用覆盖准则的陷阱性质构造公式。陷阱性质将使模型检验器NuSMV输出反例,从而产生构件的数据流测试序列。
-
关键词
构件
数据流测试
模型检验
陷阱性质
-
Keywords
component
data flow testing
model checking
trap property
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于JPF的类数据流测试生成技术
被引量：4
- 2
-
-
作者
唐春艳
钟诚
-
机构
广西大学计算机与电子信息学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第21期78-80,共3页
-
基金
广西自然科学基金资助项目(桂科自0339008)
广西科技信息网络中心资助课题
-
文摘
通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JPF上实现。算法分析和实验结果表明,该算法能生成高效的方法调用序列并明显减少测试生成代价。
-
关键词
程序模型检测
数据流测试
类测试序列生成
JAVA
-
Keywords
program model check
dataflow test
generation of test sequences for classes
Java
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于支配关系的数据流测试用例生成方法
被引量：2
- 3
-
-
作者
吉顺慧
张鹏程
-
机构
河海大学计算机与信息学院
-
出处
《计算机科学》
CSCD
北大核心
2020年第9期40-46,共7页
-
基金
国家自然科学基金(61702159)
江苏省自然科学基金(BK20170893)。
-
文摘
程序控制流的设计是为实现正确的数据流服务的,数据流测试是非常重要的。文中将面向all-uses数据流准则的测试用例生成问题建模为多目标优化问题,提出了一种基于遗传算法的测试用例生成方法。通过构建待测程序的控制流图进行数据流分析,计算出程序中所有的定义-使用对,得到测试目标,利用面向多测试目标的遗传算法生成满足all-uses准则的最优解。遗传算法中定义了一种改进的基于支配关系的适应度函数,在分析测试用例对定义-使用对的覆盖程度时考虑了存在重定义的可能性,且考虑了定义结点和使用结点在执行路径中的先后顺序。实验结果表明,所提方法可以有效地生成满足all-uses准则的测试用例,相比其他方法可以有效地提升测试目标的覆盖率,降低生成测试用例所需的迭代次数。
-
关键词
数据流测试
测试用例生成
遗传算法
适应度函数
支配结点
-
Keywords
Data flow testing
Test case generation
Genetic algorithm
Fitness function
Dominance node
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于数据流的类测试技术研究
被引量：3
- 4
-
-
作者
张雪萍
范中山
王家耀
庄雷
-
机构
解放军信息工程大学测绘学院
河南工业大学计算机科学系
河南省交通科学技术研究院
郑州大学信息工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第9期40-42,共3页
-
基金
国家自然科学基金项目(编号:69873040)
河南省教育厅自然科学研究项目(编号:2003520260)
河南省高校青年骨干教师项目
-
文摘
面向对象软件测试已成为软件工程领域的一个重要研究课题,其中,类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于数据流的类测试技术。
-
关键词
面向对象
软件测试
数据流测试
类测试
-
Keywords
Object-Oriented,software testing,data flow testing,class testing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于数据流的组件测试
- 5
-
-
作者
曾红卫
周建云
-
机构
上海大学计算机工程与科学学院
-
出处
《应用科学学报》
CAS
CSCD
北大核心
2007年第6期621-626,共6页
-
基金
国家自然科学基金(60673115)
软件工程国家重点实验室开放基金(SKLSE05-13)资助项目
-
文摘
用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法.按照全使用数据流测试准则,自动生成组件流图的定义-使用路径集.
-
关键词
组件状态机
数据流测试
组件流图
最短定义一使用路径
-
Keywords
component state machine
data flow testing
component flow graph
the shortest du-path
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于扩展有限状态机测试序列生成方法研究
被引量：3
- 6
-
-
作者
蒋凡
魏蓉
郐吉丰
-
机构
中国科学技术大学计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第7期62-64,74,共4页
-
文摘
扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。
-
关键词
扩展有限状态机
有限状态机
测试序列生成
数据流测试
可执行性
-
Keywords
EFSM
FSM.test sequence generation
data flow testing
executability
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向对象类簇级测试中控制依赖分析方法研究
被引量：6
- 7
-
-
作者
毛澄映
卢炎生
-
机构
华中科技大学计算机科学与技术学院
-
出处
《计算机工程与科学》
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
[自动化与计算机技术—计算机软件与理论]
-
