Results of the May testing programs in the elementary and high schools of Michigan (1928),

Mode of access: Internet.

Stigma, social relationship and HIV testing in the workplace : evidence from South Africa

This paper explores whether a worker's unwillingness to make his/her HIV-positive status or test-taking experience known by colleagues impedes his/her decision to test for HIV. After analyzing the new survey data provided by employees working for a large multinational enterprise in South Africa (2009-2010), this study finds that this unwillingness is negatively associated with test-taking (at the enterprise's on-site clinic) of workers who are extensively networked with close colleagues (i.e., know their phone numbers). It appears that the expected disutility associated with HIV/AIDS-related stigma prohibits test uptake. When introducing HIV counseling and testing programs into a corporate sector, providing all workers with an excuse to test in the workplace and/or inducing them to privately test outside the workplace may be effective in encouraging the uptake.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Drug abuse among workers in Brazilian regions

OBJECTIVE: Many business organizations in Brazil have adopted drug testing programs in the workplace since 1992. Rehabilitation, rather than layoff and disciplinary measures, has been offered as part of the Brazilian employee assistance programs. The purpose study is to profile drug abuse among company workers of different Brazilian geographical regions. METHODS: Urine samples of 12,700 workers from five geographical regions were tested for the most common illicit drugs of abuse in the country: marijuana, cocaine, and amphetamine. Enzyme multiplied immunoassay technique (EMIT) and gas chromatography coupled with mass spectrometry (GC/MS) were the techniques utilized for urine testing. The distribution of collected urine samples according to geographical regions was: 72.0% southeast, 13.8% northeast, 7.9% south, 5.7% central west and 0.6% north. RESULTS: Of all samples analyzed, 1.8% was found to be positive for drugs: 0.5% from the south region, 1.1% from northeast, 1.2% from central west, 1.3% from north, and 2.2% from southeast. Of these, 59.9% was marijuana, 17.7% cocaine, 14.6% amphetamine, and 7.7% associated drugs. CONCLUSIONS: The distribution of drugs found in the samples shows a regional variation. Marijuana, however, was found in all regions. Cocaine was seen only in central west and southeast regions. Amphetamine was found in northeast, central west, and southeast regions.

Genetic studies of the Roma (Gypsies): a review

Background: Data provided by the social sciences as well as genetic research suggest that the 8-10 million Roma (Gypsies) who live in Europe today are best described as a conglomerate of genetically isolated founder populations. The relationship between the traditional social structure observed by the Roma, where the Group is the primary unit, and the boundaries, demographic history and biological relatedness of the diverse founder populations appears complex and has not been addressed by population genetic studies. Results: Recent medical genetic research has identified a number of novel, or previously known but rare conditions, caused by private founder mutations. A summary of the findings, provided in this review, should assist diagnosis and counselling in affected families, and promote future collaborative research. The available incomplete epidemiological data suggest a non-random distribution of disease-causing mutations among Romani groups.Conclusion: Although far from systematic, the published information indicates that medical genetics has an important role to play in improving the health of this underprivileged and forgotten people of Europe. Reported carrier rates for some Mendelian disorders are in the range of 5 -15%, sufficient to justify newborn screening and early treatment, or community-based education and carrier testing programs for disorders where no therapy is currently available. To be most productive, future studies of the epidemiology of single gene disorders should take social organisation and cultural anthropology into consideration, thus allowing the targeting of public health programs and contributing to the understanding of population structure and demographic history of the Roma.

Evolution of the mechanical properties of a tropical soil stabilized with lime and ash of rice rind

The ash of rice rind is a pozzolanic material that reacts with the calcium hydroxide (Ca (OH)2) forming bonding composites, when finely worn out and in water presence. Considering this behavior, the objective of the present work was to evaluate the potential use of this residue in the enrichment of the content of pozzolanic materials of a tropical soil stabilized with a commercial hydrated lime. The laboratory testing program incorporated unconfined compression strength tests performed on the soil and on its mixtures with contents of 8% of lime enriched with 5 and 10% of ash of rice rind in relation to the soil dry mass. The results of the testing program supported that the use of the residue was effective in increasing the degree of reactivity of the soil that was also directly related with the increase in the ash content and the period of cure of the mixtures.

The impact of recent educational reforms on minority and low achieving students and on minority and all high achieving students

One of the criticisms of the recent educational reforms sweeping the nation is that low achieving and minority students will not be helped by the reforms. The reforms, some contend, will be harmful to low achieving and minority students because the higher standards and testing programs, which are typically included in the reforms, may actually create new barriers blocking at-risk student progress. This investigation studied this contention in South Carolina, which has been rich in educational reforms. Early evidence from this state indicates that the achievement of Black students and low achieving students of all races was not blocked by the reforms in South Carolina. In fact, low achieving students, Black and all students, made substantial progress in South Carolina since a combination of educational reforms have been in process.

