| 基于契约式设计的Java编译器实现 |
| |
| 引用本文： | 张嘉铭,张思博,赵建军.基于契约式设计的Java编译器实现[J].微型电脑应用,2007,23(3):14-16. |
| |
| 作者姓名： | 张嘉铭 张思博 赵建军 |
| |
| 作者单位： | 上海交通大学软件学院软件工程中心,上海,200240 |
| |
| 摘 要： | 本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善。
|
| 关 键 词： | 契约式设计 编译器 |
| 文章编号： | 1007-757X（2007）03-0014-03 |
| 收稿时间： | 2006-12-05 |
| 修稿时间： | 2006年12月5日 |
Implementation of the Compiler for VeriJava |
| |
| ZHANG Jia-ming,ZHANG Si-bo,ZHAO Jian-jun.Implementation of the Compiler for VeriJava[J].Microcomputer Applications,2007,23(3):14-16. |
| |
| Authors: | ZHANG Jia-ming ZHANG Si-bo ZHAO Jian-jun |
| |
| Abstract: | 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. |
| |
| Keywords: | DBC Java |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
