本论文为关于契约式类论文怎么写,关于基于契约式设计的VeriJava编程语言设计相关毕业论文开题报告,可用于契约式论文写作研究的大学硕士与本科毕业论文开题报告范文和优秀学术职称论文参考文献资料下载。免费教你怎么写契约式及计算机工程及计算机软件方面论文范文。

[摘 要]:文章定义了VeriJava语言系统的语法和词法,并将契约式设计条件实现,对于实践而言,以ECLIPSE插件为基础,简要介绍了VeriJava开发工具包,实现了VeriJava程序利用开发工具即可创建.并在VeriJava插件工具包中集成了动态检查工具,可动态检查程序.

[关 键 词]ʍ

关于契约式类论文范例06;编程动态检查VeriJava契约式设计

随着网络信息化及计算机技术的不断飞跃发展,契约式设计理念被多种编程语言支持,其中,主流编程语言就是J**A.为了使J**A从语言级别对契约式设计形成支持,开发以契约编程为基础的模式,在保留J**A原有特性前提下,扩展J**A语言,于是诞生了VeriJava.契约式设计科提高对软件的可靠性.在契约式设计中,软件系统作为互相交流的部件,而部件相互之间的义务被定义为契约.基于契约式设计的VeriJava编程语言设计参考属性评定

有关论文范文主题研究:

关于契约式的文章

大学生适用:

学校学生论文、专科论文

相关参考文献下载数量:

28

写作解决问题:

学术论文怎么写

毕业论文开题报告:

文献综述、论文选题

职称论文适用:

刊物发表、职称评中级

所属大学生专业类别:

学术论文怎么写

论文题目推荐度:

优秀选题

一、契约式设计的定义及其对程序开发的意义

契约式设计是一种设计计算机软件的方法,且构建的软件具有高可靠性与高质量,该方法对软件设计者提出要求,则为软件组件定义接口,且该接口是可验证、精确的、正式的.近些年来,无论是技术上还是理论上,契约式设计都取得了前所未有的成绩,受到工业领域和学术界的广泛关注,且契约式编程概念也随之诞生.J**A平台也有了诸多不同的技术支持契约式技术,例如:JCONTRACTOR以及ICONTRACT等技术.将契约式设计引入程序中后,该设计的引入大幅增强了软件系统完备性和充实性,可通过契约式设计的引入优点来了解其深远意义.契约式设计不会混淆接口文档,书写清晰;可控制和减少调试产生的开销,利用监测可将错误及时发现;分离常规应用与契约检查,控制、降低测试成本;以契约式设计为基础实现异常情况的有效、安全处理;使人更好了解及操控继承机制;该设计能够给软件部件创建文档;确保质量,并且为测试、除错提供出高效率框架;深化软件构造和面向对象方法的理解.

写契约式论文指导

播放:33904次 评论:5413人

该文转载于 http://www.eduxue.com/jiaoxue/020433984.html

二、VERIJ**A语言的设计、定义与特性

在对语义进行定义之前,应说明与契约条件相适用的通式,由布尔表达式构成常量、前置、后置这3种条件的.由框架条件、前置条件、后置条件共同构成了方法契约,方法契约由进行定义.若未指定三个元素,则说明无需对满足契约的情况进行校验.这样定义的好处是为了在VeriJava中J**A程序不会因契约不足而不合法.在限定程序行为的同时,VeriJava语言中的方法契约自身不会将程序的状态改变.除了PRIVATE方法之外,方法契约适用于任何方法.通过扩展J**A语言,VeriJava语言系统对语法和语义进行了全新定义,是契约式设计成为现实.在VeriJava语言的规定下,契约成为接口和类的一部分,布尔表达式能够实现契约条件的编写.对于原有的J**A语法语义,VeriJava没有进行改写,这样设计时考虑到与J**A程序更好兼容.

契约校验可在方法执行前后进行,这是契约式设计中最为关键的概念.方法契约被VeriJava定义全面覆盖.方法本身可被覆写或被重载,且拥有的标识符也不同,对此应对继承类结构进行考虑.以布尔表达式的形式,将契约表达式放置于方法体和方法签名之间.如果没有将子句编写上,那么后置条件与前置条件为true.方法契约并非适合所有方法,特别是PROTRCTED和PUBLIC方法会对其展开应用.因为PRIVATE方法是PROTECTED和PUBLIC方法的辅助实现,对外不可见,所以外界不会因此产生交互.

