数据流测试

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于JPF的类数据流测试生成技术被引量：4
《计算机工程》2007年第21期78-80,共3页唐春艳 钟诚 
广西自然科学基金资助项目(桂科自0339008);广西科技信息网络中心资助课题
通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JP...
关键词：程序模型检测 数据流测试 类测试序列生成 JAVA 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部