循环和递归的分析方法研究
项目介绍
AI项目解读
基本信息
- 批准号:61872262
- 项目类别:面上项目
- 资助金额:65.0万
- 负责人:
- 依托单位:
- 学科分类:F0201.计算机科学的基础理论
- 结题年份:2022
- 批准年份:2018
- 项目状态:已结题
- 起止时间:2019-01-01 至2022-12-31
- 项目参与者:刘杨; 胡静; 谢肖飞; 白裕德; 张瑶; 李浩; 宫喜; 张昊笛; 肖洪波;
- 关键词:
项目摘要
Based on the challenges in loop summarization, recursive function summarization and termination analysis, this project will conduct the research on the key technologies of modeling and analyzing loops and recursive function. Specially, the research include three topics: 1) the difficulties of loop analysis including the summarization of non-induction integer variables, the summarization of integer array variables, the relationship between loop invariant and loop summary, and the loop summarization based on machine learning. 2) The difficulties of termination analysis based on the loop analysis and recursive function analysis including cycle reduction on the path dependent automaton (PDA), ranking function inference based on PDA and the lightweight termination analysis based on PDA. 3) The difficulties of recursive function including how to model, analyze and summarize recursive function. The team has made some achievements on the loop summarization and termination analysis in the previous research. We hope to continue to solve the challenges in loop analysis and recursive function analysis in this project. By applying the techniques in program correctness verification, software testing and termination analysis, we can improve the effectiveness and performance. Finally, the software quality can be better guaranteed.
本项目围绕循环总结,递归函数总结以及程序终止性分析三个问题来开展对循环和递归函数建模以及分析的关键技术进行研究。具体研究包括以下三方面:一,循环分析的难点问题:包括不可归纳整型变量的总结,整型数组变量的总结,循环不变量以及循环总结的关系研究以及基于机器学习的循环总结方法研究;二,基于循环与递归函数分析的程序终止性判定的难点问题:包括路径依赖自动机中环约减,基于路径依赖自动机的秩函数计算以及基于路径依赖自动机的轻量级终止性分析方法研究;三,递归函数分析的难点问题:包括递归函数建模、分析与总结。本团队在前期关于循环总结与终止性分析上已经取得了有效的成果,望在本课题中对循环与递归函数分析中的难点问题进一步攻克,并将该理论应用于程序正确性验证、软件测试以及终止性分析等实际应用中以提高其效果及性能,从而更好的保证软件质量。
结项摘要
为了解决程序分析中循环和递归的难点问题,本项目围绕循环分析与总结,递归分析与总结,以及程序终止性分析三个方面对循环和递归问题进行了研究。具体内容包括以下三个方面:1) 循环分析与总结:针对路径依赖自动机的环结构的分类和约减策略,基于路径依赖的整型数组循环总结方法,以及基于路径依赖的循环不变量生成方法。2)递归函数的分析与总结:包括现实程序中,针对非终止递归的细粒度分类,基于路径依赖的递归函数建模方法,以及基于路径依赖的递归函数总结和中终止性分析。3)程序终止性分析:包括基于路径依赖自动机的多路径线性循环终止性分析方法,并对现实程序的非终止性循环进行了分类,最后提出并实现了基于强化学习的程序性能退化性检测和定位技术。本团队在该课题上取得了一系列研究成果,该成果在国际顶级会议ASE, FSE,以及国际顶级期刊TSE,TOSEM, TDSC上发表。此外,课题组2019年获得CCF计算机学会优博论文1篇,2020年获得天津市科技进步一等奖1项。 本项目的研究,部分解决了1)如何对循环问题进行分类,建模,抽象,以及简化,2)如何对递归函数分类和建模,3)如何检测和分析实际程序中的循环与递归的非终止问题,三个主要的科学问题,为未来的相关研究提供了解题思路和研究方法。
项目成果
期刊论文数量(4)
专著数量(0)
科研奖励数量(5)
会议论文数量(23)
专利数量(6)
Demystifying Performance Regressions in String Solvers
揭秘字符串求解器中的性能回归
- DOI:10.1109/tse.2022.3168373
- 发表时间:2023-03
- 期刊:IEEE Transaction on Software Engineering
- 影响因子:--
- 作者:Yao Zhang;Xiaofei Xie;Yi Li;Yun Lin;Sen Chen;Yang Liu;Xiaohong Li
- 通讯作者:Xiaohong Li
Multi-label Classification for Android Malware Based on Active Learning
基于主动学习的Android恶意软件多标签分类
- DOI:10.1109/tdsc.2022.3213689
- 发表时间:2022
- 期刊:IEEE Transactions on Dependable and Secure Computing
- 影响因子:7.3
- 作者:Qijing Qiao;Ruitao Feng;Sen Chen;Fei Zhang;Xiaohong Li
- 通讯作者:Xiaohong Li
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
基于时间顺序标码的可计算的信任评价模型
- DOI:--
- 发表时间:--
- 期刊:计算机应用
- 影响因子:--
- 作者:李晓红;冯志勇;陈锦言;许光全
- 通讯作者:许光全
链格孢菌对空心莲子草致病性的研究
- DOI:--
- 发表时间:--
- 期刊:贵州农业科学
- 影响因子:--
- 作者:闫小红;王宁;周兵;彭峰;李晓红;钟娟
- 通讯作者:钟娟
2,7-二( 苄胺酰乙氧基) 萘稀土苦味酸配合物的合成、表征及其与DNA 的作用
- DOI:--
- 发表时间:2013
- 期刊:应用化学
- 影响因子:--
- 作者:霍丽娜;杨天林;李寒玉;李晓红
- 通讯作者:李晓红
基于气息图案法有序多孔薄膜的制备改性及应用进展
- DOI:--
- 发表时间:2011
- 期刊:高分子通报
- 影响因子:--
- 作者:于冰;王济磊;丛海林;李晓红;乔圣林
- 通讯作者:乔圣林
纤维混凝土抗压强度与电阻率相关性试验研究
- DOI:--
- 发表时间:2015
- 期刊:混凝土
- 影响因子:--
- 作者:元成方;赵卓;李晓红
- 通讯作者:李晓红
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}

内容获取失败,请点击重试

查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图

请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
李晓红的其他基金
预激MSCs-Exo基于miR-30a-5p/Drp1调控线粒体动力学缓解高原缺氧脑损伤的机制研究
- 批准号:82171861
- 批准年份:2021
- 资助金额:55 万元
- 项目类别:面上项目
3D打印NSCs水凝胶-胶原/丝素-分泌组微球“三丝成束”支架修复脊髓损伤的研究
- 批准号:81771352
- 批准年份:2017
- 资助金额:54.0 万元
- 项目类别:面上项目
泛在接入条件下移动应用安全关键技术研究
- 批准号:61572349
- 批准年份:2015
- 资助金额:66.0 万元
- 项目类别:面上项目
面向安全等级的安全需求工程方法与环境
- 批准号:61272106
- 批准年份:2012
- 资助金额:80.0 万元
- 项目类别:面上项目
基于攻击模式的可信软件的建模、度量与验证
- 批准号:90718023
- 批准年份:2007
- 资助金额:50.0 万元
- 项目类别:重大研究计划
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}