切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于合约变异的构件软件测试技术
基于合约变异的构件软件测试技术
来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:zilong2006min
【摘 要】
:
介绍基于规约说明的变异算法在测试数据生成中的应用思想,分析不同变异算子与故障类别之间的蕴含关系.把这种算法应用到构件合约变异中,提高了测试数据的有效性,简化了最终测试数
【作 者】
:
刘国丽
张丁丁
张斌
【机 构】
:
河北工业大学计算机科学与软件学院
【出 处】
:
计算机与现代化
【发表日期】
:
2011年12期
【关键词】
:
规格说明
构件合约
变异算子
specification
component contract
mutation operator
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍基于规约说明的变异算法在测试数据生成中的应用思想,分析不同变异算子与故障类别之间的蕴含关系.把这种算法应用到构件合约变异中,提高了测试数据的有效性,简化了最终测试数据集,克服了传统构件合约变异测试产生大量变异体带来的测试低效性。
其他文献
多排螺旋CT与MR对胰腺癌的诊断价值探讨
目的探讨多排螺旋CT与MR在胰腺癌诊断中的应用价值。方法选取我院2014年1月至2016年8月收治的70例胰腺癌患者,随机分为两组,每组35例。CT组采用多排螺旋CT扫描,MR组则采用MR扫描
期刊
多排螺旋CT
MR
胰腺癌
临床诊断
应用价值
Multi-slice spiral CT
MR
Pancreatic cancer
Clinical d
阻塞性睡眠呼吸暂停低通气综合征对TIA和轻型卒中患者认知功能障碍的影响
目的 探讨阻塞性睡眠呼吸暂停低通气综合征(OSAHS)对短暂性脑缺血发作(TIA)和轻型卒中患者认知功能障碍的影响。方法 纳入TIA和轻型卒中患者130例,根据多导睡眠图(PSG)监测结
期刊
阻塞性睡眠呼吸暂停低通气综合征
TIA
轻型卒中
认知功能障碍
Obstructive sleep apnea hypopnea syndrome
TIA
Mi
地西他滨联合三氧化二砷治疗老年急性髓系白血病患者的疗效及生存质量评价
目的 研究地西他滨联合三氧化二砷治疗老年急性髓系白血病患者的疗效及生存质量。方法 选取我院2014年12月至2016年12月收治的32例首诊确诊老年急性髓系白血病的患者,随机分
期刊
地西他滨
三氧化二砷
急性髓系白血病
临床疗效
Decitabine
Arsenic trioxide
Acute myeloid leukemia
Clini
一种基于中值滤波的图像去噪算法
由于图像噪声会对后续的图像处理结果产生影响,所以在对图像进行其他处理前应先对图像去噪。针对传统中值滤波器在去除均匀分布椒盐噪声时效果并不理想,设计出一种自适应阈值中值滤波器。分别用两种滤波器进行图像去噪实验,通过对比去噪后图像的信噪比、峰值信噪比以及视觉效果发现:较之传统的中值滤波器,新的自适应中值滤波器能更有效地去除椒盐噪声并减少图像失真。
期刊
椒盐噪声
中值滤波
自适应中值滤波
salt & pepper noise
median filter
adaptive median filter
ActiveX技术在C语言网络教学平台中的研究与实现
首先介绍ActiveX技术在构建网络教学平台中的重要作用,之后对ActiveX控件的设计方法进行详细研究,以C语言中冒泡排序算法为例,阐述该算法动态演示控件的制作与运行过程。网络
期刊
ACTIVEX技术
网络教学平台
动态演示
冒泡排序算法
ActiveX-technology
network-teaching platform
dyna
基于COM的Matlab混合编程技术常见问题分析
目前有很多介绍关于Matlab和VC、VB混合编程的文献,但对编程过程中的常见问题进行分析的文献不多。为提升基于COM的Matlab混合编程技术的定性程度和效率,本文介绍Matlab与VC
期刊
MATLAB
COM混合编程
常见问题
Matlab
COM mixed programming
universal problem
盐酸伐昔洛韦与阿昔洛韦治疗儿童水痘疗效的临床观察
目的 研究盐酸伐昔洛韦与阿昔洛韦治疗儿童水痘的临床疗效。方法 选取我院2013年6月至2015年12月收治的患有水痘的儿童84例,随机分为对照组和实验组各42例。对照组给予阿昔洛
期刊
盐酸伐昔洛韦
阿昔洛韦
儿童水痘
临床疗效
Valaciclovir hydrochlordide
Acyclovir
Children with chic
基于智能客户端的巡检系统设计与实现
针对健康检查中心医生外出进行健康检查作业时,健康检查系统无法离线使用的问题,本文应用智能客户端技术构建巡检系统。该巡检系统可以在离线状态完成健检系统功能,待系统连
期刊
智能客户端
WEBSERVICE
数据暂存
数据同步
数据冲突处理
smart client
Web Service
data interim storag
建筑物健康远程监测信息系统的体系结构设计
楼宇倒塌事故日益增多给人民的生命财产带来了严重的损失,而现今还没有一个完善的系统来监测建筑物的倒塌状况。本文以此提出基于仿真与短信平台的建筑物健康远程监测信息系统。利用仿真平台在屏幕上实时显示建筑物健康状况,当分析结果超过一定阈值时,利用短信平台及时主动地将预警信息分发给相关人员,实现楼宇状态的实时监控与出现倒塌危险时主动预警,达到及时撤退、减少损失的目的。本文设计此系统的体系结构,并描述其功能模
期刊
健康
建筑物
倒塌
仿真平台
短信平台
healthy
building
collapse
simulation platform
SMS platfo
融合VSM技术的PageRank算法研究与应用
为解决PageRank算法存在的"主题漂移"问题,本文提出一种融合VSM(向量空间模型)技术的改进方法。首先根据网页的链接结构计算PageRank值,然后建立网页的内容特征向量空间,计算主题
期刊
PAGERANK算法
链接分析
向量空间模型
搜索引擎
PageRank algorithm
hyperlink analysis
vector space
与本文相关的学术论文