并发程序切片及其关键技术研究
批准号：
60873049
项目类别：
面上项目
资助金额：
28.0 万元
负责人：
戚晓芳
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2011
批准年份：
2008
项目状态：
已结题
项目参与者：
张迎周、王军、钱巨、曹璟、查日军、徐俊岭、余超、张伟、候俊
项目摘要
结项摘要
项目成果
戚晓芳的其他基金
相似基金
相关文献
中文摘要
并发程序切片是一种重要的并发程序分析方法。针对目前该领域中的若干关键问题，研究基于依赖性分析的并发程序切片理论，研究内容包括：(1)研究基于程序可达图的并发子程序内依赖性分析及切片方法,解决语句间依赖关系不可传递性问题，获取高精度的并发子程序内切片；(2)研究基于程序可达图的并发子程序间切片方法，解决语句间依赖关系不可传递性问题和上下文不敏感问题，获取高精度的并发子程序间切片；(3)研究程序可达图的约简技术，以提高分析效率，同时探论基于约简并发程序可达图在进行并发程序切片计算过程中的有关问题；(4)开展并发程序切片在并发程序分析、测试、维护及度量等方面的应用研究；(5)开发并发程序切片工具原型，获取相关实验数据。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
J. Software Engineering & Applications
影响因子：
--
作者：
[Yingzhou Zhang, Wei Fu, Xiaofei Qian, Wei Chen]
通讯作者：
Yingzhou Zhang, Wei Fu, Xiaofei Qian, Wei Chen
DOI：
--
发表时间：
--
期刊：
计算机科学与探索
影响因子：
--
作者：
[徐晓晶, 戚晓芳]
通讯作者：
戚晓芳
DOI：
--
发表时间：
--
期刊：
Journal of Southeast University(English Edition)
影响因子：
--
作者：
[Zha Rijun, Zhang Deping, Xu Baowen]
通讯作者：
Zha Rijun, Zhang Deping, Xu Baowen
DOI：
--
发表时间：
--
期刊：
Information and Software Technology
影响因子：
3.9
作者：
[Ju Qian, Lin Chen, Baowen Xu, Xiaofang Zhang]
通讯作者：
Ju Qian, Lin Chen, Baowen Xu, Xiaofang Zhang
DOI：
--
发表时间：
--
期刊：
计算机学报
影响因子：
--
作者：
[查日军, 张德平, 聂长海, 徐宝文]
通讯作者：
徐宝文
共 13 条
基于GUI模型的移动应用测试关键技术研究
-
批准号：61972082
-
项目类别：面上项目
-
资助金额：60.0万元
-
批准年份：2019
-
负责人：戚晓芳
-
依托单位：
并发程序测试及其关键技术研究
-
批准号：61472076
-
项目类别：面上项目
-
资助金额：82.0万元
-
批准年份：2014
-
负责人：戚晓芳
-
依托单位：
国内基金
海外基金