Java程序模型验证中的程序建模问题研究_毕业论文范文网-论文范文

搜索高级搜索

原创毕业论文

Java程序模型验证中的程序建模问题研究

作者: 浏览:5次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
心理学论文范文
学前教育论文范文

收费计算机专业论文范文

收费计算机专业论文
Delphi
ASP
VB
JSP
ASP.NET
VB.NET
java
VC
pb
VS
dreamweaver
c#.net
vf
VC++
计算机论文

毕业论文范文题目：Java程序模型验证中的程序建模问题研究，论文范文关键词：Java程序模型验证中的程序建模问题研究
Java程序模型验证中的程序建模问题研究毕业论文范文介绍开始：
【论文摘要】：计算机系统的发展对软件提出了更高的要求,相应的提升软件质量这一课题的研究也日益受到从业人员的重视,而软件的可靠性、正确性是保证软件具有高质量的关键因素。目前,在实际的软件验证中,普遍采用的方法是对系统进行大规模的测试,通过输入多个测试用例并检查执行结果是否正确来发现（略..）系统中可能存在的问题,但是这种方法通常无法穷举系统所有可能的行为。近些年来,模型验证在验证硬件系统组件和通信协议上的应用已经相当成熟,把模型检测应用于软件系统的验证已经成为备受关注的焦点,且已取得显著成就。许多研究小组开发出了多种实用的软件模型验证工具,如SLAM、（此处忽略..）MAGIC、JPF等。模型验证技术成功应用于软件系统中的最大阻碍就是程序建模时的状态爆炸问题,本文结合NASAAmes的自动化软件工程小组开源项目JPF(JavaPathFinder),在建模—验证—模型细化框架下研究了Java程序模型验证的程序建模过程中缩减程序状态空（略..）间的两种方法:程序切片技术和抽象技术。本文的主要工作包括以下几个部分:1.介绍了在建模—验证—模型细化框架下对软件系统进行模型验证的方法。2.在对处理并发机制的并发流程语言(CFCL)进行了形式化描述的基础上,探讨了对多线程程序切片的正确性进行互模拟验证的方法,有效的保证了（此处忽略..）多线程切片的正确性。3.提出了正确构造多线程程序切片的方法。模型验证与规范化建模语言的紧密结合,极大的推动了验证自动化的发展。4.针对抽象技术的使用会出现反例路径“不可行”的情况,提出了验证反例路径可行性的两种方法:无选择路径搜索和抽象反例导向模拟。

以上为本篇毕业论文范文Java程序模型验证中的程序建模问题研究的介绍部分。

本论文在计算机论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

相关论文

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
艺术设计专业论文
采矿专业论文
环境工程专业论文
西班牙语专业论文
热能与动力设计论文
工程力学专业论文
酒店管理专业论文
安全管理专业论文
交通工程专业论文
体育教育专业论文
教育管理专业论文
日语专业论文
德语专业论文
理工科专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：单螺杆挤出机共挤控制系统研究

下一篇：结构健康智能监测系统集成研究