Though mutation testing has been widely studied for more than thirty years, the prevalence and properties of equivalent mutants remain largely unknown. We report on the causes and prevalence of equivalent mutants and their relationship to stubborn mutants (those that remain undetected by a high quality test suite, yet are non-equivalent). Our results, based on manual analysis of 1,230 mutants from 18 programs, reveal a highly uneven distribution of equivalence and stubbornness. For example, the ABS class and half UOI class generate many equivalent and almost no stubborn mutants, while the LCR class generates many stubborn and few equivalent mutants. We conclude that previous test effectiveness studies based on fault seeding could be skewed, while developers of mutation testing tools should prioritise those operators that we found generate disproportionately many stubborn (and few equivalent) mutants.
Greenhouse eggplant monocropping in China has contributed to the aggravation of soil-borne diseases, reductions in crop quality and yield, and the degradation of physical and chemical soil properties. Crop rotation is one effective way of alleviating the problems of continuous cropping worldwide; however, few studies have reported changes in soil bacterial community structures and physical and chemical soil properties after Brassica vegetables had been rotated with eggplant in greenhouses. In this experiment, mustard-eggplant (BFN) and oilseed rape-eggplant (BFC) rotations were studied to identify changes in the physicochemical properties and bacterial community structure in soil that was previously subject to monocropping. Samples were taken after two types of Brassica plants incorporated into soil for 15 days to compare with continually planted eggplant (control, CN) and chemical disinfection of soil (CF) in greenhouses. MiSeq pyrosequencing was used to analyze soil bacterial diversity and structure in the four different treatments. A total of 55,129 reads were identified, and rarefaction analysis showed that the soil treatments were equally sampled. The bacterial richness of the BFC treatment and the diversity of the BFN treatment were significantly higher than those of the other treatments. Further comparison showed that the bacterial community structures of BFC and BFN treatments were also different from CN and CF treatments. The relative abundance of several dominant bacterial genera in the BFC and BFN treatments (such as Flavobacteria, Stenotrophomonas, Massilia and Cellvibrio, which played different roles in improving soil fertility and advancing plant growth) was distinctly higher than the CN or CF treatments. Additionally, the total organic matter and Olsen-P content of the BFC and BFN treatments were significantly greater than the CN treatment. We conclude that Brassica vegetables-eggplant crop rotations could provide a more effective means of solving the problems of greenhouse eggplant monocultures.
A challenging problem in path-oriented test data generation is the presence of infeasible paths. Timely detecting these infeasible paths cannot only save test resources but also improve test efficiency. A popular method of detecting infeasible paths is to determine branch correlations, which is a difficult task and usually cannot be done timely and exactly. In this study, the authors propose a method of automatically determining the branch correlations of different conditional statements, therefore detecting infeasible paths. First, some theorems are given to determine branch correlations based on the probabilities of the conditional distribution corresponding to different branches' outcome (i.e. true or false); then, the maximum likelihood estimation is employed to obtain the values of these probabilities; finally, infeasible paths are detected according to branch correlations. The authors apply the proposed method in some typical programs, and the results show that the proposed method can accurately detect infeasible paths. The achievement provides an effective and automatic method of detecting infeasible paths, which is significant in improving the efficiency of software testing.
Use policyThe full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-prot purposes provided that:• a full bibliographic reference is made to the original source • a link is made to the metadata record in DRO • the full-text is not changed in any way The full-text must not be sold in any format or medium without the formal permission of the copyright holders.Please consult the full DRO policy for further details. AbstractContext: As a fault-based testing technique, mutation testing is effective at evaluating the quality of existing test suites. However, a large number of mutants result in the high computational cost in mutation testing. As a result, mutant reduction is of great importance to improve the efficiency of mutation testing. Objective: We aim to reduce mutants for weak mutation testing based on the dominance relation between mutant branches. Method: In our method, a new program is formed by inserting mutant branches into the original program. By analyzing the dominance relation between mutant branches in the new program, the non-dominated one is obtained, and the mutant corresponding to the non-dominated mutant branch is the mutant after reduction. Results: The proposed method is applied to test ten benchmark programs and six classes from open-source projects.The experimental results show that our method reduces over 80% mutants on average, which greatly improves the efficiency of mutation testing. Conclusion: We conclude that dominance relation between mutant branches is very important and useful in reducing mutants for mutation testing.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.