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.

Testing of crop Models for Accurate Predictions of Evapotranspiration and crop Water Use

All crop models, whether site-specific or global-gridded and regardless of crop, simulate daily crop transpiration and soil evaporation during the crop life cycle, resulting in seasonal crop water use. Modelers use several methods for predicting daily potential evapotranspiration (ET), including FAO-56, Penman-Monteith, Priestley-Taylor, Hargreaves, full energy balance, and transpiration water efficiency. They use extinction equations to partition energy to soil evaporation or transpiration, depending on leaf area index. Most models simulate soil water balance and soil-root water supply for transpiration, and limit transpiration if water uptake is insufficient, and thereafter reduce dry matter production. Comparisons among multiple crop and global gridded models in the Agricultural Model Intercomparison and Improvement Project (AgMIP) show surprisingly large differences in simulated ET and crop water use for the same climatic conditions. Model intercomparisons alone are not enough to know which approaches are correct. There is an urgent need to test these models against field-observed data on ET and crop water use. It is important to test various ET modules/equations in a model platform where other aspects such as soil water balance and rooting are held constant, to avoid compensation caused by other parts of models. The CSM-CROPGRO model in DSSAT already has ET equations for Priestley-Taylor, Penman-FAO-24, Penman-Monteith-FAO-56, and an hourly energy balance approach. In this work, we added transpiration-efficiency modules to DSSAT and AgMaize models and tested the various ET equations against available data on ET, soil water balance, and season-long crop water use of soybean, fababean, maize, and other crops where runoff and deep percolation were known or zero. The different ET modules created considerable differences in predicted ET, growth, and yield.

Cocaine-predictive stimulus induces drug-seeking behavior and neural activation in limbic brain regions after multiple months of abstinence: Reversal by D1 antagonists

The conditioning of cocaine's subjective actions with environmental stimuli may be a critical factor in long-lasting relapse risk associated with cocaine addiction. To study the significance of learning factors in persistent addictive behavior as well as the neurobiological basis of this phenomenon, rats were trained to associate discriminative stimuli (SD) with the availability of i.v. cocaine vs. nonrewarding saline solution, and then placed on extinction conditions during which the i.v. solutions and SDs were withheld. The effects of reexposure to the SD on the recovery of responding at the previously cocaine-paired lever and on Fos protein expression then were determined in two groups. One group was tested immediately after extinction, whereas rats in the second group were confined to their home cages for an additional 4 months before testing. In both groups, the cocaine SD, but not the non-reward SD, elicited strong recovery of responding and increased Fos immunoreactivity in the basolateral amygdala and medial prefrontal cortex (areas Cg1/Cg3). The response reinstatement and Fos expression induced by the cocaine SD were both reversed by selective dopamine D1 receptor antagonists. The undiminished efficacy of the cocaine SD to elicit drug-seeking behavior after 4 months of abstinence parallels the long-lasting nature of conditioned cue reactivity and cue-induced cocaine craving in humans, and confirms a significant role of learning factors in the long-lasting addictive potential of cocaine. Moreover, the results implicate D1-dependent neural mechanisms within the medial prefrontal cortex and basolateral amygdala as substrates for cocaine-seeking behavior elicited by cocaine-predictive environmental stimuli.

Hepatic expression of mature transforming growth factor beta 1 in transgenic mice results in multiple tissue lesions.

Aberrant expression of transforming growth factor beta 1 (TGF-beta 1) has been implicated in a number of disease processes, particularly those involving fibrotic and inflammatory lesions. To determine the in vivo effects of overexpression of TGF-beta 1 on the function and structure of hepatic as well as extrahepatic tissues, transgenic mice were generated containing a fusion gene (Alb/TGF-beta 1) consisting of modified porcine TGF-beta 1 cDNA under the control of the regulatory elements of the mouse albumin gene. Five transgenic lines were developed, all of which expressed the Alb/TGF-beta 1 transgene selectively in hepatocytes. The transgenic line 25 expressing the highest level of the transgene in the liver also had high (> 10-fold over control) plasma levels of TGF-beta 1. Hepatic fibrosis and apoptotic death of hepatocytes developed in all the transgenic lines but was more pronounced in line 25. The fibrotic process was characterized by deposition of collagen around individual hepatocytes and within the space of Disse in a radiating linear pattern. Several extrahepatic lesions developed in line 25, including glomerulonephritis and renal failure, arteritis and myocarditis, as well as atrophic changes in pancreas and testis. The results from this transgenic model strongly support the proposed etiological role for TGF-beta 1 in a variety of fibrotic and inflammatory disorders. The transgenic model may also provide an appropriate paradigm for testing therapeutic interventions aimed at neutralizing the detrimental effects of this important cytokine.

