论文部分内容阅读
对用例集中的冗余测试用例进行删除往往会造成测试用例集错误检测能力（FDE）的下降。引入程序切片的思想,定义容易引起程序错误的语句为关键点,对其进行切片并分析取值范围,利用这些取值范围选取部分冗余测试用例可以保证最小化测试用例集具有一定的错误检测能力。
基于程序切片的测试用例集约简方法
【摘 要】
：
对用例集中的冗余测试用例进行删除往往会造成测试用例集错误检测能力（FDE）的下降。引入程序切片的思想,定义容易引起程序错误的语句为关键点,对其进行切片并分析取值范围,利用
【机 构】
：
西南大学计算机与信息科学学院,重庆市智能软件与软件工程重点实验室
【出 处】
：
重庆交通大学学报:自然科学版
【发表日期】
：
2010年2期
其他文献
目的探讨小切口囊外摘除术和超声乳化吸出术在高龄白内障患者中的应用疗效。方法选取高龄白内障患者56例,分别行小切口囊外摘除术（A组,26例）和超声乳化吸出术（B组,30例）,同时一期
为了减免由于滑坡带来的不必要损失,本文利用层次分析法对影响巫山冯家坝滑坡的主要因素进行分析,并建立层次结构模型,构建对比矩阵,计算权向量,最终确定巫山冯家坝滑坡的危
大量的研究表明青春期的抑郁存在两性差异.在13岁左右,女生会比男生更多地倾向于抑郁.本文从生理、心理、社会、环境等几方面对其形成原因进行了初步的探讨.
针对已有算法只适用于恒定包络调制星座图的限制,提出了一种适用于任意星座图映射的OFDM系统的符号定时盲同步方法。通过最大化接收信号的非高斯性,接收机可以将DFT窗口的起
高等教育进入大众化阶段,毕业生数量逐年增加,大学生就业形势非常严峻。当"精英情结"的"淡化"速度没有赶上高等教育大众化的普及速度时,角色定位偏差就成了大学生初次就业的
目的观察胺碘酮与贝那普利联合方案治疗阵发性心房颤动的临床疗效。方法选取2011年10月至2014年6月于本院进行治疗的98例阵发性心房颤动患者,随机分为对照组49例和观察组49例
随着我国经济的增长,电力系统也在不断的进步,与传统的电力系统相比,目前的电力系统已经取得了一定的成就,其规模和复杂程度都有一定的提高。现在电力系统正处于快速发展的阶