| 一种Java平台上契约式语言的设计与实现 |
| |
| 引用本文： | 刘振安,王文涛.一种Java平台上契约式语言的设计与实现[J].测控技术,2008,27(1):81-84. |
| |
| 作者姓名： | 刘振安 王文涛 |
| |
| 作者单位： | 中国科学技术大学,自动化系,安徽,合肥,230027;中国科学技术大学,自动化系,安徽,合肥,230027 |
| |
| 摘 要： | 针对游戏机器人开发平台在图形编程过程中可能出现的错误,提出了一种基于契约式设计思想的程序设计语言扩展方式.它为Java语言提供了契约式设计的支持,能帮助本平台的用户发现程序中存在的逻辑上或者设计上的错误,提供改正错误的手段.
|
| 关 键 词： | 契约式设计 编译器 语法分析 逻辑错误 |
| 文章编号： | 1000-8829（2008）01-0081-04 |
| 收稿时间： | 2007-04-12 |
| 修稿时间： | 2007年4月12日 |
Design and Implementation of a Contract Language for a Special Java Platform |
| |
| LIU Zhen-an,WANG Wen-tao.Design and Implementation of a Contract Language for a Special Java Platform[J].Measurement & Control Technology,2008,27(1):81-84. |
| |
| Authors: | LIU Zhen-an WANG Wen-tao |
| |
| Abstract: | 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 lan- guage,and helps platform user to detect and correct errors in logic and designing. |
| |
| Keywords: | design by contract compiler syntactic analysis logical error |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
