Testing of Android testing tools: development of a benchmark for the evaluation

With the ever growing trend of smart phones and tablets, Android is becoming more and more popular everyday. With more than one billion active users i to date, Android is the leading technology in smart phone arena. In addition to that, Android also runs on Android TV, Android smart watches and cars. Therefore, in recent years, Android applications have become one of the major development sectors in software industry. As of mid 2013, the number of published applications on Google Play had exceeded one million and the cumulative number of downloads was more than 50 billionii. A 2013 survey also revealed that 71% of the mobile application developers work on developing Android applicationsiii. Considering this size of Android applications, it is quite evident that people rely on these applications on a daily basis for the completion of simple tasks like keeping track of weather to rather complex tasks like managing one’s bank accounts. Hence, like every other kind of code, Android code also needs to be verified in order to work properly and achieve a certain confidence level. Because of the gigantic size of the number of applications, it becomes really hard to manually test Android applications specially when it has to be verified for various versions of the OS and also, various device configurations such as different screen sizes and different hardware availability. Hence, recently there has been a lot of work on developing different testing methods for Android applications in Computer Science fraternity. The model of Android attracts researchers because of its open source nature. It makes the whole research model more streamlined when the code for both, application and the platform are readily available to analyze. And hence, there has been a great deal of research in testing and static analysis of Android applications. A great deal of this research has been focused on the input test generation for Android applications. Hence, there are a several testing tools available now, which focus on automatic generation of test cases for Android applications. These tools differ with one another on the basis of their strategies and heuristics used for this generation of test cases. But there is still very little work done on the comparison of these testing tools and the strategies they use. Recently, some research work has been carried outiv in this regard that compared the performance of various available tools with respect to their respective code coverage, fault detection, ability to work on multiple platforms and their ease of use. It was done, by running these tools on a total of 60 real world Android applications. The results of this research showed that although effective, these strategies being used by the tools, also face limitations and hence, have room for improvement. The purpose of this thesis is to extend this research into a more specific and attribute-­‐ oriented way. Attributes refer to the tasks that can be completed using the Android platform. It can be anything ranging from a basic system call for receiving an SMS to more complex tasks like sending the user to another application from the current one. The idea is to develop a benchmark for Android testing tools, which is based on the performance related to these attributes. This will allow the comparison of these tools with respect to these attributes. For example, if there is an application that plays some audio file, will the testing tool be able to generate a test input that will warrant the execution of this audio file? Using multiple applications using different attributes, it can be visualized that which testing tool is more useful for which kinds of attributes. In this thesis, it was decided that 9 attributes covering the basic nature of tasks, will be targeted for the assessment of three testing tools. Later this can be done for much more attributes to compare even more testing tools. The aim of this work is to show that this approach is effective and can be used on a much larger scale. One of the flagship features of this work, which also differentiates it with the previous work, is that the applications used, are all specially made for this research. The reason for doing that is to analyze just that specific attribute in isolation, which the application is focused on, and not allow the tool to get bottlenecked by something trivial, which is not the main attribute under testing. This means 9 applications, each focused on one specific attribute. The main contributions of this thesis are: A summary of the three existing testing tools and their respective techniques for automatic test input generation of Android Applications. • A detailed study of the usage of these testing tools using the 9 applications specially designed and developed for this study. • The analysis of the obtained results of the study carried out. And a comparison of the performance of the selected tools.

How future trends may affect international cooperation in planning education : the case of Spain and Latin America

Despite the benefits for exc hanging experiences among planners at the global scale, the strong context dependency of urban planning creates in many instances significant difficulties to extrapolate experiences from one geographical context to the other. If progress is to be achieved in international cooperation programmes, differences and commonalities should be assessed before la unching any academic initiative. In that respect, this p aper makes a brief foresight exercise on how future trends and challenges, which may affect the urban pl anning field, should be taken into consideration according to two different contexts: Spain and Latin America. A segmentation matrix is used to expose a nd discuss the different effects of future trends on both contexts. Some tentative conclusions are drawn for the development of international educational programmes

Sterol regulatory element binding protein-1c is a major mediator of insulin action on the hepatic expression of glucokinase and lipogenesis-related genes

