支持契约式设计的Java静态验证器的研究

基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。

契约式设计在可信业务构件中的应用

介绍了契约式设计的思想,并在业务构件的分析中引入了契约式设计,从而构造出可信的业务构件。重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信,并给出具体的实例来说明。

在Java中使用契约式设计

契约式设计DBC是面向对象程序设计的一项技术,其目的在于提高软件的质量、可靠性与可复用性。Java语言本身还不直接支持契约式设计,但借助一些外部辅助工具可以使该项技术获得应用。对此,给出了两种实现方法:一种是使用预编译器;另一种是使用面向方面的程序设计技术。

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

针对游戏机器人开发平台在图形编程过程中可能出现的错误,提出了一种基于契约式设计思想的程序设计语言扩展方式。它为Java语言提供了契约式设计的支持,能帮助本平台的用户发现程序中存在的逻辑上或者设计上的错误,提供改正错误的手段。

契约式广义课程设计

提出一种契约式广义课程设计,给出该方法的概念、作用、实现方法,以及实例分析。该方法的核心在于学生参与课程设计,并且突破狭义课程内容的局限,实现一种新的素质教学模式。

基于契约式设计的Java编译器实现

本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善。

契约式设计中异常处理机制研究

客户-供方契约规定了软件系统每一步操作的责任和义务。契约式设计中引入异常处理机制以应对发生在运行环境下的契约违背。该种异常处理机制协助契约式设计规范以开发正确与健壮的软件。契约式异常处理并不构成客户-供方契约的一部分,但是作为一个契约组件必须按契约编写。总结契约式设计中异常的分类和转移原则、界限原则、应急原则、恢复原则等异常处理原则,列举在Eiffel、JML等框架下异常处理的应用。

基于契约式设计的CORBA异常机制测试方法研究

复杂的 CORBA异常机制成为 CORBA软件错误的主要来源地之一 .此类错误不易于发现、复现、调试 ,因而成为测试的难点 .分析此类错误的逻辑特性 ,扩展契约式设计思想使之适用于异常机制 。

基于契约式设计的VeriJava编程语言设计

契约式设计是一种以Java语言为主流编程的技术手段,无论是在VeriJava编程语言程序开发中,还是在C++、S#等语言开发中,都被程序开发者广泛使用.对VeriJava编程语言以契约式设计理论的程序设计进行分析研究,将契约式设计理念引入到面向对象编程技术开发中,从而实现契约的编写与程序分离.

再访契约式设计之父——故障、预处理和重构

本刊2004年第一期刊登了 BillVenners 对契约式设计之父 Bertrand Meyer 的采访前三部分。本期是采访的第四部分,Meyer 讨论了有关故障,预处理和重用策略如何处理故障,在哪里检测预处理,以及在什么时候进行重用设计最合适。

安捷伦推出专为在示波器上进行CAN串行总线测试设计的CAN-dbc字符触发和解码以及差分有源探头

2013年9月5日，北京一一安捷伦科技公司（NYSE：A）日前宣布为其Infinii Vision 4000X系列和全部Infiniium系列示波器提供CAN—dbc字符解码和触发以及两个新的差分有源探头，非常适合包括控制器局域网串行总线（CAN）在内的汽车测量应用。CAN总线在汽车应用以及众多的工业和医疗设备应用中得到广泛使用，主要用于控制和传感器监测等系统中。

新设计 新生代 新理念——北京国际设计周·DBC国际设计师空间作品展解构

由北京红桥市场、长流当代美术馆、纽约牧风国际珠宝股份有限公司[NOOMAD INC]联合主办,长美艺术股份有限公司、北京爱微藏科技有限公司承办,十余家海内外艺术组织协办的“新设计、新生代、新理念”(DBC)国际珠宝设计师作品展,将于9月22日至11月28日在红桥市场原创珠宝设计中心举行。

Facade模式在JDBC编程中的应用

