咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 1 篇 材料科学与工程（可...
    • 1 篇 信息与通信工程

主题

  • 4 篇 程序模型检测
  • 2 篇 java
  • 1 篇 数据流测试
  • 1 篇 程序分析
  • 1 篇 pathfinder(jpf)
  • 1 篇 类间测试
  • 1 篇 spin
  • 1 篇 过程提取
  • 1 篇 测试用例生成
  • 1 篇 任务模块化
  • 1 篇 流分析
  • 1 篇 类测试序列生成
  • 1 篇 变异测试

机构

  • 2 篇 广西大学
  • 1 篇 湖南大学
  • 1 篇 西安交通大学

作者

  • 2 篇 唐春艳
  • 2 篇 钟诚
  • 1 篇 缪力
  • 1 篇 张德运
  • 1 篇 张大方
  • 1 篇 肖健宇
  • 1 篇 郑卫斌

语言

  • 4 篇 中文
检索条件"主题词=程序模型检测"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
程序模型检测的两阶段框架
收藏
分享
引用
计算机应用 2007年 第12期27卷 3089-3091页
作者： 缪力 张大方 湖南大学软件学院 长沙410082
模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法,它们都存在各自的局限性。基于对这两种程序模型检测方... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
过程提取用于改善程序模型检测的可伸缩性
收藏
分享
引用
西安交通大学学报 2006年 第6期40卷 630-633页
作者： 肖健宇 张德运 郑卫斌 西安交通大学电子与信息工程学院
针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状,提出用过程提取技术对待检的源代码进行预处理,以改善程序模型检测的可伸缩性.首先,将程序中一个选定的语句集合提取出来并包装成一个独立的过程,然后在原程序的相应... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
运用类复制变异和JPF技术生成类间测试用例
收藏
分享
引用
小型微型计算机系统 2009年 第8期30卷 1591-1595页
作者： 钟诚 唐春艳 广西大学计算机与电子信息学院 广西南宁530004
采用类复制变异方法,运用模型检测器Java PathFinder(JPF)来保证软件执行过程中产生的错误在输出结果中可见,同时将类间测试用例生成问题转化成模型检测中寻找反例的问题,自动生成满足变异覆盖准则的类测试用例,提出一种适用于类间调用... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于JPF的类数据流测试生成技术
收藏
分享
引用
计算机工程 2007年 第21期33卷 78-80页
作者： 唐春艳 钟诚 广西大学计算机与电子信息学院 南宁530004
通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JP... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件