基于合约的构件易测试性设计支撑工具的设计与实现

来源 :北京大学学报：自然科学版 | 被引量 : 0次 | 上传用户：chenman1982

【摘要】

：

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约

【作者】

：

单锦辉姜瑛刘江红辛国茂侯姗姗

【机构】

：

北京大学信息科学技术学院软件研究所

【出处】

：

北京大学学报：自然科学版

【发表日期】

：

2005年5期

【关键词】

：

软件测试软件的易测试性构件合约式设计 software testing testability of software component d

【基金项目】

：

国家高技术研究发展计划(863计划)，国家重点基础研究发展计划(973计划)，国家自然科学基金，中国博士后科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.

其他文献

“十二五”末我国城镇保障房覆盖率将达20％以上

未来五年，我国计划新建保障性住房3600万套。到“十二五”末，全国城镇保障性住房覆盖率将从目前的7％到8％提高到20％以上，基本解决城镇低收入家庭住房困难问题。

期刊

保障性住房“十二五”覆盖率城镇家庭住房低收入基本解

L—酪氨酸高氯酸盐的晶体结构

在水溶液中制备了标题化合物Ｌ－酪氨酸·ＨＣｌＯ４，并用Ｘ射线单晶衍射仪测定了其晶体结构。晶体属单斜晶系，Ｐ２１空间群。晶胞参数：α＝０．５３３５（１）ｎｍ，ｂ＝０．９８１７（２）ｎｍ，ｃ＝１．２０００（３）ｎｍ，β＝９４．７９（２）°，Ｖ＝０．６２６３（３）ｎｍ＾３，Ｚ＝２，Ｄｃ＝１．４９４ｇ／ｃｍ＾２。

期刊

L-酪氨酸高氯酸盐晶体结构单斜晶系Ltyrosine perchlorate crystal structure

p16与宫颈病变关系的研究进展

p16是近年发现肿瘤抑制基因，其高表达与宫颈病变关系密切，且与人乳头瘤病毒（HPV）感染呈正相关。在宫颈脱落细胞中P16蛋白的表达与HC-2检测一样能够增加细胞学诊断的敏感性。且p16

期刊

P16宫颈癌宫颈上皮内瘤样病变人乳头瘤病毒液基细胞学检查p16 Cervical cancer Cervical intraepithelial

类固醇合成因子1在子宫内膜异位症发病机制中的作用

子宫内膜异位症（EMs）是一种雌激素依赖性疾病,局部雌激素的大量形成在EMs的发生与发展中发挥重要的作用。芳香化酶是雌激素合成过程中的关键酶。近年来研究已经证实,EMs患者的

期刊

子宫内膜异位症雌激素类类固醇生成因子-1芳香酶Endometriosis Estrogens Steroidogenic factor 1 Aro

构树剥皮再生中内源IAA的变化及其组织定位

用酶联免疫吸附法研究了构树（Ｂｒｏｕｓｓｏｎｅｔｉａｐａｐｙｒｉｆｅｒａ（Ｌ．）Ｖｅｎｔ．）剥皮后维管组织再生过程中内源ＩＡＡ浓度的变化，并用改进的免疫金银法测定了过程中内源ＩＡＡ在不同组织中的分布。结果表明，剥皮后内源ＩＡＡ浓度迅速升高，升高幅

期刊

构树组织定位剥皮再生内源IAABroussonetia papyrifera differentiation of vascular tissue

妊娠期糖尿病发病机制及对母婴的影响

年龄、肥胖、种族、不良孕育史和糖尿病家族史是影响妊娠期糖尿病（gestational diabetesmellitus,GDM）的主要因素。胰岛素抵抗是其主要发病机制。GDM对母儿影响的严重程度与病

期刊

妊娠胎儿糖尿病糖尿病妊娠妊娠并发症Pregnancy Fetus Diabetes mellitus Diabetes gestationa

任意扇形问题的级数解法

从位移场带奇性分离的Ｆｏｕｒｉｅｒ级数表达式着手，得到扇形问题可实际操作的解析解，可以证明此级数解法与Ｗｉｌｌｉａｍｓ分离变量法等价，对于任意尺度的扇形，只要内外弧边界上应力边界条件能被展开成Ｆｏｕｒｉｅｒ级数，便

期刊

级数解法分离变量法特征方程扇形问题series method method of separation of variables sector c

弹性约束承载岩石电阻率变化形态研究

在花岗岩标本测量面上,布设4条夹角互为45°的视电阻率测线,将标本平行长轴方向的4个面加上弹性约束,沿标本长轴方向加压,测量标本视电阻率随轴向应力的变化,实验结果为:

期刊

弹性约束承载岩石电阻率变化形态地电阻率electric resistivity of rock terrestrial resistivity m

坚持科学发展推进扶贫开发

《中国农村扶贫开发纲要（2011-2020年）》明确提出，扶贫开发的总体目标是：到2020年，稳定实现扶贫对象不愁吃，不愁穿．保障其义务教育、基本医疗和住房。贫困地区农民人均纯收入增长幅

期刊

农村扶贫开发纲要科学发展全国平均水平农民人均纯收入基本公共服务扶贫对象义务教育基本医疗

省领导现场解决跨界污染扯皮问题

“深圳、惠州、东莞3市的书记、市长都在这里，要下决心解决你们3家之间污水治理扯皮的问题。这算是这次现场会的一个重要成果。”中央政治局委员、广东省委书记汪洋近日在惠州

期刊

跨界污染珠江三角洲地区中央政治局污水治理污染情况跨界河流现场会广东省

基于合约的构件易测试性设计支撑工具的设计与实现

与本文相关的学术论文