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

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 2 篇 符号执行
  • 2 篇 多项式系统实根求...
  • 1 篇 区间分析
  • 1 篇 测试用例自动生成
  • 1 篇 低秩矩量矩阵恢复...
  • 1 篇 测试用例生成
  • 1 篇 低秩矩量矩阵恢复

机构

  • 2 篇 华东师范大学
  • 1 篇 南京大学
  • 1 篇 中国科学院数学与...
  • 1 篇 温州大学

作者

  • 2 篇 王砺磊
  • 1 篇 杨争峰
  • 1 篇 陈鑫
  • 1 篇 曾霞
  • 1 篇 林望

语言

  • 2 篇 中文
检索条件"主题词=多项式系统实根求解"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具
收藏
分享
引用
系统科学与数学 2017年 第7期37卷 1704-1721页
作者： 王砺磊 曾霞 林望 陈鑫 杨争峰 华东师范大学上海市高可信计算重点实验室 上海200062 温州大学数学与信息科学学院 温州325035 中国科学院数学与系统科学研究院数学机械化重点实验室 北京100190 南京大学计算机软件新技术国家重点实验室 南京210023
现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于多项式约束求解的程序路径测试用例生成研究
基于多项式约束求解的程序路径测试用例生成研究
收藏
分享
引用
作者： 王砺磊 华东师范大学
学位级别：硕士
软件测试作为软件工程的基本过程之一,是确保软件质量的重要方法。测试用例自动生成技术作为软件测试的重要内容之一,能够增加软件测试的准确性、有效降低测试成本,具有广阔的发展前景。当前最常用的测试用例自动生成技术之一,就是符号... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件