【摘 要】
：
随着面向对象程序的广泛应用,寻求对此高效测试的方法和技术已成为一个亟待解决的课题.本文将测试过程式程序效果显著的统计测试方法应用于类程序的测试.方法级统计结构化测
【机 构】
：
华中科技大学计算机科学与技术学院,武汉,430074
论文部分内容阅读
随着面向对象程序的广泛应用,寻求对此高效测试的方法和技术已成为一个亟待解决的课题.本文将测试过程式程序效果显著的统计测试方法应用于类程序的测试.方法级统计结构化测试能有效地排除语句逻辑错误,对象级统计功能性测试则能揭示导致状态转换错误变迁的实现和遗漏缺陷,将两者有机地结合在一起形成一个混合统计测试框架,并在C++测试原型系统中进行了实现.通过对一些实例程序的变异分析表明,混合统计测试策略用于类程序的测试相当有效,较其他面向对象确定性测试方法有更强的缺陷暴露能力。
其他文献
查询裁剪是语义缓存的一个关键问题,但是现有的查询裁剪算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性,这在很大程度上限制了语义缓存的实用性.为了克服这些缺
在文献[1]和[2]的基础上,本文提出了结构模糊优化的两相法,第一相用水平截集法求出模糊解,第二相用限界搜索法在模糊解中确定模糊判决隶属函数为最大的清晰解,并附有若干计算
基音周期变换是语音转换的一项核心内容,也是实现难点,高质量的基音周期变换也是得到高质量文-语转换的保证.提出一种有效的基于频域基音周期变换方法,在分析阶段中的频谱包
摄像机运动估计的应用比较广,如视频编码(MPEG4sprite编码)、体育视频注释、全景图的生成和对象跟踪等领域.以前的工作主要集中在非压缩域进行光流分析,但是解码和分析时间太
视频数据在网络信道中传输,常因误码和丢包造成图像质量的严重下降.针对这种情况,提出了一种基于多相下采样的多描述视频编码算法来增强码流的容错能力,将输入图像分解为不同
为了解决虹膜识别技术中有效、快速地定位虹膜图像,针对传统虹膜定位算法的局限性,提出了一种快速多尺度虹膜定位算法.该算法根据瞳孔、虹膜和巩膜的区域特征,应用多尺度策略
InternetQoS(服务质量)评估是多学科领域的研究问题,本文从博弈理论的视角,基于MNL模型(多项罗吉特模型)提出了综合考虑服务质量指标和价格因素的InternetQoS评估机制.采用MN
本文提出了一种用于分割彩色图像的多尺度形态学算法.首先基于张量梯度用彩色分水岭算法得到初始分割结果,即局部水平集连通区域.然后构造初始连通区域间的RAG和NNG用于后续
身份鉴别所需要的高度准确性和鲁棒性往往很难通过使用单模态的生物证人方法来达到.本文提出了一种基于动态贝叶斯网络的融合框架,将声纹信息与人脸信息在特征层进行融合,从
本文将量子计算与遗传算法进行融合,其核心是在常规遗传算法中将量子的态矢量引入遗传编码,并自适应地进行量子旋转门的调整以实现染色体的演化,使算法具有更好的种群多样性