课题基金 / 基金详情

基于流分析的分布式Java程序模型检查技术研究

批准号：
60673155
项目类别：
面上项目
资助金额：
27.0 万元
负责人：
张大方
依托单位：
湖南大学
学科分类：
计算机网络
结题年份：
2009
批准年份：
2006
项目状态：
已结题
项目参与者：
缪力、黎文伟、范年柏、黄昆、谢鲲、曾彬、赵丹、金秀、郭伟
关键词：
并发过程间流分析谓词抽象分布式系统Java语言模型检查

项目摘要

结项摘要

项目成果

张大方的其他基金

相似基金

相关文献

中文摘要
高可靠的分布式系统迫切需要模型检查技术来验证程序的时态逻辑性质，以弥补一般软件测试技术之不足。分布式Java程序的模型检查有三个难点：并发过程间程序的可达性分析不可判定，导致分布式程序的控制结构缺乏精确的模型检查算法；Java程序面向对象的特性致使模型提取困难；并发/分布式特性使得谓词抽象算法效率低下。本项目拟采用流分析作为分布式Java程序模型检查的算法基础，研究参数化的并发过程间流分析近似算法以解决并发过程间流分析的不可判定问题。通过类型分析理论研究Java程序多态性问题，提取较精确的并发扩展下推系统模型。针对Java程序的并发结构和实际协议程序特点，提出适用于分布式Java程序的高效谓词抽象算法。开发Java程序模型检查工具，验证分布式系统协议逻辑性质，增强分布式系统可靠性。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
一种基于Linux内核的高效包分类算法
DOI： --
发表时间： --
期刊： 计算机工程
影响因子： --
作者： [谢 鲲, 雷渊明, 杨虎, 何施茗, 张大方]
通讯作者： 张大方
On evaluating the differences of TCP and ICMP in network measurement
评估TCP和ICMP在网络测量中的差异
DOI： 10.1016/j.comcom.2006.09.015
发表时间： 2007
期刊： Computer Communications
影响因子： 6
作者： [Li Wenwei, Xie Gaogang, Zhang Dafang, Yang Jinmin]
通讯作者： Yang Jinmin
端到端最小时延可测性的排队分析与仿真
DOI： --
发表时间： --
期刊： 湖南大学学报
影响因子： --
作者： [谢高岗, 黎文伟, 曾彬, 张大方]
通讯作者： 张大方
Non-travelling wave solutions to a (3+1)-dimensional potential-YTSF equation and a simplified model for reacting mixtures
(3 1) 维势 YTSF 方程的非行波解和反应混合物的简化模型
DOI： 10.1016/j.chaos.2006.04.005
发表时间： 2007-11
期刊： Chaos Solitons & Fractals
影响因子： 7.8
作者： [Xuan, Heng-Nong, Zhang, Ting-Xuan, Wang, Chang-Ji, Zhang, Da-Fang]
通讯作者： Zhang, Da-Fang
共 38 条
    面向智慧城市交通系统的时空大数据挖掘技术研究及应用
    • 批准号：
      61976087
    • 项目类别：
      面上项目
    • 资助金额：
      56.0万元
    • 批准年份：
      2019
    • 负责人：
      张大方
    • 依托单位：
      湖南大学
    基于图形处理单元的高性能网络包处理技术研究
    • 批准号：
      61472130
    • 项目类别：
      面上项目
    • 资助金额：
      84.0万元
    • 批准年份：
      2014
    • 负责人：
      张大方
    • 依托单位：
      湖南大学
    基于多核处理器的高性能深度数据包检测技术研究
    • 批准号：
      61173167
    • 项目类别：
      面上项目
    • 资助金额：
      57.0万元
    • 批准年份：
      2011
    • 负责人：
      张大方
    • 依托单位：
      湖南大学
    基于模型检查的软件错误定位技术研究
    • 批准号：
      90718008
    • 项目类别：
      重大研究计划
    • 资助金额：
      50.0万元
    • 批准年份：
      2007
    • 负责人：
      张大方
    • 依托单位：
      湖南大学
    国内基金
    海外基金