Specification-based Testing for Gui-based Applications

The development of GUI-based applications has raised a lot of new issues, one of them being how to automate effective testing for applications with complicated graphical user interactions. In this paper, we discuss the architectural issues and the implementation concerns of our approach to an automated specification-based testing technique for GUI-based applications. This approach is carried out by enriching existing architecture for automated specification-based testing. An essential part of our work is a visual environment to obtain test specifications. This environment pre-runs the Application Under Test (AUT) under its own control, with two prominent characteristics: First, testers can edit test specifications within the true GUI environment of the AUT. Second, the recorded input and output contain the same references as those in the AUT, so that the test cases generated from the edited specification can be used directly by test oracles during the automated testing procedure.We present our running prototype of a visual specification editor that allows users to graphically manipulate test specifications when these specifications are given in term of Finite State Machines (FSM) and the implementations of the AUT are GUI-based Java applications.     

Box counting–based multifractal analysis of network to detect Domain Name Server attack

Domain Name Server (DNS) is a type of server used to maintain and process the IP addresses of all the domains in the Internet. It works by responding with corresponding IP addresses when a client requests with a domain name. The DNS can be attacked by redirecting all the incoming traffic to a fake server by returning fake IP address when requested by a client. In this work, a novel work has been employed to detect DNS attack using box‐counting method (BCM)–based multifractal analysis. A set of network features are selected and rules are created using CISCO's Flowspec model, and those features are analysed using BCM technique to find the attack in the network traffic. To the best of our knowledge, this is the first work that implements Flowspec‐based monitoring of DNS attack using fractal analysis.     

Modeling and Experimental Verification of the Dynamic Interaction of an AFM-Tip With a Photonic Crystal Microcavity

We present a transmission model for estimating the effect of the atomic-force microscopy tapping tip height on a photonic crystal microcavity (MC). This model uses a fit of the measured tip-height-dependent transmission above a ldquohot spotrdquo in the MC. The predicted transmission versus average tapping height is in good agreement with the values obtained from tapping mode experiments. Furthermore, we show that for the existing, nonoptimized structure, the transmission coefficient can be tuned between 0.32 and 0.8 by varying the average tapping height from 26 to 265 nm. A transmission larger than that of the undisturbed cavity at resonance was observed at specific tip locations just outside the cavity-terminating holes.     

Optimization of biodiesel produced from watermelon (Citrullus vulgaris) using batch-type production unit

In the present work the production of a biodiesel from watermelon seed oil (Citrullus vulgaris) by methanol-induced transesterification using an alkaline catalyst (potassium hydroxide, KOH) has been examined. The influence of the operating variables such as agitation speed, temperature, reaction time, alcohol amount, and catalyst concentration was determined experimentally and found to be 550 rpm agitation rate, 60°C reaction temperature, 55 min reaction time, 20% of methanol, and 13 g of catalysts concentration for 2.5 liters of oil. The yield of biodiesel from the watermelon methyl ester (WME) under optimized conditions is found to be 91%. The properties of biodiesel are measured as per ASTM standards and compared with the base diesel.     

Influence of Early Temperature Rise on Movements and Stress Development in Concrete Decks

The primary focus of this paper is to develop an understanding of temperature changes introduced by hydration heat release in the first few hours after casting in the thermal movements and stresses of the concrete deck and girders. Temperature and strain measurements from a simply supported, single-span, steel girder bridge with a composite concrete deck are presented. It is shown that setting occurs during the temperature rise and partial strain compatibility between steel girder and concrete deck is initiated at the end of the concrete temperature rise. Full strain compatibility between concrete deck and steel girder is achieved at the end of the cooling period following the initial temperature rise. The stresses in the steel girder associated with temperature changes are interpreted using an analytical model. It is shown that the concrete deck gains sufficient stiffness at the end of the temperature rise to restrain the movement of the top flange. Concrete deck movement in the period associated with cooling following the initial temperature rise is restrained, which could potentially produce tensile stress in concrete. The magnitude of tensile stress at the end of the cooling period depends upon the difference in the temperatures of the concrete deck and top flange and on the temperature gradient in the steel girder at the end of the heating period.     

Response of an Elastic Structure Subject to Air Shock Considering Fluid-Structure Interaction

Shock-wave interaction with an elastic structure is investigated using a coupled numerical analysis approach, which considers solid-fluid interaction within an arbitrary Lagrangian-Eulerian framework. The analysis is performed considering a compressive shock wave, where the shock front is followed by constant pressure. An analysis procedure, which considers the change in the fluid domain due to the deformation of the solid and changes in the overpressure due to the movement of the elastic structure, is developed. Approximate numerical procedures for solving the Riemann problem associated with the shock are implemented within the Godunov finite volume scheme for the fluid domain. The influences of parameters such as structural stiffness and mass of the system on the displacement, velocity, and energy of the elastic structure following the shock-wave incidence are investigated. Immediately after the contact of the shock wave with the solid surface the pressure at the face of the elastic solid rises to a value which is equal to that obtained off of a fixed rigid wall. Subsequently, the motion of the piston produces changes in the applied pressure. The overpressure applied to the elastic system does not have a fixed profile but it depends on its elastic stiffness and structure mass. It is shown that there is a continuous exchange of energy between the air and the moving elastic structure, which produces a damped motion of the solid. The effect of damping is considerable for the cases of low elastic stiffness and low structural mass, where the resulting motion of the solid is nonoscillatory. The conventional analysis procedure, which ignores the energy exchange between the air and the moving solid, predicts an undamped oscillatory response of the structure for all cases considered. It is shown that neglecting the interaction between the air and solid can produce significant error in the total energy of the structure and the dynamic load factor when the resulting motion is nonoscillatory.     

