基于契约式设计的VeriJava编程语言设计

发布时间：2021-02-25 02:43

　　契约式设计是一种以Java语言为主流编程的技术手段,无论是在VeriJava编程语言程序开发中,还是在C++、S#等语言开发中,都被程序开发者广泛使用.对VeriJava编程语言以契约式设计理论的程序设计进行分析研究,将契约式设计理念引入到面向对象编程技术开发中,从而实现契约的编写与程序分离. 

【文章来源】：江苏第二师范学院学报. 2014,30(11)

【文章页数】：3 页

【部分图文】：

VeriJava语言系统的整体架构

ぐ??诰蔡?嘁肫鞯姆段е?冢?饩托枰??用编译器来完整契约校验．因此，本文则重点分析动态的执行期契约检查．动态检查主要是利用契约动态检查的工作原理进行某个转换程序的转换，通过将契约条件转换为符合面向对象的Java语句，并对断言语句进行判断，若契约条件检验失败，系统将以异常的形式将错误信息报告给程序开发人员．在动态检查中，采用面向方面的编程的实现方式，其简称为AOP，将面向方面编程的实现方式应用在动态检查中，不仅可以充分体现出代码的灵活性，也可以明确表达设计的程序与类中组件之间契约．图2表示基于AOP的契约动态检查，分析面向方面的编程(AOP)的概念，对于AOP中的切面(Aspect)，其是对象操作过程中权限检查、日志、事物处理等截面，对于AOP中的Advice，则主要是对某个连接点所采用的处理逻辑，在Java领域中，最为成熟的则属于Aspect技术．在契约动态检查中，其主要发生在程序执行到某些特性的阶段，契约动态检查实际上是一种横切关注点分离的方式．比如面向对象语言中某个对象的调用，在调用之前，首先应对契约中的前置条件、后置条件和常量进行校验，程序开发人员可以在单独的模块中利用面向方面的编程技术来编写语言，充分利用契约中的声明条件．采用面向方面的编程技术，不仅优化了横切关注点的建模，也方便程序开发人员对系统进行合理设计、理解和维护，提高代码的产量和质量，使AOP技术更有益于实现追加的特性．图2契约组件设计与实现架构图4结束语VeriJava是一种原有Java的拓展语言系统，通过构建全新的VeriJava语言系统来实现Java编程语言支持契约式设计，即在契约式设计理论下通过利用含有契约的方法进行编写契约，当程序编写完成后，采用基于AOP的契约动态检查工具对编写的代码?

【参考文献】：
期刊论文
[1]基于用例契约化的测试用例生成策略[J]. 何丹丹,王立娟,刘瑞杰.  西南师范大学学报(自然科学版). 2013(11)
[2]一种使用AspectJ技术的Java契约式编程语言模型[J]. 陈平,夏敏.  东北电力大学学报. 2011(03)
[3]支持契约式设计的Java静态验证器的研究[J]. 章程,赵建军,沈备军,陈昊鹏.  计算机应用与软件. 2008(05)
[4]一种Java平台上契约式语言的设计与实现[J]. 刘振安,王文涛.  测控技术. 2008(01)

硕士论文
[1]基于元数据的Java平台契约式设计框架研究[D]. 顾毅.上海交通大学 2008



本文编号：3050315