三、VERIJ**A工具包

以ECLIPSE插件技术为基础的开放式工具集合就是VeriJava工具包.工具包实现功能诸多,包括动态检查器、编辑器、视图、NATURE、向导等.VeriJava源文件及工程可通过VeriJava工具包来创建.VeriJava源文件的扩展名为vj,而命名规则相同于J**A文件.因为BUILD扩展名已经在工具包中实现,因此在保存过程中,就会对VeriJava的编译器调用.ECLIPSE扩展点可实现新功能的添加.例如:想将新的一项内容加入菜单,可利用ECLIPSE扩点实现.该扩展点一旦实现,同时就建立一个扩展,不仅如此,该扩展还能创新建立属于自己的扩展点,由此得知,递归性是这种插件模式所特有的.通过不同扩展点,也能够不断实现VeriJava语言系统功能.工程类别属性的唯一标识就是NATURE,在.PROJECT文件中能够找到.在拥有多个NATURE属性的工程中导入与NATURE条件相符的工具或试图,且以vjnatrer为VeriJava的NATRER,在工程中导入VeriJava插件时,会对vjnatuer是否存在于该工程中进行检查,如果不存在,则无法使用VeriJava工具.

四、结束语

契约式设计是一种设计计算机软件的方法,将契约式设计引入程序中后,该设计的引入大幅增强了软件系统完备性和充实性,以契约式设计为基础实现异常情况的有效、安全处理;使人更好了解及操控继承机制.在限定程序行为的同时,VeriJava语言中的方法契约自身不会将程序的状态改变.方法契约被VeriJava定义全面覆盖.方法本身可被覆写或被重载,且拥有的标识符也不同,对此应对继承类结构进行考虑.以布尔表达式的形式,将契约表达式放置于方法体和方法签名之间.对VeriJava工具包的不断优化及完善有助于深入分析.通过工具包的建立,为研究VeriJava程序提供支持.应用该工具便于VeriJava程序的创建及编写.与此同时,VeriJava工具包还整合了插件,如动态检查工具,软件研发人员可直接动态验证程序.随着不断深入的契约编程研究,如描述面向对象的UML中引入契约式设计等,不断迎接新的挑战.

参考文献:

[1]朱鹏程,管致锦,卫丽华.可逆编程语言R-J**A及其语言处理系统的设计[J].计算机工程与设计,2013(10).

[2]焦继业,穆荣,郝跃.快速设计高性能有符号乘法器电路的编程语言研究[J].电子学报,2013(11).

[3]黄奉孝,高艳华,张学军.基于嵌入式构件的编程语言融合技术研究[J].计算机工程与设计,2012(11).

参考文献:

