数据流测试

作品数：15被引量：27H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：张鹏程吉顺慧曾红卫马魏缪淮扣更多>>
相关机构：河海大学上海大学北京邮电大学华中科技大学更多>>
相关期刊：《软件导刊》《计算机工程与应用》《计算机科学与探索》《通信学报》更多>>
相关基金：国家自然科学基金国防科技技术预先研究基金上海市教育委员会重点学科基金上海市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于支配关系的数据流测试用例生成方法被引量：2
《计算机科学》2020年第9期40-46,共7页吉顺慧 张鹏程 
国家自然科学基金(61702159);江苏省自然科学基金(BK20170893)。
程序控制流的设计是为实现正确的数据流服务的,数据流测试是非常重要的。文中将面向all-uses数据流准则的测试用例生成问题建模为多目标优化问题,提出了一种基于遗传算法的测试用例生成方法。通过构建待测程序的控制流图进行数据流分析...
关键词：数据流测试 测试用例生成 遗传算法 适应度函数 支配结点 
基于数据流约简的测试用例生成策略研究被引量：4
《软件》2018年第4期191-195,共5页杨子健 赵逢禹 
目前的测试用例生成技术生成的测试用例集对程序中的定义使用对的覆盖率很低。为了提高测试用例集对程序中定义使用对的覆盖率,本文提出了一种基于数据流约简的测试用例生成策略。该策略首先利用静态分析工具Da Te C与多态定义使用对DU...
关键词：面向对象系统 多态 测试用例 软件测试 控制流测试 数据流测试 
一种基于Web的结构化测试方法研究
《软件导刊》2014年第9期18-20,共3页杨丹 
介绍了一种基于Web的结构化测试方法——数据流测试。首先介绍了传统的数据流测试理论,接着从Web角度提出了基于Web的数据流测试方法,介绍了4种流图,并分5个级别对Web应用进行测试。
关键词：软件测试 WEB测试 数据流测试 
新宝来EPC灯亮
《汽车维修技师》2012年第12期92-92,共1页吴兴家 
正车型:新宝来。VIN:LFV2A2159B×××××××。行驶里程:17895km。故障现象:仪表EPC指示灯报警,熄火后重新启动,故障消失。曾因该故障更换过加速踏板传感器。故障诊断:此车因该故障更换过加速踏板传感器,使用了大约一个月左右故障重...
关键词：加速踏板 测量传感器 位置传感器 故障排除 故障诊断 控制单元 偶发性 数据流测试 发现问题 故障码 
模型检验在构件数据流测试中的应用被引量：5
《计算机科学与探索》2010年第12期1121-1130,共10页曾红卫 缪淮扣 
国家自然科学基金No.60970007;61073050;上海市自然科学基金No.09ZR1412100;上海市科学技术委员会项目No.10510704900;上海市重点学科建设项目No.J50103~~
模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状...
关键词：构件 数据流测试 模型检验 陷阱性质 
基于JPF的类数据流测试生成技术被引量：4
《计算机工程》2007年第21期78-80,共3页唐春艳 钟诚 
广西自然科学基金资助项目(桂科自0339008);广西科技信息网络中心资助课题
通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JP...
关键词：程序模型检测 数据流测试 类测试序列生成 JAVA 
基于数据流的组件测试
《应用科学学报》2007年第6期621-626,共6页曾红卫 周建云 
国家自然科学基金(60673115);软件工程国家重点实验室开放基金(SKLSE05-13)资助项目
用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法.按照全使用数据流测试准则,自动生成组件流图的定义-使用...
关键词：组件状态机 数据流测试 组件流图 最短定义一使用路径 
Petri网中基于E-CSPE约束的数据流测试
《重庆科技学院学报（自然科学版）》2007年第3期94-97,共4页张涌逸 
定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标。在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的测试路径空间爆炸问题。
关键词：PETRI网 E-CSPE约束 数据流测试 
基于扩展有限状态机测试序列生成方法研究被引量：3
《计算机工程与应用》2007年第7期62-64,74,共4页蒋凡 魏蓉 郐吉丰 
扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。
关键词：扩展有限状态机 有限状态机 测试序列生成 数据流测试 可执行性 
一种用于类的数据流测试中构造控制流图的算法
《昭通师范高等专科学校学报》2006年第5期26-28,共3页季秀兰 
分析类的数据流,说明数据的定义-使用对;给出构造类的控制流图的一种算法.
关键词：数据流测试 定义-使用对 控制流图 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部