A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software

Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful attention to context. Model-based testing (MBT) approaches first acquire a model of an application, then use the model to construct test cases covering relevant contexts. A major shortcoming of state-of-the-art automated model-based testing is that many test cases proposed by the model are not actually executable. These \textit{infeasible} test cases threaten the integrity of the entire model-based suite, and any coverage of contexts the suite aims to provide. In this research, I develop and evaluate a novel approach for classifying the feasibility of test cases. I identify a set of pertinent features for the classifier, and develop novel methods for extracting these features from the outputs of MBT tools. I use a supervised logistic regression approach to obtain a model of test case feasibility from a randomly selected training suite of test cases. I evaluate this approach with a set of experiments. The outcomes of this investigation are as follows: I confirm that infeasibility is prevalent in MBT, even for test suites designed to cover a relatively small number of unique contexts. I confirm that the frequency of infeasibility varies widely across applications. I develop and train a binary classifier for feasibility with average overall error, false positive, and false negative rates under 5\%. I find that unique event IDs are key features of the feasibility classifier, while model-specific event types are not. I construct three types of features from the event IDs associated with test cases, and evaluate the relative effectiveness of each within the classifier. To support this study, I also develop a number of tools and infrastructure components for scalable execution of automated jobs, which use state-of-the-art container and continuous integration technologies to enable parallel test execution and the persistence of all experimental artifacts.

Non-contact test set-up for aeroelasticity in a rotating turbomachine combining a novel acoustic excitation system with tip-timing

Due to trends in aero-design, aeroelasticity becomes increasingly important in modern turbomachines. Design requirements of turbomachines lead to the development of high aspect ratio blades and blade integral disc designs (blisks), which are especially prone to complex modes of vibration. Therefore, experimental investigations yielding high quality data are required for improving the understanding of aeroelastic effects in turbomachines. One possibility to achieve high quality data is to excite and measure blade vibrations in turbomachines. The major requirement for blade excitation and blade vibration measurements is to minimize interference with the aeroelastic effects to be investigated. Thus in this paper, a non-contact-and thus low interference-experimental set-up for exciting and measuring blade vibrations is proposed and shown to work. A novel acoustic system excites rotor blade vibrations, which are measured with an optical tip-timing system. By performing measurements in an axial compressor, the potential of the acoustic excitation method for investigating aeroelastic effects is explored. The basic principle of this method is described and proven through the analysis of blade responses at different acoustic excitation frequencies and at different rotational speeds. To verify the accuracy of the tip-timing system, amplitudes measured by tip-timing are compared with strain gage measurements. They are found to agree well. Two approaches to vary the nodal diameter (ND) of the excited vibration mode by controlling the acoustic excitation are presented. By combining the different excitable acoustic modes with a phase-lag control, each ND of the investigated 30 blade rotor can be excited individually. This feature of the present acoustic excitation system is of great benefit to aeroelastic investigations and represents one of the main advantages over other excitation methods proposed in the past. In future studies, the acoustic excitation method will be used to investigate aeroelastic effects in high-speed turbomachines in detail. The results of these investigations are to be used to improve the aeroelastic design of modern turbomachines.

CREATING ORGANIZATIONAL CITIZENS: A QUASI-EXPERIMENTAL AND QUALITATIVE EXAMINATION OF SUPERVSIOR- AND PEER-BASED INTERVENTIONS

Research suggests that supervisors and peers can help employees make sense of what is important or expected from them at work and, thereby, shape their behaviors. In this dissertation, I examine how employees’ organizational citizenship behaviors (OCB), such as helping and voice, are differentially affected by these two sources of influence over time. In particular, I compare the relative and joint effectiveness of two field interventions to enhance OCB: (a) a role clarification intervention in which supervisors are trained to set expectations for OCB for their employees and encourage them to engage in OCB and (b) a norm establishment intervention in which peers are trained to set expectations for each other and encourage each other to perform OCB. I utilize a mixed methods approach involving a quasi-field experiment to test for changes in OCB and qualitative data to explore the theoretical mechanisms over the course of three months in a large food processing plant. I find that role clarification interventions alone have immediate positive effects on OCB, whereas norm establishment interventions alone take a longer period of time to increase OCB. In addition, in the condition where both interventions were combined, norm establishment interventions weaken the effects of role clarification earlier on; however, at later stages in time, this pattern reverses as norm establishment enhances the effects of role clarification on OCB. Through these findings, I highlight how (a) organizations seeking quick increases in citizenship might be better off focusing on supervisors as sources of influence; (b) organizations need to persist with peer-focused interventions to see positive gains; and (c) despite initial hurdles with peer-focused interventions, over time, they can lead to the highest increases in OCB when combined with supervisor-focused interventions.