Hepatic glucokinase plays a key role in glucose metabolism as underlined by the anomalies associated with glucokinase mutations and the consequences of tissue-specific knock-out. In the liver, glucokinase transcription is absolutely dependent on the presence of insulin. The cis-elements and trans-acting factors that mediate the insulin effect are presently unknown; this is also the case for most insulin-responsive genes. We have shown previously that the hepatic expression of the transcription factor sterol regulatory element binding protein-1c (SREBP-1c) is activated by insulin. We show here in primary cultures of hepatocytes that the adenovirus-mediated transduction of a dominant negative form of SREBP-1c inhibits the insulin effect on endogenous glucokinase expression. Conversely, in the absence of insulin, the adenovirus-mediated transduction of a dominant positive form of SREBP-1c overcomes the insulin dependency of glucokinase expression. Hepatic fatty acid synthase and Spot-14 are insulin/glucose-dependent genes. For this latter class of genes, the dominant positive form of SREBP-1c obviates the necessity for the presence of insulin, whereas glucose potentiates the effect of SREBP-1c on their expression. In addition, the insulin dependency of lipid accumulation in cultured hepatocytes is overcome by the dominant positive form of SREBP-1c. We propose that SREBP-1c is a major mediator of insulin action on hepatic gene expression and a key regulator of hepatic glucose/lipid metabolism.

Social transmission of reproductive behavior increases frequency of inherited disorders in a young-expanding population

The observation of high frequencies of certain inherited disorders in the population of Saguenay–Lac Saint Jean can be explained in terms of the variance and the correlation of effective family size (EFS) from one generation to the next. We have shown this effect by using the branching process approach with real demographic data. When variance of EFS is included in the model, despite its profound effect on mutant allele frequency, any mutant introduced in the population never reaches the known carrier frequencies (between 0.035 and 0.05). It is only when the EFS correlation between generations is introduced into the model that we can explain the rise of the mutant alleles. This correlation is described by a c parameter that reflects the dependency of children’s EFS on their parents’ EFS. The c parameter can be considered to reflect social transmission of demographic behavior. We show that such social transmission dramatically reduces the effective population size. This could explain particular distributions in allele frequencies and unusually high frequency of certain inherited disorders in some human populations.

Insulin-induced Stimulation of Na+,K+-ATPase Activity in Kidney Proximal Tubule Cells Depends on Phosphorylation of the α-Subunit at Tyr-10

Phosphorylation of the α-subunit of Na+,K+-ATPase plays an important role in the regulation of this pump. Recent studies suggest that insulin, known to increase solute and fluid reabsorption in mammalian proximal convoluted tubule (PCT), is stimulating Na+,K+-ATPase activity through the tyrosine phosphorylation process. This study was therefore undertaken to evaluate the role of tyrosine phosphorylation of the Na+,K+-ATPase α-subunit in the action of insulin. In rat PCT, insulin and orthovanadate (a tyrosine phosphatase inhibitor) increased tyrosine phosphorylation level of the α-subunit more than twofold. Their effects were not additive, suggesting a common mechanism of action. Insulin-induced tyrosine phosphorylation was prevented by genistein, a tyrosine kinase inhibitor. The site of tyrosine phosphorylation was identified on Tyr-10 by controlled trypsinolysis in rat PCTs and by site-directed mutagenesis in opossum kidney cells transfected with rat α-subunit. The functional relevance of Tyr-10 phosphorylation was assessed by 1) the abolition of insulin-induced stimulation of the ouabain-sensitive 86Rb uptake in opossum kidney cells expressing mutant rat α1-subunits wherein tyrosine was replaced by alanine or glutamine; and 2) the similarity of the time course and dose dependency of the insulin-induced increase in ouabain-sensitive 86Rb uptake and tyrosine phosphorylation. These findings indicate that phosphorylation of the Na+,K+-ATPase α-subunit at Tyr-10 likely participates in the physiological control of sodium reabsorption in PCT.

Molecular determinants of coordinated proton and zinc inhibition of N-methyl-d-aspartate NR1/NR2A receptors

Modulation of the N-methyl-d-aspartate (NMDA)-selective glutamate receptors by extracellular protons and Zn2+ may play important roles during ischemia in the brain and during seizures. Recombinant NR1/NR2A receptors exhibit a much higher apparent affinity for voltage-independent Zn2+ inhibition than receptors with other subunit combinations. Here, we show that the mechanism of this apparent high-affinity, voltage-independent Zn2+ inhibition for NR2A-containing receptors results from the enhancement of proton inhibition. We also show that the N-terminal leucine/isoleucine/valine binding protein (LIVBP)-like domain of the NR2A subunit contains critical determinants of the apparent high-affinity, voltage-independent Zn2+ inhibition. Mutations H42A, H44G, or H128A greatly increase the Zn2+ IC50 (by up to ≈700-fold) with no effect on the potencies of glutamate and glycine or on voltage-dependent block by Mg2+. Furthermore, the amino acid residue substitution H128A, which mediates the largest effect on the apparent high-affinity Zn2+ inhibition among all histidine substitutions we tested, is also critical to the pH-dependency of Zn2+ inhibition. Our data revealed a unique interaction between two important extracellular modulators of NMDA receptors.