Testing a new Free Core Nutation empirical model

The Free Core Nutation (FCN) is a free mode of the Earth's rotation caused by the different material characteristics of the Earth's core and mantle. This causes the rotational axes of those layers to slightly diverge from each other, resulting in a wobble of the Earth's rotation axis comparable to nutations. In this paper we focus on estimating empirical FCN models using the observed nutations derived from the VLBI sessions between 1993 and 2013. Assuming a fixed value for the oscillation period, the time-variable amplitudes and phases are estimated by means of multiple sliding window analyses. The effects of using different a priori Earth Rotation Parameters (ERP) in the derivation of models are also addressed. The optimal choice of the fundamental parameters of the model, namely the window width and step-size of its shift, is searched by performing a thorough experimental analysis using real data. The former analyses lead to the derivation of a model with a temporal resolution higher than the one used in the models currently available, with a sliding window reduced to 400 days and a day-by-day shift. It is shown that this new model increases the accuracy of the modeling of the observed Earth's rotation. Besides, empirical models determined from USNO Finals as a priori ERP present a slightly lower Weighted Root Mean Square (WRMS) of residuals than IERS 08 C04 along the whole period of VLBI observations, according to our computations. The model is also validated through comparisons with other recognized models. The level of agreement among them is satisfactory. Let us remark that our estimates give rise to the lowest residuals and seem to reproduce the FCN signal in more detail.

Optimization of test and maintenance of ageing components consisting of multiple items and addressing effectiveness

There are many models in the literature that have been proposed in the last decades aimed at assessing the reliability, availability and maintainability (RAM) of safety equipment, many of them with a focus on their use to assess the risk level of a technological system or to search for appropriate design and/or surveillance and maintenance policies in order to assure that an optimum level of RAM of safety systems is kept during all the plant operational life. This paper proposes a new approach for RAM modelling that accounts for equipment ageing and maintenance and testing effectiveness of equipment consisting of multiple items in an integrated manner. This model is then used to perform the simultaneous optimization of testing and maintenance for ageing equipment consisting of multiple items. An example of application is provided, which considers a simplified High Pressure Injection System (HPIS) of a typical Power Water Reactor (PWR). Basically, this system consists of motor driven pumps (MDP) and motor operated valves (MOV), where both types of components consists of two items each. These components present different failure and cause modes and behaviours, and they also undertake complex test and maintenance activities depending on the item involved. The results of the example of application demonstrate that the optimization algorithm provide the best solutions when the optimization problem is formulated and solved considering full flexibility in the implementation of testing and maintenance activities taking part of such an integrated RAM model.

A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Treatment of maternal syphilis in rural South Africa: effect of multiple doses of benzathine penicillin on pregnancy loss

OBJECTIVES Despite few data, the treatment of syphilis in pregnant women using a single dose of benzathine penicillin is the standard of care in many resource-poor settings. We examined the effect of various doses of benzathine penicillin on pregnancy loss among women with a positive Rapid Plasma Reagin (RPR) test result in a rural South African district. METHODS All pregnant women making their first antenatal care visit during pregnancy were screened for syphilis using the RPR test. Those testing positive were counselled to receive three weekly doses of benzathine penicillin, and received a partner notification card. Pregnancy outcomes were determined from facility records or home visits where necessary. RESULTS Of 8917 women screened, 1043 (12%) had reactive syphilis serology; of those with titre data available, 30% had titres of 1:8 or greater. While 41% (n = 430) of women received all three doses as counselled, 30% (n = 312) received only one dose, and 20% (n = 207) did not return to the clinic to receive treatment. Among the 947 women with pregnancy outcome data available, there were 17 miscarriages and 48 perinatal deaths observed. There was a strong trend towards reduced risk of pregnancy loss among women receiving multiple doses of penicillin (adjusted OR for perinatal mortality for each additional dose received, 0.63; 95% CI, 0.48-0.84). CONCLUSIONS While this association requires further investigation, these results suggest that there may be substantial benefit to providing multiple doses of benzathine penicillin to treat maternal syphilis in this setting.