The Effect of Attentional Focus on Singing Voice Quality: Towards the Interdisciplinary Experimental Investigation of Singing Pedagogy

Instructional methods employed by teachers of singing are mostly drawn from personal experience, personal reflections, and methods encountered in their own voice training (Welch & Howard, 2005). Even in Academia, singing pedagogy is one of the few disciplines in which research of teaching/learning practice efficacy has not been established (Crocco, et al., 2016). This dissertation argues the reason for this deficit is a lack of operationalization of constructs in singing, which, to date has not been undertaken. The researcher addresses issues of paradigm, epistemology, and methodology to suggest an appropriate model of experimental research towards the assessment of teaching/learning practice efficacy. A study was conducted adapting attentional focus research methodologies to test the effect of attentional focus on singing voice quality in adult novice singers. Based on previous attentional focus studies, it was hypothesized that external focus conditions would result in superior singing voice quality than internal focus conditions. While the hypothesis was partially supported by the data, the researcher welcomed refinement of the suggested research model. It is hoped that new research methodologies will emerge to investigate singing phenomena, yielding data that may be used towards the development of evidence-based frameworks for singing training.

Recommended reporting standards for test accuracy studies of infectious diseases of finfish, amphibians, molluscs and crustaceans: the STRADAS-aquatic checklist

Complete and transparent reporting of key elements of diagnostic accuracy studies for infectious diseases in cultured and wild aquatic animals benefits end-users of these tests, enabling the rational design of surveillance programs, the assessment of test results from clinical cases and comparisons of diagnostic test performance. Based on deficiencies in the Standards for Reporting of Diagnostic Accuracy (STARD) guidelines identified in a prior finfish study (Gardner et al. 2014), we adapted the Standards for Reporting of Animal Diagnostic Accuracy Studies—paratuberculosis (STRADAS-paraTB) checklist of 25 reporting items to increase their relevance to finfish, amphibians, molluscs, and crustaceans and provided examples and explanations for each item. The checklist, known as STRADAS-aquatic, was developed and refined by an expert group of 14 transdisciplinary scientists with experience in test evaluation studies using field and experimental samples, in operation of reference laboratories for aquatic animal pathogens, and in development of international aquatic animal health policy. The main changes to the STRADAS-paraTB checklist were to nomenclature related to the species, the addition of guidelines for experimental challenge studies, and the designation of some items as relevant only to experimental studies and ante-mortem tests. We believe that adoption of these guidelines will improve reporting of primary studies of test accuracy for aquatic animal diseases and facilitate assessment of their fitness-for-purpose. Given the importance of diagnostic tests to underpin the Sanitary and Phytosanitary agreement of the World Trade Organization, the principles outlined in this paper should be applied to other World Organisation for Animal Health (OIE)-relevant species.

Experimental study on the impact of using a fan coil in the evaluation of contaminant removal effectiveness of common air diffusion strategies

Indoor Air 2016 - The 14th International Conference Indoor Air Quality and Climate

Estudo experimental e numérico de juntas adesivas em T com aderentes de alumínio