Central swine-testing and purebred-improvement programs in the United States /

Cover title.

Generation of Testing Source Code for Object-Oriented Programs

Красимир Манев, Антон Желязков, Станимир Бойчев - В статията е представена имплементацията на последната фаза на автоматичен генератор на тестови данни за структурно тестване на софтуер, написан на обектно-ориентиран език за програмиране – генерирането на изходен код на тестващия модул. Някои детайли от имплементацията на останалите фази, които са важни за имплементацията на последната фаза, са представени първо. След това е описан и алгоритъмът за генериране на кода на тестващия модул.

Comparison of the Salmonella/Microsome Microsuspension Assay with the new Microplate Fluctuation Protocol for Testing the Mutagenicity of Environmental Samples

The objective of this study was to compare the responses of the Salmonella/microsome microsuspension assay with the new microplate fluctuation protocol (MPF) for the evaluation of the mutagenic activity of environmental samples. Organic extracts of total particulate atmospheric air samples, surface waters, and effluents were tested in dose-response experiments. The assays were performed with strain TA98 in the absence and presence of S9 mix. Both protocols produced similar results, despite the fact that the maximum score of the MPF is limited to 48 wells, whereas in the regular plate assay it is possible to count up to 1,500 colonies using an automatic counter. Similar sensitivities based on the lowest dose that resulted in a positive response were obtained for both assays. The MPF procedure is less laborious (e.g., all-liquid format, use of multi-channel pipettors) and allows for automation of the pipetting and dispensing steps, thus, reducing time of the analysis which is particularly important in environmental quality monitoring programs or in effect-directed analysis. The results show that the MPF procedure is a promising tool to test environmental samples for mutagenic activity. Environ. Mol. Mutagen. 51:31-38, 2010. (C) 2009 Wiley-Liss, Inc.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Computational methods for prediction of T-cell epitopes - a framework for modelling, testing, and applications

Computational models complement laboratory experimentation for efficient identification of MHC-binding peptides and T-cell epitopes. Methods for prediction of MHC-binding peptides include binding motifs, quantitative matrices, artificial neural networks, hidden Markov models, and molecular modelling. Models derived by these methods have been successfully used for prediction of T-cell epitopes in cancer, autoimmunity, infectious disease, and allergy. For maximum benefit, the use of computer models must be treated as experiments analogous to standard laboratory procedures and performed according to strict standards. This requires careful selection of data for model building, and adequate testing and validation. A range of web-based databases and MHC-binding prediction programs are available. Although some available prediction programs for particular MHC alleles have reasonable accuracy, there is no guarantee that all models produce good quality predictions. In this article, we present and discuss a framework for modelling, testing, and applications of computational methods used in predictions of T-cell epitopes. (C) 2004 Elsevier Inc. All rights reserved.

Power of the joint segregation analysis method for testing mixed major-gene and polygene inheritance models of quantitative traits

Understanding the genetic architecture of quantitative traits can greatly assist the design of strategies for their manipulation in plant-breeding programs. For a number of traits, genetic variation can be the result of segregation of a few major genes and many polygenes (minor genes). The joint segregation analysis (JSA) is a maximum-likelihood approach for fitting segregation models through the simultaneous use of phenotypic information from multiple generations. Our objective in this paper was to use computer simulation to quantify the power of the JSA method for testing the mixed-inheritance model for quantitative traits when it was applied to the six basic generations: both parents (P-1 and P-2), F-1, F-2, and both backcross generations (B-1 and B-2) derived from crossing the F-1 to each parent. A total of 1968 genetic model-experiment scenarios were considered in the simulation study to quantify the power of the method. Factors that interacted to influence the power of the JSA method to correctly detect genetic models were: (1) whether there were one or two major genes in combination with polygenes, (2) the heritability of the major genes and polygenes, (3) the level of dispersion of the major genes and polygenes between the two parents, and (4) the number of individuals examined in each generation (population size). The greatest levels of power were observed for the genetic models defined with simple inheritance; e.g., the power was greater than 90% for the one major gene model, regardless of the population size and major-gene heritability. Lower levels of power were observed for the genetic models with complex inheritance (major genes and polygenes), low heritability, small population sizes and a large dispersion of favourable genes among the two parents; e.g., the power was less than 5% for the two major-gene model with a heritability value of 0.3 and population sizes of 100 individuals. The JSA methodology was then applied to a previously studied sorghum data-set to investigate the genetic control of the putative drought resistance-trait osmotic adjustment in three crosses. The previous study concluded that there were two major genes segregating for osmotic adjustment in the three crosses. Application of the JSA method resulted in a change in the proposed genetic model. The presence of the two major genes was confirmed with the addition of an unspecified number of polygenes.

Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.