Energy transfer: Visualizing Resonance Energy Transfer in Supramolecular Surface Patterns of β‐CD‐Functionalized Quantum Dot Hosts and Organic Dye Guests by Fluorescence Lifetime Imaging (Small 24/2010)

Detection of an analyte via supramolecular host–guest binding and quantum dot (QD)‐based fluorescence resonance energy transfer (FRET) signal transduction mechanism is demonstrated. Surface patterns consisting of CdSe/ZnS QDs functionalized at their periphery with β‐cyclodextrin (β‐CD) were obtained by immobilization of the QDs from solution onto glass substrates patterned with adamantyl‐terminated poly(propylene imine) dendrimeric “glue.” Subsequent formation of host–guest complexes between vacant β‐CD on the QD surface and an adamantyl‐functionalized lissamine rhodamine resulting in FRET was confirmed by fluorescence microscopy, spectroscopy, and fluorescence lifetime imaging microscopy (FLIM).     

New uses of linear arithmetic in automated theorem proving by induction

Zhang, Kapur, and Krishnamoorthy introduced a cover set method for designing induction schemes for automating proofs by induction from specifications expressed as equations and conditional equations. This method has been implemented in the theorem prover Rewrite Rule Laboratory (RRL) and a proof management system Tecton built on top of RRL, and it has been used to prove many nontrivial theorems and reason about sequential as well as parallel programs. The cover set method is based on the assumption that a function symbol is defined by using a finite set of terminating (conditional or unconditional) rewrite rules. The termination ordering employed in orienting the rules is used to perform proofs by well-founded induction. The left sides of the rules are used to design different cases of an induction sheme, and recursive calls to the function made in the right side can be used to design appropriate instantiations for generating induction hypotheses. A weakness of this method is that it relies on syntactic unification for generating an induction scheme for a conjecture. This paper goes a step further by proposing semantic analysis for generating an induction scheme for a conjecture from a cover set. We discuss the use of a decision procedure for Presburger arithmetic (quantifier-free theory of numbers with the addition operation and relational predicates >, <, ≠, =, ⩾, ⩽) for performing semantic analysis about numbers. The decision procedure is used to generate appropriate induction schemes for a conjecture by using cover sets of function taking numbers as arguments. This extension of the cover set method automates proofs of many theorems that otherwise require human guidance and hints. The effectiveness of the method is demonstrated by using some examples that commonly arise in reasoning about specifications and programs. It is also shown how semantic analysis using a Presburger arithmetic decision procedure can be used for checking the completeness of a cover set of a function defined by using operations such as + and — on numbers. With this check, many function definitions used in a proof of the prime factorization theorem stating that every number can be factored uniquely into prime factors, which had to be checked manually, an now be checked automatically in RRL. The use of the decision procedure for guiding generalization for generating conjectures and merging induction schemes is also illustrated. Partially supported by the National Science Foundation Grant No. CCR-9303394 and subcontract CB0249 of SRI contract MDA904-92-C-5186 with The Maryland Procurement Office.     

Reducing the flexibility of retinal restores a wild-type-like photocycle in bacteriorhodopsin mutants defective in protein-retinal coupling

The thermal re-isomerization of retinal from the 13-cis to the all-trans state is a key step in the final stages of the photocycle of the light-driven proton pump, bacteriorhodopsin. This step is greatly slowed upon replacement of Leu-93, a residue in van der Waals contact with retinal. The most likely role of this key interaction is that it restricts the flexibility of retinal. To test this hypothesis, we have exchanged native retinal in Leu-93 mutants with bridged retinal analogs that render retinal less flexible by restricting free rotation around either the C10-C11 (9,11-bridged retinal) or C12-C13 (11,13-bridged retinal) single bonds. The effect of the analogs on the photocycle was then determined spectroscopically by taking advantage of the previous finding that the decay of the O intermediate in the Leu-93 mutants provides a convenient marker for retinal re-isomerization. Time-resolved spectroscopic studies showed that both retinal analogs resulted in a dramatic acceleration of the photocycling time by increasing the rate of decay of the O intermediate. In particular, exchange of native retinal in the Leu-93 --> Ala mutant with the 9,11-bridged retinal resulted in an acceleration of the decay of the O intermediate to a rate similar to that seen in wild-type bacteriorhodopsin. We conclude that the protein-induced restriction of conformational flexibility in retinal is a key structural requirement for efficient protein-retinal coupling in the bacteriorhodopsin photocycle.