Genetic testing in familial isolated hyperparathyroidism: unexpected results and their implications

Familial hyperparathyroidism is not uncommon in clinical endocrine practice. It encompasses a spectrum of disorders including multiple endocrine neoplasia types 1 (MEN1) and 2A, hyperparathyroidism-jaw tumour syndrome (HPT-JT), familial hypocalciuric hypercalcaemia (FHH), and familial isolated hyperparathyroidism (FIHP). Distinguishing among the five syndromes is often difficult but has profound implications for the management of patient and family. The availability of specific genetic testing for four of the syndromes has improved diagnostic accuracy and simplified family monitoring in many cases but its current cost and limited accessibility require rationalisation of its use. No gene has yet been associated exclusively with FIHP. FIHP phenotypes have been associated with mutant MEN1 and calcium-sensing receptor ( CASR) genotypes and, very recently, with mutation in the newly identified HRPT2 gene. The relative proportions of these are not yet clear. We report results of MEN1, CASR, and HRPT2 genotyping of 22 unrelated subjects with FIHP phenotypes. We found 5 (23%) with MEN1 mutations, four (18%) with CASR mutations, and none with an HRPT2 mutation. All those with mutations had multiglandular hyperparathyroidism. Of the subjects with CASR mutations, none were of the typical FHH phenotype. These findings strongly favour a recommendation for MEN1 and CASR genotyping of patients with multiglandular FIHP, irrespective of urinary calcium excretion. However, it appears that HRPT2 genotyping should be reserved for cases in which other features of the HPT-JT phenotype have occurred in the kindred. Also apparent is the need for further investigation to identify additional genes associated with FIHP.

A report of a national mutation testing service for the MEN1 gene: clinical presentations and implications for mutation testing

Introduction: Mutation testing for the MEN1 gene is a useful method to diagnose and predict individuals who either have or will develop multiple endocrine neoplasia type 1 ( MEN 1). Clinical selection criteria to identify patients who should be tested are needed, as mutation analysis is costly and time consuming. This study is a report of an Australian national mutation testing service for the MEN1 gene from referred patients with classical MEN 1 and various MEN 1- like conditions. Results: All 55 MEN1 mutation positive patients had a family history of hyperparathyroidism, had hyperparathyroidism with one other MEN1 related tumour, or had hyperparathyroidism with multiglandular hyperplasia at a young age. We found 42 separate mutations and six recurring mutations from unrelated families, and evidence for a founder effect in five families with the same mutation. Discussion: Our results indicate that mutations in genes other than MEN1 may cause familial isolated hyperparathyroidism and familial isolated pituitary tumours. Conclusions: We therefore suggest that routine germline MEN1 mutation testing of all cases of classical'' MEN1, familial hyperparathyroidism, and sporadic hyperparathyroidism with one other MEN1 related condition is justified by national testing services. We do not recommend routine sequencing of the promoter region between nucleotides 1234 and 1758 ( Genbank accession no. U93237) as we could not detect any sequence variations within this region in any familial or sporadic cases of MEN1 related conditions lacking a MEN1 mutation. We also suggest that testing be considered for patients < 30 years old with sporadic hyperparathyroidism and multigland hyperplasia

Recommendations for animal DNA forensic and identity testing

