一种Java平台上契约式语言的设计与实现  

Design and Implementation of a Contract Language for a Special Java Platform

作　　者：刘振安[1] 王文涛[1] 

机构地区：[1]中国科学技术大学 自动化系,安徽合肥230027

出　　处：《测控技术》2008年第1期81-84,共4页Measurement & Control Technology

摘　　要：针对游戏机器人开发平台在图形编程过程中可能出现的错误,提出了一种基于契约式设计思想的程序设计语言扩展方式。它为Java语言提供了契约式设计的支持,能帮助本平台的用户发现程序中存在的逻辑上或者设计上的错误,提供改正错误的手段。An expansion method for programming language based on design by contract is proposed while some errors may be happen during the game robot designing with graphical editor. This method provides design by contract support for Java programming language, and helps platform user to detect and correct errors in logic and designing.

关 键 词：契约式设计 编译器 语法分析 逻辑错误 

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