Testing Web applications by modeling with FSMs

Researchers and practitioners are still trying to find effective ways to model and test Web applications. This paper proposes a system-level testing technique that combines test generation based on finite state machines with constraints. We use a hierarchical approach to model potentially large Web applications. The approach builds hierarchies of Finite State Machines (FSMs) that model subsystems of the Web applications, and then generates test requirements as subsequences of states in the FSMs. These subsequences are then combined and refined to form complete executable tests. The constraints are used to select a reduced set of inputs with the goal of reducing the state space explosion otherwise inherent in using FSMs. The paper illustrates the technique with a running example of a Web-based course student information system and introduces a prototype implementation to support the technique.     

OWL-Eu: Adding customised datatypes into OWL

Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users will not adopt OWL unless this limitation is overcome, and the W3C Semantic Web Best Practices and Development Working Group has set up a task force to address this issue. This paper makes the following two contributions: (i) it provides a brief summary of OWL-related datatype formalisms, and (ii) it provides a decidable extension of OWL DL, called OWL-Eu, that supports customised datatypes. A detailed proof of the decidability of OWL-Eu is presented.     

Customization of a Commercially Available Prep Scale SFC System to Provide Enhanced Capabilities

Preparative Scale Supercritical Fluid Chromatography is emerging as a powerful alternative to HPLC for the purification and separation of complex chemical reaction mixtures. Advantages include greatly reduced solvent usage (and thus lower cost and environmental impact), higher throughput, and in some cases higher resolution. While there are commercially available prep SFC instruments, none currently offer all the features desired by many medicinal chemists engaged in the drug discovery process. These include: the ability to collect an unlimited number of fractions per sample with high recovery and negligible carryover, fully automated capacity to collect several hundred fractions, and the ability to collect fractions into the same disposable test tubes and racks which are already employed in HPLC. This article describes the customization of a preparatory scale SFC system purchased from Berger Instruments, Inc., Newark, DE. (a subsidiary Mettler-Toledo International, Inc., of Greifensee, Switzerland) in order to provide these capabilities.     

Metabolite-sensitive holographic biosensors

A new type of biosensor that combines the inexpensiveness and mass-produceability of reflection holograms with the selectivity and specificity of enzymes is described. pH-sensitive holographic sensors were fabricated from ionizable monomers incorporated into thin, polymeric, hydrogel films which were transformed into volume holograms using a diffusion method coupled with holographic recording, using a frequency-doubled Nd:YAG laser (532 nm). These holograms were used as transducer systems to monitor the pH changes associated with specific enzymatic reactions to construct prototype urea- and penicillin-sensitive biosensors. The diffraction wavelength (color) of the holographic biosensors was used to characterize their shrinkage and swelling behavior as a function of analyte concentration. The potential of these sensors for the measurement of the clinically and industrially important metabolites urea and penicillin G is demonstrated.     

Simultaneous registration and activation detection for fMRI

Registration using the least-squares cost function is sensitive to the intensity fluctuations caused by the blood oxygen level dependent (BOLD) signal in functional MRI (fMRI) experiments, resulting in stimulus-correlated motion errors. These errors are severe enough to cause false-positive clusters in the activation maps of datasets acquired from 3T scanners. This paper presents a new approach to resolving the coupling between registration and activation. Instead of treating the two problems as individual steps in a sequence, they are combined into a single least-squares problem and are solved simultaneously. Robustness tests on a variety of simulated three-dimensional EPI datasets show that the stimulus-correlated motion errors are removed, resulting in a substantial decrease in false-positive and false-negative activation rates. The new method is also shown to decorrelate the motion estimates from the stimulus by testing it on different in vivo fMRI datasets acquired from two different 3T scanners.     

Verifying feature models using OWL

Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also show that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should be fully automated and efficient. At the same time, the reasoning tool should scale up well since it may need to handle hundreds or even thousands of features a that modern software systems may have. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web OWL ontologies. We use OWL DL ontologies to precisely capture the inter-relationships among the features in a feature diagram. OWL reasoning engines such as FaCT++ are deployed to check for the inconsistencies of feature configurations fully automatically. Furthermore, a general OWL debugger has been developed to tackle the disadvantage of lacking debugging aids for the current OWL reasoner and to complement our verification approach. We also developed a CASE tool to facilitate visual development, interchange and reasoning of feature diagrams in the Semantic Web environment.     

Normality evaluations and their relation to personality traits and well-being.

Despite frequent discussions of what it means to be normal in clinical, social, and personality psychology theory, the characteristics of individuals who call themselves normal are little understood. In 5 studies, the authors investigated various hypotheses concerning the nature of normality evaluations. The authors add to recent evidence that normality evaluations represent a distinct dimension of evaluative judgments, showing self-judgments of being normal (versus strange) to be relatively independent from self-judgments of being average (versus unique). Normality evaluations showed positive relations with communal traits such as agreeableness, conscientiousness, and emotional stability, and were negatively related to openness to experience. Supporting a broader hypothesis that normality evaluations may be involved in directing or motivating personality development processes, normality evaluations were positively associated with well-being and a sense of fitting in with one's peers, and individuals who felt abnormal felt a heightened sense that they needed to improve their personality. Finally, the personality correlates of normality evaluations were found to change over the lifespan, largely in parallel with the actual mean-level development of personality traits with age. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Structural Engineering with NiTi. II: Mechanical Behavior and Scaling

This paper continues to address the overarching goal to provide a more unified understanding of NiTi shape memory alloys intended for use in structural applications by attempting to link standard processing practice and basic materials characterization to the deformation behavior of large diameter bars. Results from cyclic tensile tests performed on large diameter Ni-rich polycrystalline NiTi bars are presented. Coupon specimens taken from deformation processed bars with diameters of 12.7, 19.1, and 31.8?mm are tested along with their respective full-scale specimens. The coupon tests results reveal small and highly variable differences between specimens taken from the different size bars. The full-scale specimen tests continue to show the presence of the R phase, but lack a Lüders-like transformation. A comparison of the results suggests that coupon specimens provide only limited information in terms of the full-scale behavior. Full-scale tests using an earthquake-type loading then show similar behavior to the tensile cyclic tests suggesting the ability to use NiTi in structural applications. Overall, this paper and Tyber et al. 2007 provide a multiscale analysis of NiTi shape memory alloys to be used by both material scientist and civil engineers in the development of applications for NiTi.     

Is death really the worm at the core? Converging evidence that worldview threat increases death-thought accessibility.

According to terror management theory, if the cultural worldview protects people from thoughts about death, then weakening this structure should increase death-thought accessibility (DTA). Five studies tested this DTA hypothesis. Study 1 showed that threatening Canadian participants' cultural values (vs. those of another culture) increased DTA on a word-fragment completion task. Study 2 showed that when participants could dismiss the threat, DTA remained low. Study 3 replicated the results of Study 1, but DTA was measured using a lexical decision task. Response latencies to death, negative, and neutral content were measured. Worldview threat increased DTA relative to accessibility for negative and neutral content. Study 4 showed that the DTA effect emerged independently of the arousal of anger or anxiety. Finally, Study 5 demonstrated that participants with a pro-creation (vs. pro-evolution) worldview had higher DTA after reading an anti-creation article. Discussion focused on theoretical implications and directions for further research. (PsycINFO Database Record (c) 2010 APA, all rights reserved)