【摘 要】
：
测试驱动开发(Test-Driven Development,TDD)和按契约设计(Design by Contract,DbC)是保证软件质量和支持变化的两种新的软件工程方法.该文通过深入、详细的研究这两种方法的
论文部分内容阅读
测试驱动开发(Test-Driven Development,TDD)和按契约设计(Design by Contract,DbC)是保证软件质量和支持变化的两种新的软件工程方法.该文通过深入、详细的研究这两种方法的利弊,将两者融合起来,取长补短,提出基于验证契约设计(Design by Verifying Contract,DbVC)方法,该方法的主旨是将TDD测试优先的思想引入到DbC中,同时通过DbC中契约的设计思想来弥补TDD中设计不足的弊端,其核心就是验证契约驱动实现.通过将DbVC的原则贯穿于整个软件开发过程中,该文提出一个轻量级的软件开发过程:基于验证契约的全程质量保证过程.该过程采用UML及其扩展来描述系统的组成和行为以及一组称之为"抽象、细化、检证"的活动不断将系统向产品推进.该过程本质就是"不断细化,用行动的细化带动对象的细化.在这不断细化的过程,不断检查契约的一致性."该文通过一个简单的例子,首先阐述了如何将现实业务规则按分类派生为系统模型的契约,然后如何在确保契约的一致性的前提下,通过不断的细化最终形成程序代码.该文提出和详细阐述如何进行四种基本细化以及在细化的过程中如何进行契约的一致性验证、如何文档化细化的过程.
其他文献
图像安全随着多媒体技术的蓬勃发展，已经成为一个普遍的而且很重要的问题，数字水印技术是图像安全领域的重要技术的一种，具有优良的发展前途和广阔的市场。JPEG2000是ISO推荐的
该文围绕人机融合决策智能系统,结合系统科学、决策科学、思维科学、管理科学、信息科学和技术等,开展了人机融合决策智能系统"是什么"、"怎么做"、"怎么用"等问题的理论研究
实时系统越来越受到关注，正成为研究的热门领域，在国防、航空航天、自动控制等方面应用极为广泛。实时系统不仅要保证逻辑的正确性，而且要在确定的时间内提供正确的结果，否则就会
软件体系结构在软件的整个开发过程中起着至关重要的作用,如何设计软件体系结构使开发出来的软件鲁棒性更强、对用户的需求更富有弹性,一直是软件工作者讨论的热门话题.当前,
本文首先深入分析了粗糙集理论的思想精髓、特点，简要介绍了它与模糊逻辑、神经网络、进化算法等软计算方法的融合，并综述了粗糙集在智能控制中应用现状。 属性约简是粗糙集
本文简要介绍了长冲程抽油机的发展现状,阐述了抽油机朝着长冲程、低冲次、高效率、智能化方向发展的趋势.本文以电机换向长冲程抽油机为研究对象,主要进行了以下几个方面的
本论文提出了一种新的智能控制器设计的思想和方法，将这种控制器命名为九点控制器。一方面从理论上对这种智能控制策略进行了研究，并对其静态和动态性能进行了探讨；另一方面以这
论文针对电动多叶光栅(DMLC)进行了系统与数据传输的设计.该项课题的主要任务是研究开发用于肿瘤放射治疗的医用设备.医生通过计划系统软件给癌症病人做出精确的治疗计划,电
微系统(MEMS)或微机电系统正以她神奇而强大的功能展示在世人面前.DNA测序、分子操作、兆亿容量的存贮器等等以纳米技术为特征的科技已临近我们了.微系统也好,纳米科技也好,
目前，我国糖厂锅炉的设备比较落后，大多数锅炉的控制、操作水平基本上停留在手工和简单仪表操作，自动化水平较低，根据糖厂锅炉自动控制的现状，本论文着重研究了糖厂锅炉的燃烧自动