Genetic analysis in animals has been used for many applications, such as kinship analysis, for determining the sire of an offspring when a female has been exposed to multiple males, determining parentage when an animal switches offspring with another dam, extended lineage reconstruction, estimating inbreeding, identification in breed registries, and speciation. It now also is being used increasingly to characterize animal materials in forensic cases. As such, it is important to operate under a set of minimum guidelines that assures that all service providers have a template to follow for quality practices. None have been delineated for animal genetic identity testing. Based on the model for human DNA forensic analyses, a basic discussion of the issues and guidelines is provided for animal testing to include analytical practices, data evaluation, nomenclature, allele designation, statistics, validation, proficiency testing, lineage markers, casework files, and reporting. These should provide a basis for professional societies and/or working groups to establish more formalized recommendations.

Comparative phylogeographic summary statistics for testing simultaneous vicariance

Testing for simultaneous vicariance across comparative phylogeographic data sets is a notoriously difficult problem hindered by mutational variance, the coalescent variance, and variability across pairs of sister taxa in parameters that affect genetic divergence. We simulate vicariance to characterize the behaviour of several commonly used summary statistics across a range of divergence times, and to characterize this behaviour in comparative phylogeographic datasets having multiple taxon-pairs. We found Tajima's D to be relatively uncorrelated with other summary statistics across divergence times, and using simple hypothesis testing of simultaneous vicariance given variable population sizes, we counter-intuitively found that the variance across taxon pairs in Nei and Li's net nucleotide divergence (pi(net)), a common measure of population divergence, is often inferior to using the variance in Tajima's D across taxon pairs as a test statistic to distinguish ancient simultaneous vicariance from variable vicariance histories. The opposite and more intuitive pattern is found for testing more recent simultaneous vicariance, and overall we found that depending on the timing of vicariance, one of these two test statistics can achieve high statistical power for rejecting simultaneous vicariance, given a reasonable number of intron loci (> 5 loci, 400 bp) and a range of conditions. These results suggest that components of these two composite summary statistics should be used in future simulation-based methods which can simultaneously use a pool of summary statistics to test comparative the phylogeographic hypotheses we consider here.

New era: Prophylactic surgery for patients with multiple endocrine neoplasia-2A

Background: The surgical management of patients with multiple endocrine neoplasia-2A (MEN-2A) continues to evolve with specific genotype-phenotype correlations allowing for a more tailored approach. In this study, we report the surgical management of one of the largest MEN-2A families with a rearranged during transfection (RET) codon 804 mutation. Method: This is a cohort study comprising all at-risk kindred within a single known MEN-2A family. Prophylactic total thyroidectomy with lymph node dissection was recommended to all mutation carriers aged 5 years and older. Results: There were a total of 48 at-risk individuals in the MEN-2A kindred, with 22 patients undergoing thyroidectomy after appropriate preoperative evaluation. A total of 9 patients had medullary thyroid cancer including 5 with a normal preoperative calcitonin level. A total of 11 patients had C-cell hyperplasia and 7 showed histological evidence of parathyroid disease. Only the index case had a phaeochromocytoma. Conclusion: Genetic testing for germline mutations in the RET proto-oncogene has allowed precise identification of affected RET carriers and provided the opportunity for prophylactic or 'preclinical' surgery to treat and in fact to prevent medullary thyroid cancer. This concept of prophylactic surgery based on a genetic test is likely to be applied more widely as the tools of molecular biology advance.

Viewpoint-based testing of concurrent components

The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application and synchronisation concerns inherent in Java monitors. We then use the Test-Template Framework on the Object-Z viewpoints to devise a strategy for testing the components. When combining the test templates for the different viewpoints we focus on the observable behaviour of the application to systematically derive a practical testing strategy. The Producer-Consumer and Readers-Writers problems are considered as case studies.

Dealing with non-determinism in testing concurrent java components

The testing of concurrent software components can be difficult due to the inherent non-determinism present in these components. For example, if the same test case is run multiple times, it may produce different results. This non-determinism may lead to problems with determining expected outputs. In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool. We then present a recent extension to the tool that provides a general solution to this problem that is sufficient to deal with the level of non-determinism that we have encountered in testing over 20 components with ConAn. © 2005 IEEE