公开(公告)号：CN104317773A

公开(公告)日：2015-01-28

申请号：CN201410589530.4

申请日：2014-10-28

Applicant: 南京大学

Inventor： 汤恩义 ,  刘璐 ,  方园 ,  李宣东 ,  冯世宁 ,  张庆垒

IPC: G06F17/10

Abstract: 本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法，该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件，然后引入可满足性模求解器来求解这些收集到的符号条件约束，并最终直接获得估计结果。由于避免了反复执行程序，相比于传统的动态估计方法，本发明的方法具有更为高效、准确等优点。所分析的结果可以帮助程序设计、开发、维护人员用于性能优化、能耗估计、实时性分析等计算机应用技术领域。

公开(公告)号：CN106095679B

公开(公告)日：2018-10-16

申请号：CN201610408581.1

申请日：2016-06-12

Applicant: 南京大学

Inventor： 汤恩义 ,  王伟成 ,  成浩亮 ,  张初成 ,  冯世宁 ,  潘敏学 ,  李宣东 ,  赵祖威 ,  杨开懋

IPC: G06F11/36

Abstract: 本发明提出了一种基于手绘识别的图形界面测试用例生成方法，该方法针对目前图形界面的测试用例生成存在手工测试成本过高，脚本测试难度过大等问题，通过利用手绘草图识别技术来辅助测试用例的生成过程，使得移动设备软件和个人计算机软件的图形界面交互测试变得更为简便、高效。

公开(公告)号：CN104317773B

公开(公告)日：2017-05-24

申请号：CN201410589530.4

申请日：2014-10-28

Applicant: 南京大学

Inventor： 汤恩义 ,  刘璐 ,  方园 ,  李宣东 ,  冯世宁 ,  张庆垒

IPC: G06F17/10

Abstract: 本发明提出了一种递归最大执行频度与最大执行深度的静态估计方法，该方法通过静态扫描程序源代码以定位递归作用域并收集递归中函数调用与返回的执行条件，然后引入可满足性模求解器来求解这些收集到的符号条件约束，并最终直接获得估计结果。由于避免了反复执行程序，相比于传统的动态估计方法，本发明的方法具有更为高效、准确等优点。所分析的结果可以帮助程序设计、开发、维护人员用于性能优化、能耗估计、实时性分析等计算机应用技术领域。

公开(公告)号：CN106095679A

公开(公告)日：2016-11-09

申请号：CN201610408581.1

申请日：2016-06-12

Applicant: 南京大学

Inventor： 汤恩义 ,  王伟成 ,  成浩亮 ,  张初成 ,  冯世宁 ,  潘敏学 ,  李宣东 ,  赵祖威 ,  杨开懋

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F11/3692

Abstract: 本发明提出了一种基于手绘识别的图形界面测试用例生成方法，该方法针对目前图形界面的测试用例生成存在手工测试成本过高，脚本测试难度过大等问题，通过利用手绘草图识别技术来辅助测试用例的生成过程，使得移动设备软件和个人计算机软件的图形界面交互测试变得更为简便、高效。