Nos dias de hoje, a ligação adesiva de estruturas complexas que não poderiam ou não seriam tão fáceis de ser fabricadas numa só peça é cada vez mais usual. As juntas adesivas têm vindo a substituir muitos outros métodos de ligação, como por exemplo ligações aparafusadas, rebitas ou soldadas, devido às vantagens de facilidade na sua fabricação, resistência superior e capacidade de unir materiais diferentes. Por esta razão as juntas adesivas têm vindo a ser aplicadas cada vez mais em várias industrias como aeroespacial, aeronáutica, automóvel, naval e calçado. O tipo de adesivo a usar em determinada aplicação é principalmente escolhido consoante as suas características mecânicas e o tipo de resposta pretendida às solicitações impostas. Como exemplo de adesivo resistente e frágil existe o Araldite® AV138. Por outro lado, o adesivo Araldite® 2015 é menos resistente, mas apresenta maior ductilidade e flexibilidade. Além dos adesivos Araldite® comerciais, existem adesivos de poliuretano que combinam características de elevada resistência com características de grande ductilidade e flexibilidade, como por exemplo o Sikaforce® 7752. Esta dissertação tem como objetivo estudar experimentalmente e numericamente, através de modelos de dano coesivo (MDC), o comportamento de diferentes configurações de junta em T quando sujeitas a solicitações de arrancamento. Consideram-se os adesivos anteriormente mencionados para testar as juntas sob diferentes tipos de adesivos. A junta em T é constituída por 2 aderentes em L de alumínio e um aderente base também em alumínio, unidos por uma camada de adesivo. Experimentalmente é feito um estudo da resistência da junta com a variação da espessura dos aderentes em L (tP2). Com a análise numérica são estudadas as distribuições de tensões, evolução do dano, modos de rotura e resistência. Além disso, realizou-se um estudo numérico da existência ou não de adesivo de preenchimento na zona da curvatura dos aderentes em L nas tensões e na resistência da junta. Mostrouse que a variação da geometria nos aderentes em L, a presença de adesivo de preenchimento e o tipo de adesivo têm uma influência direta na resistência de junta. Os ensaios experimentais validaram os resultados numéricos e permitiram concluir que os MDC são uma técnica precisa para o estudo das geometrias das juntas em T.

Os efeitos das reclamações online na lealdade dos consumidores: um estudo experimental

In an environment of constant change, technological developments, market competition and more informed consumers, the search for a lasting relationship through the conquest of loyalty has become the objective of companies. However, several authors suggest that this loyalty can be affected by negative comments available on the internet. Therefore, this dissertation has as objective to examine if the complaints are available on the internet impact the loyalty to a brand of mobile phone. The research used as the basis the Expanded NCSB model suggest by Johnson et al. (2001), studying five prominent drives of loyalty: image/brand reputation, affective commitment, calculative commitment, perceived value and trust, beyond the satisfaction construct as moderator variable. The research method adopted was the experimental design which included 285 undergraduate students, with the trial which included 285 undergraduate students, with the field study of the mobile industry, specifically, the brands of cell phones. The research approach was quantitative and methods were descriptive statistics, factor analysis, cluster analysis, linear regression and non-parametric test of Wilcoxon for data analysis. Of the 16 hypothesis stemmed from the research model proposed, 12 were confirmed. The results showed that the complaint available on the internet, here represented by the available on the site Reclame Aqui, may impact consumer perceptions about brand loyalty, as well as its antecedents, being that these complaints can affect all the consumers, regardless of historical satisfaction with the brand. It also noted the positive relationship between the independent variables trust, image/brand reputation, perceived value, affective commitment and calculative commitment and the dependent variable - loyalty, even when considering the data obtained after exposure to the complaint. However, no unanimous conclusion that the relationship between these variables was strongest in the group with satisfactory experience. At the first moment of the research, the trust was the most important variable for the formation of loyalty. However, after exposure to treatment, the image/brand reputation, was more relevant. Contributions of the study, limitations and recommendations for future researches are approached in the present investigation

Unpacking insanity defence standards: an experimental study of rationality and control tests in criminal law