针对实际开发中子系统日益增长的复杂度,以及客户端与子系统间耦合度过高的问题。提出了采用设计模式的思想来解决这个问题,并主要介绍了其中的Facade设计模式,以及它在Java数据库连接应用程序接口(JDBCAPI)编程中的应用。通过采用设计模式,可以有效降低系统设计的复杂度,在一定程度上简化了用户接口,使系统结构更加简明、清晰、易于扩展,充分显示了在实际应用中采用设计模式的优越性。

焊接式IGBT模块结构设计与性能分析

设计了一款半桥结构的焊接式绝缘栅双极型晶体管（IGBT）模块。模块内部电路整体布局设计为IGBT的正负母线端子在直接覆铜（DBC）板的一端,DBC板的另一端为IGBT的交流输出端,两块DBC板通过键合线连接在一起,形成半桥结构。为了解决IGBT模块热分布不均匀的问题,模块内部的芯片采用交错式布局,减小了芯片之间的热耦合,有效降低模块工作时的温度,提高了IGBT的可靠性。利用Solidworks三维绘图软件对模块内部布局和整体结构进行设计,在ANSYS Workbench仿真软件中对IGBT模块的整体结构进行了热特性仿真,最后对所设计的IGBT模块进行了封装和测试。测试结果表明：本次设计的焊接式IGBT模块具有很好的电气特性,在开关过程中没有明显的振荡,反向恢复电流和关断电压尖峰都控制在模块额定值的2倍以内。

用于支持契约的AOP代码生成器的研究与实现

面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点。契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性。本文简单介绍了AOP和DbC,然后通过尝试在Observer设计模式中加入契约,研究了使用AOP支持DbC的方法,进而设计和实现了一个AOP代码生成器,并分析了该生成器的特点。

基于AOP在组件开发中支持契约的研究与实现

在进行软件组件开发时,需要明确组件中服务请求者与提供者之间相互满足的契约关系。通过在组件中支持契约式设计(Design by Contract,DBC),不仅可以阐明组件设计的细节、为客户记录正确的组件用法,还可以通过编程的方式来测试组件使用的正确性。基于面向方面编程(Aspect-Oriented Programming,AOP)技术实现契约式设计,可以通过将横切关注点(crosscutting concern)分离的方式,令编程人员独立的编写组件的契约和业务逻辑。本文主要基于AOP技术的两个开源实现:Contract4J和AspectJ,构建了一个Eclipse插件工具来支持组件开发中的契约式设计,并且通过一个实例分析采用契约式设计之后对于组件健壮性的改进。

声表面波振荡器的优化设计与实现

介绍了1.5GHz声表面波振荡器的原理、电路设计制作以及使用Serenade8.7软件对其分析和优化的仿真结果,并最终焊接调试成功中心频率为1500MHz的振荡电路,其相位噪声优于-110dBc/Hz/10kHz,长期频率稳定度±(3.5～5.0)×10-6/日,Po>10dBm。并将实测结果与仿真结果相比较,获得较好的一致性,还对影响相位噪声的因素进行了分析讨论。

VFP数据字典工具及其应用系统维护

对于VFP数据库应用系统而言,利用其数据字典工具是一种实施应用系统维护的可行方案。文章在分析VFP数据字典及其操作工具的基础上,提出一种在应用系统运行过程中实施系统维护的实用方法。

AOP中方面冲突自动检测方法研究

为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案。根据设计文档使用JML给方面和基础程序标注契约,利用契约转换程序生成契约检查程序,契约检查程序与面向方面的应用程序一起编译,生成包含契约检查的目标文件,从而在程序执行时,自动检测出方面与基础程序间的冲突以及方面与方面间冲突。该方案不破坏现有的应用程序,且无需重新设计编译器。通过一个实例表明该方案的可行性。

基于Web的管理系统的开发

本文介绍了如何开发基于Web的管理系统。着重介绍Web数据库的创建,研究Web数据库的ASP开发方案,并以实例说明如何开发一个“基于Web的人事管理系统”。文中论述了SQL Server数据库的建立,服务器站点的建立,ODBC数据源的设置,HTML标记语言和VBScript脚本语言的编辑,以及如何利用ASP编程实现网络数据库的操作。