java契约式编程,关于契约式类论文范例,与基于契约式设计的VeriJava编程语言设计相关毕业论文开题报告...相关推荐

  1. 计算机审计技术论文,工作类论文范例,与计算机技术在经济责任审计中的应用相关毕业论文格式范文...

    这是一篇工作类专科毕业论文范文,与计算机技术在经济责任审计中的应用相关毕业论文格式范文.是世界经济专业与工作及数据及模式方面相关的免费优秀学术论文范文资料,可作为工作方面的大学硕士与本科毕业论文开题报 ...

  2. java实训答辩ppt_基于JavaSwing的工作考勤管理系统设计与实现毕业论文+开题报告+实习报告+实习日历+答辩PPT+项目源码...

    工作考勤管理系统 摘    要 考勤管理员的考勤的工作不仅工做量大,而且时效性强.在过去,企业多采用签到和报表式进行管理,效率和透明度较差.计算机技术特别是数据库技术的发展为企业建立管理信息系统,对改 ...

  3. java科技论文20000字_科学小论文范文 科学小类毕业论文开题报告范文2万字

    <科学小活动,精彩大世界> 该文是科学小类论文范文集与科学类毕业论文开题报告范文. [摘 要]作为幼儿园五大领域活动之一的科学教育活动,其本身所蕴含的自然科学属性更加强调培养儿童自主探究和 ...

  4. 计算机常用存储芯片分为内存和什么,计算机类论文范例,与安徽省计算机一级考试宝典相关研究生毕业论文开题报告范文...

    计算机类论文范例,与安徽省计算机一级考试宝典相关研究生毕业论文开题报告范文 关于计算机及计算机系统及山东自考方面的免费优秀学术论文范文,计算机类论文答辩开场白,关于安徽省计算机一级考试宝典相关论文范例 ...

  5. 提高计算机网络可靠性开题报告,计算机网络类论文范文素材,与提高计算机网络可靠性的方法(二)相关研究生毕业论文开题报告范文...

    计算机网络类论文范文素材,与提高计算机网络可靠性的方法(二)相关研究生毕业论文开题报告范文 关于计算机网络及可靠性及计算机方面的免费优秀学术论文范文,计算机网络类论文下载,关于提高计算机网络可靠性的方 ...

  6. 计算机网络故障防范措施,关于计算机网络类论文范文素材,与计算机网络故障的处理与防范措施相关在职毕业论文范文...

    关于计算机网络类论文范文素材,与计算机网络故障的处理与防范措施相关在职毕业论文范文 关于计算机网络及计算机及计算机网络故障方面的免费优秀学术论文范文,关于计算机网络类发表论文,关于计算机网络故障的处理 ...

  7. [译]Flutter 响应式编程:Steams 和 BLoC 实践范例

    原文:Reactive Programming - Streams - BLoC - Practical Use Cases 是作者 Didier Boelens 为 Reactive Program ...

  8. (论文分析)基于契约理论和贝叶斯匹配博弈的分层多址边缘计算卸载

    论文题目:Computation Offloading in Hierarchical Multi-Access Edge Computing Based on Contract Theory and ...

  9. Java高并发编程:同步工具类

    内容摘要 这里主要介绍了java5中线程锁技术以外的其他同步工具,首先介绍Semaphore:一个计数信号量.用于控制同时访问资源的线程个数,CyclicBarrier同步辅助类:从字面意思看是路障, ...

最新文章

  1. C++中的new和delete用法
  2. 公司内部流量控制案例
  3. python中seaborn画swarm图_Python可视化 | Seaborn5分钟入门(四)——stripplot和swarmplot
  4. 魔术笔反选_魔术二传手反图案
  5. Logstash入门简介
  6. 语义分割最新指南2019版
  7. 初学C#中遇到的问题!
  8. Bailian2801 填词 POJ1629 ZOJ1546 Fillword【排序】
  9. Codeforces #662C Binary Table
  10. ORB:新一代 Linux 应用
  11. 计算机网络基础试题2,计算机网络基础试题库2
  12. openwrt路由器打印机服务器设置_OPENWRT网络打印机TCP/IP共享设置教程 以703N为例...
  13. 简单理解有监督学习、无监督学习、强化学习
  14. SQL*Net message to client
  15. C#,深入浅出全接触
  16. element-ui弹出层置于遮罩层下面问题
  17. 国庆回家计划满满最后却摆烂这件事(解决?)
  18. Cannot use JSX unless the ‘--jsx‘ flag is provided.
  19. 怎样最大程度获得谷歌精选摘要(featured snippets)
  20. dxf geojson 转换_wkt转换geojson

热门文章

  1. Alicia Keys and NGB
  2. docker镜像私服registry的安装
  3. debian-7.11.0-amd64用xrdp远程桌面连接时键盘错乱的修复
  4. Elasticsearch:使用 Docker 来安装 FSCrawler 并摄入 Word 及 PDF 文件
  5. 给 Word 文档中的公式自动编号
  6. Hoops编程指南:04_3_user_interaction_window_system_interaction
  7. php 元组,C++_浅析C++标准库元组(tuple)源码,一、什么是元组 元组不是什 - phpStudy...
  8. matlab关于bp神经网络,关于matlab的BP神经网络
  9. 修改mysql数据目录
  10. 走进印度 探秘班加罗尔高科技园区