一种用于白盒测试评估的错误播种方法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:zsx08
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件错误播种方法不仅可以用来评价软件的性能和研究软件错误的特性,而且还可通过播种错误为软件测试方法的评估提供必要的条件.考虑到白盒测试所针对的错误类型是程序代码级错误,为了方便错误播种,将程序代码错误分为计算型错误、域错误和程序接口错误,并针对这3类错误提供了一种改进的基于程序变异的软件错误播种方法.
其他文献
分析了行业统计工作中报表制度编制和报表数据处理的特点,给出了一个计算及审核公式的描述方法,设计并实现了一个由报表框架设计器、计算及审核公式管理器、数据汇总项目管理
论述了当前国内外P2P网络的发现机制,在此基础上,提出了一种新的发现机制--混合发现机制.该机制是对现有发现机制的改进和综合,并详细描述了该机制的设计思想及实现方案,为以
目的探究2型糖尿病治疗药物二甲双胍的临床疗效。方法选取该院2011年1月—2013年1月收治的2型糖尿病住院病人120人,随机分为两组,各60人,对照组病人仅做基础的运动治疗和饮食
经济活动的区位是经济地理学的核心研究议题,传统研究较多关注农业区位、工业区位和商业区位,而对于金融机构区位研究较少。随着金融地理学兴起,金融机构区位受到普遍关注,但
线性预测系数倒谱(LPCC)是说话人辨认系统中较为有效的特征参数之一,但是该参数的抗噪性能不好,当语音中含有噪声时,系统的识别率明显下降。基于MATLAB软件,建立了一高斯混合模型(GMM)的说话人辨认系统,提出了特征参数加权窗口的方法。通过对多种加权窗口的正确识别率比较,发现对LPCC低阶参数的加窗提升,可以改善系统的噪声鲁棒性。MATLAB仿真结果显示,采用加窗后的系统识别率得到了明显改善。
当今网络类型繁多,为了实现不同网络间资源共享和相互通信,网络互连成为一个重要的课题,现有的网络互连产品大多是专用的硬件设备,不通用,不开放,缺乏灵活性,本文提出一种基于IP协议的
结合CSCW系统的开发,对集中式CSCW系统结构的特点进行综合和提炼,设计并实现了一个基于构件及构件代理的应用集成框架.这个集成框架不仅对个体工作提供支持,同时对协同工作也
分析了开发VB应用程序时所遇到的图像文件存取问题,提出了利用ADO技术来实现对图像文件的存取,对ADO技术做了简单介绍,讨论了如何在VB中利用ADO编程来实现对SQLSERVER数据库
RETE算法是一种效率很高的模式匹配算法,但若实现得不当,也会出现效率低下的状况,其中模式的次序是影响效率的重要因素,鉴于此,在专家系统工具OCLIPS中,提出了几项原则用以调整模式间的次序,提
<正>由苏州美术馆和龙乐艺术机构主办,颜文樑纪念馆、苏州新实文化艺术发展有限公司承办的首届"颜文樑艺术奖"将于2011年9月24日在苏州美术馆(新馆)举行盛颁奖典礼。"颜文樑
期刊