公开(公告)号：CN104317773B

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

申请号：CN201410589530.4

申请日：2014-10-28

Applicant: 南京大学

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

IPC: G06F17/10

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

公开(公告)号：CN104317773A

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

申请号：CN201410589530.4

申请日：2014-10-28

Applicant: 南京大学

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

IPC: G06F17/10

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