Semantic mutation testing

This is the Pre-print version of the Article. The official published version can be obtained from the link below - Copyright @ 2011 ElsevierMutation testing is a powerful and flexible test technique. Traditional mutation testing makes a small change to the syntax of a description (usually a program) in order to create a mutant. A test suite is considered to be good if it distinguishes between the original description and all of the (functionally non-equivalent) mutants. These mutants can be seen as representing potential small slips and thus mutation testing aims to produce a test suite that is good at finding such slips. It has also been argued that a test suite that finds such small changes is likely to find larger changes. This paper describes a new approach to mutation testing, called semantic mutation testing. Rather than mutate the description, semantic mutation testing mutates the semantics of the language in which the description is written. The mutations of the semantics of the language represent possible misunderstandings of the description language and thus capture a different class of faults. Since the likely misunderstandings are highly context dependent, this context should be used to determine which semantic mutants should be produced. The approach is illustrated through examples with statecharts and C code. The paper also describes a semantic mutation testing tool for C and the results of experiments that investigated the nature of some semantic mutation operators for C

WHAT DOES FARM STRUCTURE IMPLY FOR FUTURE FARM POLICY?

Agricultural and Food Policy,

V2051 Oph's disc evolution on decline from superoutburst

We present an Eclipse Mapping analysis of ten eclipses taken during decline from superoutburst of the dwarf nova V2051 Oph. On decline from superoutburst the disc cools down considerably from nearly 50,000 K in the intermediate disc (approx. 0.2 R_L1) near maximum to about 25,000 K at the end of our observing run, i.e. within 4 days. The average mass accretion rate through the disc drops in the same time from 10^18 g/s to below 10^17 g/s. While in some maps the brightness temperature follows the steady state model, in others the temperature profile shows flattenings and/or indication of an inward travelling cooling front with a speed of approximately -0.12 km/s, possibly a reflected heating front with a speed of +1.8 km/s and a newly reflected cooling front with the same speed as the first one. Such scenario has been predicted (Menou et al. 2000) but not been observed before. Furthermore, we see a prograde precession of the enlarged disc with a precession period of about 52.5 hours in very good agreement with the independently determined superhump period observed by Kiyota & Kato (1998). At the same time, the uneclipsed component -- presumeably a disc wind -- decreases significantly in strength during decline from superoutburst.Comment: 12 pages, 9 figures, accepted for publication in MNRA

PROTECTING WATER RESOURCES FROM AGRICULTURAL POLLUTION: RESEARCH AND EDUCATION - ALTERNATIVES TO REGULATION

Resource /Energy Economics and Policy,

Mutation testing on an object-oriented framework: An experience report

This is the preprint version of the article - Copyright @ 2011 ElsevierContext The increasing presence of Object-Oriented (OO) programs in industrial systems is progressively drawing the attention of mutation researchers toward this paradigm. However, while the number of research contributions in this topic is plentiful, the number of empirical results is still marginal and mostly provided by researchers rather than practitioners. Objective This article reports our experience using mutation testing to measure the effectiveness of an automated test data generator from a user perspective. Method In our study, we applied both traditional and class-level mutation operators to FaMa, an open source Java framework currently being used for research and commercial purposes. We also compared and contrasted our results with the data obtained from some motivating faults found in the literature and two real tools for the analysis of feature models, FaMa and SPLOT. Results Our results are summarized in a number of lessons learned supporting previous isolated results as well as new findings that hopefully will motivate further research in the field. Conclusion We conclude that mutation testing is an effective and affordable technique to measure the effectiveness of test mechanisms in OO systems. We found, however, several practical limitations in current tool support that should be addressed to facilitate the work of testers. We also missed specific techniques and tools to apply mutation testing at the system level.This work has been partially supported by the European Commission (FEDER) and Spanish Government under CICYT Project SETI (TIN2009-07366) and the Andalusian Government Projects ISABEL (TIC-2533) and THEOS (TIC-5906)

Analytical Heat Transfer Modeling of the Microwave Heating Process: A Focus on Carbon Black

Electronic waste (e-waste) has become a significant environmental issue due to the rapid advancement of technology, increasing demand for electronic devices, and shorter lifespan of electronics. One critical step in processing the e-waste involves ball milling as a means of preparing the recycling e-waste for the recovery of critical materials. Ball milling is a technique that involves the mechanical crushing and grinding of electronic waste to reduce its size and improve its reactivity during recovery. Our focused recovery technique is based on a microwave recovery technique of these critical materials from e-waste. The size and distribution of the e-waste with the addition of carbon black material influence how the e-waste is heated in a microwave reactor. This problem report provides details on how to model the heat transfer process during microwave irradiation for the ball-milled materials, with a specific focus on carbon black. This study utilizes an analytical modeling technique based on the transient heat conduction equation of the heat transfer within a solid sphere with specific generation and convective boundary conditions that represent a packed bed of particles. The approach solved the second-order partial differential transient heat conduction equation using a Green\u27s Functions approach. Significant emphasis is applied to the description of the internal heat generation term that is dependent on the microwave loss within the carbon black material. The analytical solution was verified and validated using a Finite Element method. Ultimately, the analytical expression provides a quick and accurate way of determining optimal ball milling sizes and packing density to achieve optimal heating of carbon-containing e-waste

LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems

Mutation testing is a well-studied method for increasing the quality of a test suite. We designed LittleDarwin as a mutation testing framework able to cope with large and complex Java software systems, while still being easily extensible with new experimental components. LittleDarwin addresses two existing problems in the domain of mutation testing: having a tool able to work within an industrial setting, and yet, be open to extension for cutting edge techniques provided by academia. LittleDarwin already offers higher-order mutation, null type mutants, mutant sampling, manual mutation, and mutant subsumption analysis. There is no tool today available with all these features that is able to work with typical industrial software systems.Comment: Pre-proceedings of the 7th IPM International Conference on Fundamentals of Software Engineerin

Economic assessment of agricultural biotechnolgy

Facing the future with biotechnology requires recognition that the times are changing and agriculture with it. Economic assessment must consider the effects of changes in the overall “macro” environment in making predictions based on the “micro” unit

Quality metrics for mutation testing with applications to WS-BPEL compositions

Mutation testing is a successful testing technique based on fault injection. However, it can be very costly, and several cost-reduction techniques for reducing the number of mutants have been proposed in the literature. Cost reduction can be aided by an analysis of mutation operators, but this requires the definition of specialized metrics. Several metrics have been proposed before, although their effectiveness and relative merits are not easy to assess. A step ahead in the evaluation of mutation-reduction techniques would be a better metric to determine objectively the quality of a set of mutants with respect to a given test suite. This work introduces such a metric, which is naturally extended to mutation operators and may be used to reduce the number of mutants, particularly of equivalent mutants. Finally, a firm mutation analysis tool for WS-BPEL service compositions is presented, and experimental results obtained by comparing different metrics on several compositions are presented