您的位置： 专家智库 > >

冯世宁

作品数：4 被引量：0H指数：0
供职机构：南京大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文专利

领域

  • 1篇自动化与计算...

主题

  • 2篇代码
  • 2篇递归
  • 2篇源代码
  • 2篇手绘草图
  • 2篇图形界面
  • 2篇作用域
  • 2篇基于手绘
  • 2篇交互测试
  • 2篇函数调用
  • 2篇草图
  • 2篇测试用例
  • 2篇测试用例生成
  • 2篇测试用例生成...
  • 2篇程序源代码
  • 1篇实时性
  • 1篇实时性分析
  • 1篇求解器
  • 1篇可满足性
  • 1篇估计方法

机构

  • 4篇南京大学

作者

  • 4篇李宣东
  • 4篇汤恩义
  • 4篇冯世宁
  • 2篇张庆垒
  • 2篇刘璐
  • 2篇方园
  • 2篇潘敏学
  • 2篇王伟成

年份

  • 1篇2018
  • 1篇2017
  • 1篇2016
  • 1篇2015
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种递归最大执行频度与深度的静态估计方法
本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法，该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件，然后引入可满足性模求解器来求解这些收集到的符号条件约束，并最终直接获得估计结...
汤恩义刘璐方园李宣东冯世宁张庆垒
文献传递
一种递归最大执行频度与深度的静态估计方法
本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法，该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件，然后引入可满足性模求解器来求解这些收集到的符号条件约束，并最终直接获得估计结...
汤恩义刘璐方园李宣东冯世宁张庆垒
文献传递
基于手绘识别的图形界面测试用例生成方法
本发明提出了一种基于手绘识别的图形界面测试用例生成方法，该方法针对目前图形界面的测试用例生成存在手工测试成本过高，脚本测试难度过大等问题，通过利用手绘草图识别技术来辅助测试用例的生成过程，使得移动设备软件和个人计算机软件...
汤恩义王伟成成浩亮张初成冯世宁潘敏学李宣东赵祖威杨开懋
基于手绘识别的图形界面测试用例生成方法
本发明提出了一种基于手绘识别的图形界面测试用例生成方法，该方法针对目前图形界面的测试用例生成存在手工测试成本过高，脚本测试难度过大等问题，通过利用手绘草图识别技术来辅助测试用例的生成过程，使得移动设备软件和个人计算机软件...
汤恩义王伟成成浩亮张初成冯世宁潘敏学李宣东赵祖威杨开懋
文献传递
全选 清除 导出
共1页<1>
聚类工具0