【摘 要】
:
主要介绍了面向对象软件的类测试技术。从基于服务的、基于状态的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法。
【基金项目】
:
国家自然科学基金资助项目 (69873 0 40 )
论文部分内容阅读
主要介绍了面向对象软件的类测试技术。从基于服务的、基于状态的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法。
其他文献
能否把甘肃建设成西北的物流中心,取决于甘肃物流产业在西北地区竞争力的高低。本文结合产业竞争力研究的基本框架,对甘肃物流产业在西北地区的竞争力进行了评价,指出了甘肃
本文使用5年期城投债与国债的利差作为地方政府性债务风险的市场化代表因子,采用无套利Nelson-Siegel利率期限结构扩展模型,在保证各期限国债定价一致性的基础上,对2009年至2
<正>长芒草(Stipa bungeana)为禾本科针茅属植物。针茅属植物多为冷季型,喜光,宿根,自然生长于温带地区的草甸和山坡上。细茎针茅(Stipa tenuissima)是其中最受欢迎、应用最
农产品品牌营销作为一种新型的市场营销模式,对我国农产品增强国际竞争力,拓展国际市场,走向世界具有重要的促进作用。文章通过文献查阅及实地调研,在农产品市场需求和供给市
随着全球低碳经济的不断发展,低碳壁垒作为隐性绿色壁垒逐渐成为阻碍国际贸易发展的障碍之一。目前,诸多企业将"低碳"作为其供应链的必需。宿迁作为后发的城市,在积极与国际
提出一种基于分布式数据库与分布式文件系统相结合的海量图片文件存储去重技术。该技术通过提取图片文件二进制流的特征段计算文件MD5码签名,依据签名对图片文件进行存储去重
为进一步深入分析饱和黏性土的一维流变固结机制,引入Koeller定义的弹壶元件修正Merchant模型,并以此描述土骨架的黏弹性变形行为;同时引入非牛顿指数渗流模型描述流变固结中
针对特高压变电站构架间软母线下料长度计算精度不高的问题,通过对现有几种计算方法进行对比研究,提出求解特高压变电站构架间软母线下料长度的全参数算法。该算法采用悬链线
整合素作为细胞黏附受体家族成员,通过双向变构调节信号转导,介导细胞与细胞间以及细胞与细胞外基质间的黏附,并与细胞因子相互作用,参与调节胰腺癌细胞的增殖、凋亡、侵袭、
9月29日,成都东区音乐公园开幕,当天便赢得了开门红。$$ 破旧的厂房和音乐相遇,便重新焕发了生命力。昔日那些只有回到废品站的工业时代的机器,经过一番打扮,成了趋之若鹜的