The present study investigated the impact of different legal standards on mock juror decisions concerning whether a defendant was guilty or not guilty by reason of insanity. Undergraduate students (N = 477) read a simulated case summary involving a murder case and were asked to make an insanity determination. The cases differed in terms of the condition of the defendant (rationality deficit or control deficit) and the legal standard given to the jurors to make the determination (Model Penal Code, McNaughten or McNaughten plus a separate control determination). The effects of these variables on the insanity determination were investigated. Jurors also completed questionnaires measuring individualism and hierarchy attitudes and perceptions of facts in the case. Results indicate that under current insanity standards jurors do not distinguish between defendants with rationality deficits and defendants with control deficits regardless of whether the legal standard requires them to do so. Even defendants who lacked control were found guilty at equal rates under a legal standard excusing rationality deficits only and a legal standard excluding control and rationality deficits. This was improved by adding a control test as a partial defence, to be determined after a rationality determination. Implications for the insanity defence in the Criminal Justice System are discussed.

Results of a mindfulness-based social-emotional learning program on portuguese elementary students and teachers: a quasi-experimental study

Recently, mindfulness-based social-emotional learning (SEL) approaches have been taught to children in some schools. Due to deficient methodological consistency observed in most studies, their results should be interpreted with caution. Moreover, research on how mindfulness-based SEL approaches benefit teachers is scarce, and the majority of these studies have been conducted in English-speaking countries; therefore, it is uncertain whether these approaches are suited to other cultural backgrounds. The aim of the present study was to evaluate the efficacy of the MindUp curriculum, an SEL program through mindfulness practice for Portuguese students and teachers. Participants included 454 3rd and 4th grade students and 20 teachers from state schools. A quasiexperimental (pre- and post-test) study compared outcomes for an experimental group with a waitlist control group. Data were collected from teachers and children through self-report measures. Results showed that over 50 % of the children who participated in the MindUp program scored above the control group mean in their ability to regulate emotions, to experience more positive affect, and to be more self-compassionate, and over 50 % scored lower in negative affect. In the group of teachers, over 80 % scored above the control group mean in observing, in personal accomplishment, and in self-kindness. Our results contribute to the recent research on the potential added value of mindfulness practices to a SEL program and strengthen the importance for teachers and students of adding to the academic curriculum a SEL program through mindfulness practices.

Assessing the activity coefficients of water in cholinium-based ionic liquids: experimental measurements and COSMO-RS modeling

The vapor liquid-equilibrium of water + ionic liquids is relevant for a wide range of applications of these compounds. It is usually measured by ebulliometric techniques, but these are time consuming and expensive. In this work it is shown that the activity coefficients of water in a series of cholinium-based ionic liquids can be reliably and quickly estimated at 298.15K using a humidity meter instrument. The cholinium based ionic liquids were chosen to test this experimental methodology since data for water activities of quaternary ammonium salts are available in the literature allowing the validation of the proposed technique. The COSMO-RS method provides a reliable description of the data and was also used to understand the molecular interactions occurring on these binary systems. The estimated excess enthalpies indicate that hydrogen bonding between water and ionic liquid anion is the dominant interaction that governs the behavior of water and cholinium-based ionic liquids systems, while the electrostatic-misfit and van der Walls forces have a minor contribution to the total excess enthalpies.

Granulocyte-colony stimulating factor in experimental stroke and its effects on infarct size and functional outcome: a systematic review

Background Granulocyte-colony stimulating factor (G-CSF) shows promise as a treatment for stroke. This systematic review assesses G-CSF in experimental ischaemic stroke. Methods Relevant studies were identified with searches of Medline, Embase and PubMed. Data were extracted on stroke lesion size, neurological outcome and quality, and analysed using Cochrane Review Manager using random effects models; results are expressed as standardised mean difference (SMD) and odds ratio (OR). Results Data were included from 19 publications incorporating 666 animals. G-CSF reduced lesion size significantly in transient (SMD -1.63, p<0.00001) but not permanent (SMD -1.56, p=0.11) focal models of ischaemia. Lesion size was reduced at all doses and with treatment commenced within 4 hours of transient ischaemia. Neurological deficit (SMD -1.37, p=0.0004) and limb placement (SMD -1.88, p=0.003) improved with G-CSF; however, locomotor activity (>4 weeks post ischaemia) was not (SMD 0.76, p=0.35). Death (OR 0.27, p<0.0001) was reduced with G-CSF. Median study quality was 4 (range 0-7/8); Egger’s test suggested significant publication bias (p=0.001). Conclusions G-CSF significantly reduced lesion size in transient but not permanent models of ischaemic stroke. Motor impairment and death were also reduced. Further studies assessing dose-response, administration time, length of ischaemia and long-term functional recovery are needed.

