A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools

Pseudo-single crystal electrochemistry on polycrystalline electrodes : visualizing activity at grains and grain boundaries on platinum for the Fe2+/Fe3+ redox reaction

The influence of electrode surface structure on electrochemical reaction rates and mechanisms is a major theme in electrochemical research, especially as electrodes with inherent structural heterogeneities are used ubiquitously. Yet, probing local electrochemistry and surface structure at complex surfaces is challenging. In this paper, high spatial resolution scanning electrochemical cell microscopy (SECCM) complemented with electron backscatter diffraction (EBSD) is demonstrated as a means of performing ‘pseudo-single-crystal’ electrochemical measurements at individual grains of a polycrystalline platinum electrode, while also allowing grain boundaries to be probed. Using the Fe2+/3+ couple as an illustrative case, a strong correlation is found between local surface structure and electrochemical activity. Variations in electrochemical activity for individual high index grains, visualized in a weakly adsorbing perchlorate medium, show that there is higher activity on grains with a significant (101) orientation contribution, compared to those with (001) and (111) contribution, consistent with findings on single-crystal electrodes. Interestingly, for Fe2+ oxidation in a sulfate medium a different pattern of activity emerges. Here, SECCM reveals only minor variations in activity between individual grains, again consistent with single-crystal studies, with a greatly enhanced activity at grain boundaries. This suggests that these sites may contribute significantly to the overall electrochemical behavior measured on the macroscale

Generation of a wave packet tailored to efficient free space excitation of a single atom

We demonstrate the generation of an optical dipole wave suitable for the process of efficiently coupling single quanta of light and matter in free space. We employ a parabolic mirror for the conversion of a transverse beam mode to a focused dipole wave and show the required spatial and temporal shaping of the mode incident onto the mirror. The results include a proof of principle correction of the parabolic mirror's aberrations. For the application of exciting an atom with a single photon pulse we demonstrate the creation of a suitable temporal pulse envelope. We infer coupling strengths of 89% and success probabilities of up to 87% for the application of exciting a single atom for the current experimental parameters.Comment: to be published in Europ. Phys. J.

Compression garments and fabric orthoses for rehabilitation and function: a systematic mapping review.

Background/aims: Compression garments, joint supports and dynamic movement orthoses all use elastic fibres and close-fitting designs and have been researched for their effects on movement. There is little cross-referencing between research into these interventions. This review aimed to improve inter-disciplinary understanding by analysing key characteristics of the published evidence. Methods: Systematic mapping reviews identify gaps in an evidence base and identify questions for more in-depth reviews. This review was conducted in-line with current guidance. MEDLINE, CINAHL and Sports Discuss were searched for primary research investigating compression garments and orthoses for movement and function. The following search terms were used: "elastane", "spandex", "Lycra", "elastomer*", "Theratog*", "compression", "Neoprene", "orthotic", "orthosis", "shorts", "garment*", "splint", "brace", "sock*" and "stockings". Studies were screened against predetermined criteria and key study characteristics extracted. Findings: Three hundred and fifty-one studies were selected and analysed. Compression garment research was most common (236 studies), followed by research into joint supports (64 studies) and dynamic movement orthoses (42 studies). Research largely reflects the purpose for which each intervention was originally designed. Common topics investigated include posture and movement control, proprioception and muscle activity. Pressure beneath compression garments was measured in 30% of studies. Conclusions: The review highlights a need for more robust study designs in patient populations and accurate description of interventions. There is a need for a review on the possible effects of compression and support on movement control which should be used to inform future primary research

Lewis Base Mediated β-Elimination and Lewis Acid Mediated Insertion Reactions of Disilazido Zirconium Compounds

The reactivity of a series of disilazido zirconocene complexes is dominated by the migration of anionic groups (hydrogen, alkyl, halide, OTf) between the zirconium and silicon centers. The direction of these migrations is controlled by the addition of two-electron donors (Lewis bases) or two-electron acceptors (Lewis acids). The cationic nonclassical [Cp2ZrN(SiHMe2)2]+ ([2]+) is prepared from Cp2Zr{N(SiHMe2)2}H (1) and B(C6F5)3 or [Ph3C][B(C6F5)4], while reactions of B(C6F5)3 and Cp2Zr{N(SiHMe2)2}R (R = Me (3), Et (5), n-C3H7 (7), CH═CHSiMe3 (9)) provide a mixture of [2]+ and [Cp2ZrN(SiHMe2)(SiRMe2)]+. The latter products are formed through B(C6F5)3 abstraction of a β-H and R group migration from Zr to the β-Si center. Related β-hydrogen abstraction and X group migration reactions are observed for Cp2Zr{N(SiHMe2)2}X (X = OTf (11), Cl (13), OMe (15), O-i-C3H7 (16)). Alternatively, addition of DMAP (DMAP = 4-(dimethylamino)pyridine) to [2]+ results in coordination to a Si center and hydrogen migration to zirconium, giving the cationic complex [Cp2Zr{N(SiHMe2)(SiMe2DMAP)}H]+ ([19]+). Related hydrogen migration occurs from [Cp2ZrN(SiHMe2)(SiMe2OCHMe2)]+ ([18]+) to give [Cp2Zr{N(SiMe2DMAP)(SiMe2OCHMe2)}H]+ ([22]+), whereas X group migration is observed upon addition of DMAP to [Cp2ZrN(SiHMe2)(SiMe2X)]+ (X = OTf ([12]+), Cl ([14]+)) to give [Cp2Zr{N(SiHMe2)(SiMe2DMAP)}X]+ (X = OTf ([26]+), Cl ([20]+)). The species involved in these transformations are described by resonance structures that suggest β-elimination. Notably, such pathways are previously unknown in early metal amide chemistry. Finally, these migrations facilitate direct Si–H addition to carbonyls, which is proposed to occur through a pathway that previously had been reserved for later transition metal compounds

The Observed Correlations for the Strange Multibaryon States in Systems with Λ\Lambda-Hyperon from pa Collision at Momentum of 10 Gev/cc

he observed well-known resonances $\Sigma^0$ $\Sigma^{*+}$(1385) and $K^{*\pm}$(892) from PDG are good tests of this method. Exotic strange multibaryon states have been observed in the effective mass spectra of: $\Lambda \pi^{\pm}$,$\Lambda \gamma$, $\Lambda p$, $\Lambda p p$ subsystems. The mean value of mass for $\Sigma^{*-}(1385)$ resonance is shifted till mass of 1370 MeV/$c^2$ and width is two times larger than the same value from PDG. Such kind of behavior for width and invariant mass of $\Sigma^{*-}(1385)$ resonance is interpreted as extensive contribution from stopped $\Xi^-\to\Lambda\pi^-$ and medium effect with invariant mass. The mean value of mass for $\Sigma^{*+}(1385)$ from secondary interactions is also shifted till mass of 1370 MeV/$c^2$. The width of $\Sigma^0$ is $\approx$ 2 times larger than the experimental error. There are enhancement production for all observed hyperons.Comment: 4 pages, 6 figures, XXIst Rencontres de Blois "Windows on the Universe " Blois, France June 21st - June 26th, 200