【摘 要】
：
为缓解软件测试的Oracle问题,蜕变测试通过验证多个测试用例及其输出之间是否满足蜕变关系来验证测试结果.可见蜕变关系是蜕变测试的核心,而现有的蜕变关系检错能力的衡量标
【基金项目】
：
国家自然科学青年基金（No.61103053,No.61202106,No.61572206）, 福建省自然科学基金（No.2013J01238）, 厦门市科技计划项目（No.3502Z20143041）
论文部分内容阅读
为缓解软件测试的Oracle问题,蜕变测试通过验证多个测试用例及其输出之间是否满足蜕变关系来验证测试结果.可见蜕变关系是蜕变测试的核心,而现有的蜕变关系检错能力的衡量标准,即错误检出率（Failure Detecting Rate,FDR）是蜕变关系对不同变体的错误检出概率的平均值,这掩盖了蜕变关系的一些重要特征.因而本文提出蜕变关系敏感度的概念,即用蜕变关系对不同变体的错误检出率所构成的多维信息向量,来全面地反映蜕变关系特征,从而为蜕变测试研究提供更多的可能性.蜕变关系敏感度的一个典型应用是对蜕变关系集
其他文献
[目的]对玉米的精量播种装置进行改进。[方法]分析现有精量播种装置中存在的问题，对排种盘的排种孔距离进行调整，并进行田间播种试验。[结果]试验结果表明，改进后的播种机可以达
医疗纠纷的法律适用问题是社会普遍各界关注的问题，其实质是诊治风险在医患双方之间如何合理、有效地分配。本文从信息不对称的角度，对医患关系的特征进行分析，指出双方地位的失
针对大规模混合极性Reed-Muller（Mixed Polarity Reed-Muller,MPRM）逻辑电路的延时与面积优化,提出一种基于多策略离散粒子群优化（Multi-Strategy Discrete Particle Swarm Opti
一、中国科技法学南方品牌2003年12月25日-26日,第二届科技法学论坛在上海大学法学院成功举行.本次会议由中国科技法学会、上海市法学会、上海大学法学院联合举办.参加这次会
本文针对位移操作辅助下的量子线性放大器进行了研究。量子线性放大器可以提高量子态传输的保真度，提高量子通信抗干扰、抗损耗能力。本文针对目前量子线性放大器放大增益和放
本文利用非线性随机微分方程来合成间歇混沌信号,针对该信号表现出的1/f噪声特征,在不同消失矩的小波基下进行相关特性分析.仿真结果发现,在功率谱的中间频段内,该信号的功率