Estimation of divergence times from multiprotein sequences for a few mammalian species and several distantly related organisms

When many protein sequences are available for estimating the time of divergence between two species, it is customary to estimate the time for each protein separately and then use the average for all proteins as the final estimate. However, it can be shown that this estimate generally has an upward bias, and that an unbiased estimate is obtained by using distances based on concatenated sequences. We have shown that two concatenation-based distances, i.e., average gamma distance weighted with sequence length (d2) and multiprotein gamma distance (d3), generally give more satisfactory results than other concatenation-based distances. Using these two distance measures for 104 protein sequences, we estimated the time of divergence between mice and rats to be approximately 33 million years ago. Similarly, the time of divergence between humans and rodents was estimated to be approximately 96 million years ago. We also investigated the dependency of time estimates on statistical methods and various assumptions made by using sequence data from eubacteria, protists, plants, fungi, and animals. Our best estimates of the times of divergence between eubacteria and eukaryotes, between protists and other eukaryotes, and between plants, fungi, and animals were 3, 1.7, and 1.3 billion years ago, respectively. However, estimates of ancient divergence times are subject to a substantial amount of error caused by uncertainty of the molecular clock, horizontal gene transfer, errors in sequence alignments, etc.

Circadian-Regulated Transcription of the psbD Light-Responsive Promoter in Wheat Chloroplasts1

The level of mRNAs derived from the plastid-encoded psbD light-responsive promoter (LRP) is controlled by a circadian clock(s) in wheat (Triticum aestivum). The circadian oscillations in the psbD LRP mRNA level persisted for at least three cycles in continuous light and for one cycle in continuous dark, with maxima in subjective morning and minima in subjective early night. In vitro transcription in chloroplast extracts revealed that the circadian cycles in the psbD LRP mRNA level were dominantly attributed to the circadian-regulated transcription of the psbD LRP. The effects of various mutations introduced into the promoter region on the psbD LRP activity in vitro suggest the existence of two positive elements located between −54 and −36, which generally enhance the transcription activity, and an anomalous core promoter structure lacking the functional “−35” element, which plays a crucial role in the circadian fluctuation and light dependency of psbD LRP transcription activity.

Validation of the Item-Attribute Matrix in TIMSS-Mathematics Using Multiple Regression and the LSDM

The purposes of this study were (1) to validate of the item-attribute matrix using two levels of attributes (Level 1 attributes and Level 2 sub-attributes), and (2) through retrofitting the diagnostic models to the mathematics test of the Trends in International Mathematics and Science Study (TIMSS), to evaluate the construct validity of TIMSS mathematics assessment by comparing the results of two assessment booklets. Item data were extracted from Booklets 2 and 3 for the 8th grade in TIMSS 2007, which included a total of 49 mathematics items and every student's response to every item. The study developed three categories of attributes at two levels: content, cognitive process (TIMSS or new), and comprehensive cognitive process (or IT) based on the TIMSS assessment framework, cognitive procedures, and item type. At level one, there were 4 content attributes (number, algebra, geometry, and data and chance), 3 TIMSS process attributes (knowing, applying, and reasoning), and 4 new process attributes (identifying, computing, judging, and reasoning). At level two, the level 1 attributes were further divided into 32 sub-attributes. There was only one level of IT attributes (multiple steps/responses, complexity, and constructed-response). Twelve Q-matrices (4 originally specified, 4 random, and 4 revised) were investigated with eleven Q-matrix models (QM1 ~ QM11) using multiple regression and the least squares distance method (LSDM). Comprehensive analyses indicated that the proposed Q-matrices explained most of the variance in item difficulty (i.e., 64% to 81%). The cognitive process attributes contributed to the item difficulties more than the content attributes, and the IT attributes contributed much more than both the content and process attributes. The new retrofitted process attributes explained the items better than the TIMSS process attributes. Results generated from the level 1 attributes and the level 2 attributes were consistent. Most attributes could be used to recover students' performance, but some attributes' probabilities showed unreasonable patterns. The analysis approaches could not demonstrate if the same construct validity was supported across booklets. The proposed attributes and Q-matrices explained the items of Booklet 2 better than the items of Booklet 3. The specified Q-matrices explained the items better than the random Q-matrices.

Analysis of dynamical tunneling experiments with a Bose-Einstein condensate

