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

基本信息
批准号:60673155
项目类别:面上项目
资助金额:27.00
负责人:张大方
学科分类:
依托单位:湖南大学
批准年份:2006
结题年份:2009
起止时间:2007-01-01 - 2009-12-31
项目状态: 已结题
项目参与者:缪力,黎文伟,范年柏,黄昆,谢鲲,曾彬,赵丹,金秀,郭伟
关键词:
并发过程间流分析谓词抽象分布式系统Java语言模型检查
结项摘要

高可靠的分布式系统迫切需要模型检查技术来验证程序的时态逻辑性质,以弥补一般软件测试技术之不足。分布式Java程序的模型检查有三个难点:并发过程间程序的可达性分析不可判定,导致分布式程序的控制结构缺乏精确的模型检查算法;Java程序面向对象的特性致使模型提取困难;并发/分布式特性使得谓词抽象算法效率低下。本项目拟采用流分析作为分布式Java程序模型检查的算法基础,研究参数化的并发过程间流分析近似算法以解决并发过程间流分析的不可判定问题。通过类型分析理论研究Java程序多态性问题,提取较精确的并发扩展下推系统模型。针对Java程序的并发结构和实际协议程序特点,提出适用于分布式Java程序的高效谓词抽象算法。开发Java程序模型检查工具,验证分布式系统协议逻辑性质,增强分布式系统可靠性。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

EBPR工艺运行效果的主要影响因素及研究现状

EBPR工艺运行效果的主要影响因素及研究现状

DOI:10.16796/j.cnki.1000-3770.2022.03.003
发表时间:2022
2

一种基于多层设计空间缩减策略的近似高维优化方法

一种基于多层设计空间缩减策略的近似高维优化方法

DOI:10.1051/jnwpu/20213920292
发表时间:2021
3

复杂系统科学研究进展

复杂系统科学研究进展

DOI:10.12202/j.0476-0301.2022178
发表时间:2022
4

基于LS-SVM香梨可溶性糖的近红外光谱快速检测

基于LS-SVM香梨可溶性糖的近红外光谱快速检测

DOI:
发表时间:
5

基于多色集合理论的医院异常工作流处理建模

基于多色集合理论的医院异常工作流处理建模

DOI:
发表时间:2020

张大方的其他基金

批准号:90718008
批准年份:2007
资助金额:50.00
项目类别:重大研究计划
批准号:61173167
批准年份:2011
资助金额:57.00
项目类别:面上项目
批准号:60273070
批准年份:2002
资助金额:22.00
项目类别:面上项目
批准号:69973016
批准年份:1999
资助金额:12.00
项目类别:面上项目
批准号:60473031
批准年份:2004
资助金额:23.00
项目类别:面上项目
批准号:30973948
批准年份:2009
资助金额:8.00
项目类别:面上项目
批准号:81173597
批准年份:2011
资助金额:58.00
项目类别:面上项目
批准号:61472130
批准年份:2014
资助金额:84.00
项目类别:面上项目

相似国自然基金

1

SPMD程序设计模型——从Fortran到Java

批准号:69873004
批准年份:1998
负责人:李晓明
学科分类:F0204
资助金额:12.00
项目类别:面上项目
2

通用Java程序到实时Java程序的对象自动分类和转化方法研究

批准号:61272166
批准年份:2012
负责人:史晓华
学科分类:F0203
资助金额:81.00
项目类别:面上项目
3

分布式流处理程序的分析与验证

批准号:61872340
批准年份:2018
负责人:吴志林
学科分类:F0201
资助金额:63.00
项目类别:面上项目
4

Java构件的组合模型检验技术研究

批准号:60803042
批准年份:2008
负责人:文艳军
学科分类:F0201
资助金额:20.00
项目类别:青年科学基金项目