摘要
针对游戏机器人开发平台在图形编程过程中可能出现的错误,提出了一种基于契约式设计思想的程序设计语言扩展方式。它为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.
出处
《测控技术》
CSCD
2008年第1期81-84,共4页
Measurement & Control Technology
关键词
契约式设计
编译器
语法分析
逻辑错误
design by contract
compiler
syntactic analysis
logical error