Dynamical tunneling is a quantum phenomenon where a classically forbidden process occurs that is prohibited not by energy but by another constant of motion. The phenomenon of dynamical tunneling has been recently observed in a sodium Bose-Einstein condensate. We present a detailed analysis of these experiments using numerical solutions of the three-dimensional Gross-Pitaevskii equation and the corresponding Floquet theory. We explore the parameter dependency of the tunneling oscillations and we move the quantum system towards the classical limit in the experimentally accessible regime.

Applicability of experience from laboratory reactors with biological phosphorus removal in full-scale plants

Enhanced biological phosphorus removal (EBPR) has been used at many wastewater treatment plants all over the world for many years. In this study a full-scale sludge with good EBPR was tested with P-release batch tests and combined FISH/MAR (fluorescence in situ hybridisation and microautoradiography). Proposed models of PAOs and GAOs (polyphosphate- and glycogen-accumulating organisms) and microbial methods suggested from studies of laboratory reactors were found to be applicable also on sludge from full-scale plants. Dependency of pH and the uptake of both acetate and propionate were studied and used for calculations for verifying the models and results from microbial methods. All rates found from the batch tests with acetate were higher than in the batch tests with propionate, which was explained by the finding that only those parts of the bacterial community that were able to take up acetate anaerobically were able to take up propionate anaerobically.

Transport of simple fluids in nanopores: Theory and simulation

A theory is discussed of single-component transport in nanopores, recently developed by Bhatia and coworkers. The theory considers the oscillatory motion of molecules between diffuse wall collisions, arising from the fluid-wall interaction, along with superimposed viscous flow due to fluid-fluid interaction. The theory is tested against molecular dynamics simulations for hydrogen, methane, and carbon tetrafluoride flow in cylindrical nanopores in silica. Although exact at low densities, the theory performs well even at high densities, with the density dependency of the transport coefficient arising from viscous effects. Such viscous effects are reduced at high densities because of the large increase in viscosity, which explains the maximum in the transport coefficient with increase in density. Further, it is seen that in narrow pore sizes of less than two molecular diameters, where a complete monolayer cannot form on the surface, the mutual interference of molecules on opposite sides of the cross section can reduce the transport coefficient, and lead to a maximum in the transport coefficient with increasing density. The theory is also tested for the case of partially diffuse reflection and shows the viscous contribution to be negligible when the reflection is nearly specular. (c) 2005 American Institute of Chemical Engineers AIChE J, 52: 29-38, 2006.

Elasticity, yielding and episodicity in simple models of mantle convection

We explore the implications of refinements in the mechanical description of planetary constituents on the convection modes predicted by finite-element simulations. The refinements consist in the inclusion of incremental elasticity, plasticity (yielding) and multiple simultaneous creep mechanisms in addition to the usual visco-plastic models employed in the context of unified plate-mantle models. The main emphasis of this paper rests on the constitutive and computational formulation of the model. We apply a consistent incremental formulation of the non-linear governing equations avoiding the computationally expensive iterations that are otherwise necessary to handle the onset of plastic yield. In connection with episodic convection simulations, we point out the strong dependency of the results on the choice of the initial temperature distribution. Our results also indicate that the inclusion of elasticity in the constitutive relationships lowers the mechanical energy associated with subduction events.

2D strain - a new approach to strain and strain rate: the solution to the angle-dependence of tissue Doppler?

Purpose: Tissue Doppler strain rate imaging (SRI) have been validated and applied in various clinical settings, but the clinical use of this modality is still limited due to time-consuming postprocessing, unfavorable signal to noise ratio and major angle dependency of image acquisition. 2D Strain (2DS) measures strain parameters through automated tissue tracking (Lagrangian strain) rather than tissue velocity regression. We sought to compare the accuracy of this technique with SRI and evaluate whether it overcomes the above limitations. Methods: We assessed 26 patients (13 female, age 60±5yrs) at low risk of CAD and with normal DSE at both baseline and peak stress. End systolic strain (ESS), peak systolic strain rate (SR), and timing parameters were measured by two independent observers using SRI and 2D Strain. Myocardial segments were excluded from the analyses if the insonation angle exceeded 30 degrees or if the segments were not visualized; 417 segments were evaluated. Results: Normal ranges for TVI and CEB approaches were comparable for SR (-0.99 ± 0.39 vs -0.88 ± 0.36, p=NS), ESS (-15.1 ± 6.5 vs -14.9 ± 6.3, p=NS), time to end of systole (174 ± 47 vs 174 ± 53, p=NS) and time to peak SR (TTP; 340 ± 34 vs 375 ± 57). The best correlations between the techniques were for time to end systole (rest r=0.6, p