Reduction of Faults in Software Testing by Fault Domination"

来源 :清华大学学报(英文版) | 被引量 : 0次 | 上传用户:liuln6
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work for a large scale software so that the mutation testing becomes time-consuming and even in prohibited time. Therefore, the number of faults assumed to exist in the software under test should be reduced so as to be able to confine the time complexity of test within a reasonable period of time. This paper utilizes the concept of fault dominance and equivalence, which has long been employed in hardware testing, for revealing a novel way of reducing the number of faults assumed to hide in software systems. Once the number of faults assumed in software is decreased sharply, the effectiveness of mutation testing will be greatly enhanced and become a feasible way of software testing. Examples and experimental results are presented to illustrate the effectiveness and the helpfulness of the technology proposed in the paper.
其他文献
目的:探讨MiRNA-122对肝癌耐药细胞株BEL-7402/氟尿嘧啶(fluorouracil,FU)的FU敏感性的影响及其作用机制。方法:构建miR-122及其阴性对照空载体并稳定转染至BEL-7402/FU细胞
The hollow spherical joints welded with circular pipes applied to the National Swimming Center of China are subjected to large bending moments, but the influenc
园林绿化工程是在一定范围的地域内,运用园林绿化工程技术,加入园林小品及绿化材料等造园要素.创作而成的一种优美的环境境域.在这个过程中,树木的移植是很重要的部分.本文对
Traffic information acquisition system is an essential part of the intelligent transportation system (ITS). This paper presents a novel traffic information acqu
胃、十二指肠溃疡穿孔是上消化道溃疡的常见并发症,是外科常见的急腹症之一[1],传统的治疗方法包括:保守治疗、开腹行穿孔修补术、行胃大部切除术以及高选择性迷走神经切断术
[目的]探讨不同程度脂肪肝与血脂的相关性.[方法]选择脂肪肝患者132例(研究组),根据超声特征将其分为轻、中、重度,同时选择同期入院的无脂肪肝患者116例(对照组),检测并比较
The sorption behaviour of acid dyes by soybean protein/poly(vinyl alcohol) blend fibre was studied. The quantity of dye sorbed by the fibre increased markedly w
A hybrid automaton modeling approach that incorporates state space partitioning, phase dynamic modeling and control law synthesis by control strategy is utilize
目的 探讨下颌第二、三磨牙并列阻生的正畸治疗方法,评估其效果.方法 选择下颌第二、第三磨牙并列阻生患者6例、共8对,拔除下颌阻生第三磨牙,采用固定矫治器结合磨牙带环焊多
This paper develops an improved structural software complexity metrics named information flow complexity which is closely related to the reliability of software