Mathematical analysis of maximum power generated by photovoltaic systems and fitting curves for standard test conditions

The rural electrification is characterized by geographical dispersion of the population, low consumption, high investment by consumers and high cost. Moreover, solar radiation constitutes an inexhaustible source of energy and in its conversion into electricity photovoltaic panels are used. In this study, equations were adjusted to field conditions presented by the manufacturer for current and power of small photovoltaic systems. The mathematical analysis was performed on the photovoltaic rural system I- 100 from ISOFOTON, with power 300 Wp, located at the Experimental Farm Lageado of FCA/UNESP. For the development of such equations, the circuitry of photovoltaic cells has been studied to apply iterative numerical methods for the determination of electrical parameters and possible errors in the appropriate equations in the literature to reality. Therefore, a simulation of a photovoltaic panel was proposed through mathematical equations that were adjusted according to the data of local radiation. The results have presented equations that provide real answers to the user and may assist in the design of these systems, once calculated that the maximum power limit ensures a supply of energy generated. This real sizing helps establishing the possible applications of solar energy to the rural producer and informing the real possibilities of generating electricity from the sun.

Behavioural alterations are independent of sickness behaviour in chronic experimental Chagas disease

The existence of the nervous form of Chagas disease is a matter of discussion since Carlos Chagas described neurological disorders, learning and behavioural alterations in Trypanosoma cruzi-infected individuals. In most patients, the clinical manifestations of the acute phase, including neurological abnormalities, resolve spontaneously without apparent consequence in the chronic phase of infection. However, chronic Chagas disease patients have behavioural changes such as psychomotor alterations, attention and memory deficits, and depression. In the present study, we tested whether or not behavioural alterations are reproducible in experimental models. We show that C57BL/6 mice chronically infected with the Colombian strain of T. cruzi (150 days post-infection) exhibit behavioural changes as (i) depression in the tail suspension and forced swim tests, (ii) anxiety analysed by elevated plus maze and open field test sand and (iii) motor coordination in the rotarod test. These alterations are neither associated with neuromuscular disorders assessed by the grip strength test nor with sickness behaviour analysed by temperature variation sand weight loss. Therefore, chronically T. cruzi-infected mice replicate behavioural alterations (depression and anxiety) detected in Chagas disease patients opening an opportunity to study the interconnection and the physiopathology of these two biological processes in an infectious scenario.

Color stability and surface roughness of artificial teeth brushed with an experimental Ricinus communis toothpaste

Aim: To evaluate, in vitro, the effect of brushing with a Ricinus communis -based experimental toothpaste on color stability and surface roughness of artificial teeth. Methods: Ninety artificial teeth (maxillary central incisors) in different shades, light and dark (NatusDent Triple Pressing, Dentbras) were used. Initial color (Spectrophotometer Easyshade, VITA) and surface roughness (Rugosimeter Surfcorder SE 1700, Kosakalab) readouts were performed. After baseline measurements, samples were assigned to 10 groups (n=9) according to the artificial tooth shade and type of toothpaste used during the mechanical brushing test (Pepsodent, MAVTEC): Sorriso Dentes Brancos – SDB, Colgate Luminous White - CLW (Colgate-Palmolive), Close up White Now - CWN (Unilever), Trihydral - THL (Perland Pharmacos) and Ricinus communis - RCE (Experimental). After 29,200 cycles of brushing, corresponding to 2 years of brushing by a healthy individual, new color and roughness readouts of the specimens were performed. Data (before and after the tests) were statistically analyzed (2-way repeated measures ANOVA, Tukey, p<0.05). Results: RCE toothpaste produced the greatest color stability for dark tooth shade and the second best color stability for light tooth shade. For surface roughness alteration, there was no difference (p>0.05) for any tested toothpaste regardless of tooth shade. Conclusions: The experimental Ricinus communis toothpaste did not cause color and surface roughness alteration in the artificial teeth, and it may be considered a suitable option for denture cleaning.