Are test cases needed? Replicated comparison between exploratory and test-case-based software testing

Manual software testing is a widely practiced verification and validation method that is unlikely to fade away despite the advances in test automation. In the domain of manual testing, many practitioners advocate exploratory testing (ET), i.e., creative, experience-based testing without predesigned test cases, and they claim that it is more efficient than testing with detailed test cases. This paper reports a replicated experiment comparing effectiveness, efficiency, and perceived differences between ET and test-case-based testing (TCT) using 51 students as subjects, who performed manual functional testing on the jEdit text editor. Our results confirm the findings of the original study: 1) there is no difference in the defect detection effectiveness between ET and TCT, 2) ET is more efficient by requiring less design effort, and 3) TCT produces more false-positive defect reports than ET. Based on the small differences in the experimental design, we also put forward a hypothesis that the effectiveness of the TCT approach would suffer more than ET from time pressure. We also found that both approaches had distinctive issues: in TCT, the problems were related to correct abstraction levels of test cases, and the problems in ET were related to test design and logging of the test execution and results. Finally, we recognize that TCT has other benefits over ET in managing and controlling testing in large organizations.     

A portable device for intensive care brain function monitoring with event-related potentials

Monitoring level of consciousness or depth of sedation is essential in modern intensive care units and emergency rooms. Current methods are based on spontaneous EEG providing only indirect information on the reactivity of the brain. Measurement of auditory event-related potentials (ERPs) has been shown to have additional potential for evaluation of the level of consciousness. Unfortunately, compact and easy-to-use devices are not commercially available. In this study a portable battery-powered device for clinical auditory ERP measurements was designed, constructed and validated. The device consists of a five-channel data logger and a 16-bit stereo audio stimulator. The signals are digitized with a 22-bit sigma-delta analogue-to-digital converter and stored to a PC Card hard disk. Prior to the in vivo application, the device was validated with extensive technical tests. Importantly, the RMS noise amplitude of the EEG channels was found to be less than 1 mivroV and the delivered auditory stimulus intensity corresponded accurately the settings (mean difference 0.2+/-0.5 dB). In addition to technical tests the device was successfully validated in vivo. To summarize, a novel portable instrument for measurement of auditory event-related potentials in intensive care environment is introduced.     

On Definability in Dependence Logic

We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.     

From big smartphone data to worldwide research: The Mobile Data Challenge

This paper presents an overview of the Mobile Data Challenge (MDC), a large-scale research initiative aimed at generating innovations around smartphone-based research, as well as community-based evaluation of mobile data analysis methodologies. First, we review the Lausanne Data Collection Campaign (LDCC), an initiative to collect unique longitudinal smartphone dataset for the MDC. Then, we introduce the Open and Dedicated Tracks of the MDC, describe the specific datasets used in each of them, discuss the key design and implementation aspects introduced in order to generate privacy-preserving and scientifically relevant mobile data resources for wider use by the research community, and summarize the main research trends found among the 100+ challenge submissions. We finalize by discussing the main lessons learned from the participation of several hundred researchers worldwide in the MDC Tracks.     

The Role of the Oxygen Molecule in the Photolysis of Fullerenes

Experiments designed to clarify the role of molecular oxygen in the photolysis of fullerene are described. The formation of oxygen-fullerene adducts, both in fullerene solutions in various solvents and in micro-crystallites formed by evaporating these solutions, and their photolysis was studied under various experimental conditions. The results confirm that the role of oxygen in the photolysis process in these systems is ambivalent and highly dependent on the conditions under which the irradiation of the fullerenes occurs (wavelength and intensity of the photolyzing radiation, character of the solvent molecules, presence of additional molecules in the solvent-fullerene-oxygen system, etc.).     

Analysis of regioisomers of triacylglycerols of northern currant seed oil by tandem mass spectrometry

Currant oils have special health properties due to their moderate contents of α‐linolenic, γ‐linolenic and stearidonic acids. The distribution of fatty acids (FA) in the triacylglycerols (TAG) may affect the beneficial effects. Seed oils of wild northern red currant (NRC) (Ribes spicatum L.) from Northern Finland and of wild alpine currant (AC) (R. alpinum L.) from the South‐West coast of Finland were investigated. The purified TAG were analysed by tandem mass spectrometry by applying the ammonia negative ion chemical ionisation – collision‐induced dissociation method. Molecular weight fractions rich in C18:3 FA and C18:4 FA were investigated. Of the total oil, the molecular weight species 54:7 (ACN:DB), 54:8 and 54:9 were more abundant in NRC than in AC, being 21.0%, 15.8%, 7.4% and 16.2%, 11.2%, 4.8%, respectively (p <0.05). The species 52:6 was more abundant in AC (3.1%) than in NRC (2.6%) (p <0.05). The preferential order of FA to be in the sn‐2 position in both berries was typically C18:1 > C18:2 > C18:4 > C18:3. No difference was observed between relative locations of C16:0 FA and C18:3 FA in either of the oils. Within the TAG consisting of FA combinations C18:3/C18:3/C18:1 (54:7), C18:1 was more preferentially in the sn‐2 position (p <0.05) in AC (93.2%) than in NRC (74.6%), and in the case of C18:3, the preference was vice versa. Within the molecular weight species 54:9, FA combination C18:4/C18:3/C18:2, linoleic acid preferentially occupied the secondary position (p <0.005) in both berries, and the proportion of the TAG regioisomer pair sn‐C18:3‐C18:4‐C18:2 + sn‐C18:2‐C18:4‐C18:3 was more abundant (30.2%) in NRC than in AC (15.3%). Within the TAG species 52:6, proportions of all the existing combinations, C16:0/C18:3/C18:3, C16:0/C18:4/C18:2 and C16:1/C18:3/C18:2, varied between the two berry species (p <0.005).     

A Novel Environment Characterization Metric for Clustered MIMO Channels

In this work we introduce a novel metric for characterizing the double-directional propagation environment and use this metric to assess the performance of a SAGE parameter estimator for MIMO channels. Using the IlmProp, a geometry-based MIMO channel modeling tool, we construct synthetic channels for three different scenarios showing: (i) well separated clusters containing dense propagation paths, and single-bounce scattering; (ii) partly overlapping clusters containing widely spread propagation paths, and single-bounce scattering; (iii) unclustered multipath components (“rich scattering”), and double-bounce-only scattering. We model the scatterers and the receiver in the environment as fixed, but the transmitter as moving. The Initialization and Search-Improved SAGE (ISIS) estimation tool is used to extract the propagation paths from the constructed channels. Both true and estimated paths are fed to the new system-independent metric which genuinely reflects the structure of the channel and the compactness of the propagation paths. We use this metric to decide on the accuracy of the channel estimator. The results show a convincing agreement between true and estimated paths.     

Near-Infrared Laser-Induced Decomposition of C60 Dissolved in Toluene

In this paper we describe the efficient and substantial decomposition of C₆₀ in toluene solution, induced by moderate intensity (I = 20 - 55 MW cm^-2) near infrared (γ = 1064 nm) laser radiation. This behavior is surprising since both uncharged fullerene and toluene do not have any absorption bands at this wavelength. The decomposition efficiency and products are investigated with UV-Vis absorption spectrophotometry and high-performance liquid-chromatography (HPLC). Possible mechanisms of the fullerene decomposition are discussed.