基于契约式设计的Java编译器实现  

Implementation of the Compiler for VeriJava

作　　者：张嘉铭[1] 张思博[1] 赵建军[1] 

机构地区：[1]上海交通大学软件学院软件工程中心

出　　处：《微型电脑应用》2007年第3期14-16,4,共3页Microcomputer Applications

摘　　要：本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善。The paper introduces the realization of a compiler of DBC Java which is called VeriJava.For the verification from the precondition and postcondition,the developers can assure the integrity of the method in logical.And it can help the developers to find out the problems of the design or the misunderstandings between programmers.The compiler supports this language and gives the programmers a good environment for better design and programming.

关 键 词：DBC 契约式设计 JAVA 编译器 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]