【摘 要】
：
程序控制流的设计是为实现正确的数据流服务的,数据流测试是非常重要的。文中将面向all-uses数据流准则的测试用例生成问题建模为多目标优化问题,提出了一种基于遗传算法的测
【基金项目】
：
国家自然科学基金(61702159),江苏省自然科学基金(BK20170893)
论文部分内容阅读
程序控制流的设计是为实现正确的数据流服务的,数据流测试是非常重要的。文中将面向all-uses数据流准则的测试用例生成问题建模为多目标优化问题,提出了一种基于遗传算法的测试用例生成方法。通过构建待测程序的控制流图进行数据流分析,计算出程序中所有的定义-使用对,得到测试目标,利用面向多测试目标的遗传算法生成满足all-uses准则的最优解。遗传算法中定义了一种改进的基于支配关系的适应度函数,在分析测试用例对定义-使用对的覆盖程度时考虑了存在重定义的可能性,且考虑了定义结点和使用结点在执行路径中的先后顺序。实
其他文献
内存泄漏是云应用、Web服务、中间件等各类连续工作型软件中的一种常见缺陷,它会导致程序运行速度减慢、资源耗尽崩溃等软件稳定性问题。现有测试一般以较长周期运行测试用例
为探讨肾血管平滑肌脂肪瘤的影像学特点及CT诊断价值，通过1例罕见肾血管平滑肌脂肪瘤并结合文献资料，对其影像学表现、临床特点及相关资料进行回顾分析。可见，CT扫描是诊断肾血
在湿法炼锌生产中需要运用PH 计安装在输送矿浆的溜槽上,对溜槽内的矿浆进行测量。由于在测量工作中长期的使用其探头极易结垢,不能进行正常测量工作。而传统的PH 计自动清洗
目的 研究瑞格列奈联合二甲双胍治疗2型糖尿病的临床效果及安全性。方法 选取2016年1月—11月于我院治疗的100例2型糖尿病患者,将其随机分为2组,每组各50例。对照组给予二甲
以N-氯代丁二酰亚胺为氯源,在温和、简便的条件下实现了异腈的双氯化反应,合成了N-苯基二氯亚胺类化合物.通过研究溶剂、温度、时间、氯源种类及其用量等因素对反应的影响,获
随着我国基础设施的越来越完善,从新疆的荒漠到西藏的高山,都建立了电网,完善了我国居民的用电情况。在我国,居民的生活越来越离不开电力的存在,而有效安全的带电设备检测配
目的系统评价金匮肾气丸加减干预高血压病的临床疗效与安全性。方法计算机检索中国知识资源总库（CNKI）、中国学术期刊数据库（万方数据）、中文科技期刊数据库（重庆维普）、Cochrane L
胫骨平台骨折是一种难治性关节内骨折，治疗不当容易引起不同程度的膝关节功能障碍，本文对我院骨科收治的胫骨平台骨折進行关节镜微创治疗，取得良好效果，现报道如下。 本文为全文原貌 未安装PDF浏览器用户请先下载安装 原
针对SIFT特征提取算法过程复杂且实时性低的缺陷,提出了一种基于GPU的实时尺度不变特征变换(Scale-inva-riant feature transform,SIFT)的优化算法——CUDA Optimized SIFT(CoSift)。该算法首先利用CUDA流并发构建SIFT尺度空间,在此过程中充分利用了CUDA存储器模型中的高速存储器来提高数据访问速度,并对二维高斯卷积核进行降维优化来减
目的探讨妊娠期甲状腺功能减退（甲减）对妊娠结局以及胎儿的影响。方法回顾分析42例妊娠合并甲减患者的临床资料,并选取同期42名正常妊娠妇女作为对照组。观察2组患者妊娠和新生