【技术实现步骤摘要】
本专利技术涉及，此技术主要通过在原有的Java编译器上进行一定加工与改造,使VeriJava语法能够在之中进行编译,并能够在编译过程中验证语言的逻辑正确性。
技术介绍
在Eiffel项目中，Betrand Meyer提出了基于契约式的设计方法(Design byContract)来提高软件的可靠度。通过使用DBC的设计方式:可以减少分离开发各组件系统的常规逻辑测试强度，并可以细化错误的出处以更快地找到错误所在，同时与文档的接口定义可以保持严格地一致性。这一设计形式通过对设计方式严密和逻辑的定义，保证了软件开发与设计的一致与协调。DBC充分鼓励程序员思考诸如“例程的先验条件是什么”这样的问题，帮助了程序员将概念及逻辑流程充分理清。Java作为一个大范围应用的编程语言以及面向对象类型语言的典型性代表，使用其作为开发语言的程序与系统正大量出现。但是由于Java语言本身的限制，造成在开发基于Java语言的系统过程中，不可避免地遇到很多团队协作、语言歧义等问题。即使在经常交流与沟通的情况下，也可能产生理解上的偏差。设计文档的详细与否固然会影响开发过程，但即使再详细的文档也...
【技术保护点】
一种基于契约式设计的Java编译器实现方法：该方法主要是此技术主要通过在原有的Java编译器上进行一定加工与改造，使VeriJava语法能够在之中进行编译。
【技术特征摘要】
【专利技术属性】
技术研发人员：杨际荣，
申请(专利权)人：镇江华扬信息科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。