Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Efeitos das técnicas breath-stacking e espirometria de incentivo nos volumes da caixa torácica em pacientes com Doença de Parkinson

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Análise comparativa e teste empírico da validade dos modelos CAPM tradicional e condicional: o caso das ações da Petrobrás

ALVES, Janaína da Silva. Análise comparativa e teste empírico da validade dos modelos CAPM tradicional e condicional: o caso das ações da Petrobrás. Revista Ciências Administrativas, Fotaleza, v. 13, n. 1, p.147-157, ago. 2007.

Autoeficácia, características sociodemográficas e capacitação profissional: um estudo com servidores de uma Universidade Federal

Self-efficacy, the construct developed by Albert Bandura in 1977 and widely studied around the world, means the individual's belief in his own capacity to successfully perform a certain activity. This study aims to determine the degree of association between sociodemographic characteristics and professional training to the levels of Self-Efficacy at Work (SEW) of the Administrative Assistants in a federal university. This is a descriptive research submitted to and approved by the Ethics Committee of UFRN. The method of data analysis, in quantitative nature, was accomplished with the aid of the statistical programs R and Minitab. The instrument used in research was a sociodemographic data questionnaire, variables of professional training and the General Perception of Self-efficacy Scale (GPSES), applied to the sample by 289 Assistants in Administration. Statistical techniques for data analysis were descriptive statistics, cluster analysis, reliability test (Cronbach's alpha), and test of significance (Pearson). Results show a sociodemographic profile of Assistants in Administration of UFRN with well-distributed characteristics, with 48.4% men and 51.6% female; 59.9% of them were aged over 40 years, married (49.3%), color or race white (58%) and Catholics (67.8%); families are composed of up to four people (75.8%) with children (59.4%) of all age groups; the occupation of the mothers of these professionals is mostly housewives (51.6%) with high school education up to parents (72%) and mothers (75.8%). Assistants in Administration have high levels of professional training, most of them composed two groups of servers: the former, recently hired public servants (30.7%) and another with long service (59%), the majority enter young in career and it stays until retirement, 72.4% of these professionals have training above the minimum requirement for the job. The analysis of SEW levels shows medium to high levels for 72% of assistants in administration; low SEWclassified people have shown a high average of 2.7, considered close to the overall mean presented in other studies, which is 2.9. The cluster analysis has allowed us to say that the characteristics of the three groups (Low, Medium and High SEW) are similar and can be found in the three levels of SEW representatives with all the characteristics investigated. The results indicate no association between the sociodemographic variables and professional training to the levels of self-efficacy at work of Assistants in Administration of UFRN, except for the variable color or race. However, due to the small number of people who declared themselves in color or black race (4% of the sample), this result can be interpreted as mere coincidence or the black people addressed in this study have provided a sense of efficacy higher than white and brown ones. The study has corroborated other studies and highlighted the subjectivity of the self-efficacy construct. They are needed more researches, especially with public servants for the continuity and expansion of studies on the subject, making it possible to compare and confirm the results

Automação da drenagem no teste de produção convencional em tanque cilíndrico

This document aims to improve the quality of the production test in vertical tanks with free water drain pipes, through a device to control the draining system. This proposal consists of an interface detector close to the tank bottle and a control valve on the pipe-drain; they are attached to a remote supervisor system, which will be minimizing the human influence in the conclusion of the test result. And for more consciousness the work shows the importance of the wells production test in the attendance and diagnosis of the productive process, informing the large number of tests executed and problems of the procedure adopted in the field today. There are many possible sources of uncertainty in this kind of test as shown in the experiments realized in the field; the object prototype of this dissertation will be made in the field, based upon the definition of parameters and characteristics of the devices proposal. For a better definition of the draining process the action results of the assessment test are shown, especially changed some for the understand ing of the real process. It shows the proposal details and the configuration that will be used in the tank of Monte Alegre s field Production Station, explaining the interface detector kind and the control system. It is the base to a pilot project now in development, named as the new project classified in the status of the new technology and production improvement of PETROBRAS in Rio Grande do Norte and Ceará. This dissertation concludes that the automation of the conventional test with the draining system will bring benefits both economically as metrologically, because it reduces the uncertainty of the test procedures with free water draining, and also decreases the number of tests with problems

Avaliação do desenvolvimento neuropsicomotor em crianças na rede básica de saúde utilizando o teste de Denver II: identificação de fatores de risco materno

Alterations in the neuropsychomotor development of children are not rare and can manifest themselves with varying intensity at different stages of their development. In this context, maternal risk factors may contribute to the appearance of these alterations. A number of studies have reported that neuropsychomotor development diagnosis is not an easy task, especially in the basic public health network. Diagnosis requires effective, low-cost, and easy - to-apply procedures. The Denver Developmental Screening Test, first published in 1967, is currently used in several countries. It has been revised and renamed as the Denver II Test and meets the aforementioned criteria. Accordingly, the aim of this study was to apply the Denver II Test in order to verify the prevalence of suspected neuropsychomotor development delay in children between the ages of 0 and 12 months and correlate it with the following maternal risk factors: family income, schooling, age at pregnancy, drug use during pregnancy, gestational age, gestational problems, type of delivery and the desire to have children. For data collection, performed during the first 6 months of 2004, a clinical assessment was made of 398 children selected by pediatricians and the nursing team of each public health unit. Later, the parents or guardians were asked to complete a structured questionnaire to determine possible risk indicators of neuropsychomotor development delay. Finally the Denver II Developmental Screening Test (DDST) was applied. The data were analyzed together, using Statistical Package for Social Science (SPSS) software, version 6.1. The confidence interval was set at 95%. The Denver II Test yielded normal and questionable results. This suggests compromised neuropsychomotor development in the children examined and deserves further investigation. The correlation of the results with preestablished maternal risk variables (family income, mother s schooling, age at pregnancy, drug use during the pregnancy and gestational age) was strongly significant. The other maternal risk variables (gestational problems, type of delivery and desire to have children) were not significant. Using an adjusted logistic regression model, we obtained the estimate of the greater likelihood of a child having suspected neuropsychomotor development delay: a mother with _75 4 years of schooling, chronological age less than 20 years and a drug user during pregnancy. This study produced two manuscripts, one published in Acta Cirúrgica Brasileira , in which an analysis was performed of children with suspected neuropsychomotor development delay in the city of Natal, Brazil. The other paper (to be published) analyzed the magnitude of the independent variable maternal schooling associated to neuropsychomotor development delay, every 3 months during the first twelve months of life of the children selected.. The results of the present study reinforce the multifactorial characteristic of development and the cumulative effect of maternal risk factors, and show the need for a regional policy that promotes low-cost programs for the community, involving children at risk of neuropsychomotor development delay. Moreover, they suggest the need for better qualified health professionals in terms of monitoring child development. This was an inter- and multidisciplinary study with the integrated participation of doctors, nurses, nursing assistants and professionals from other areas, such as statisticians and information technology professionals, who met all the requirements of the Postgraduate Program in Health Sciences of the Federal University of Rio Grande do Norte

Sensibilidade da cinética do zinco e avaliação nutricional em crianças submetidas ao teste venoso de tolerância ao zinco

Objective: The purpose of this study was to investigate the kinetics of this micronutrient in schoolchildren between the ages of 6 and 9 years, of both sexes, and to verify its sensitivity in detecting alterations in body zinc status. Methods: Nutritional assessment was performed by body mass index. Food intake, venous zinc tolerance test and zinc kinetics were carried out before and after 3-month oral zinc supplementation. Results: Of the 42 children studied, 76.2% had healthy weight. Only energy, calcium and fiber intake were suboptimal before and after oral zinc supplementation. Serum zinc and total-body zinc clearance, although at normal levels, increased significantly after zinc supplementation. Conclusion: We concluded, therefore, that kinetics is a sensitive tool for detecting changes in body zinc status, even in children without a deficiency of this mineral. Furthermore, kinetics showed a positive response to supplementation and may be a sensitive parameter to evaluate the efficacy of this therapy

Elaboração e validade do teste de rastreio de doença da Alzheimer com provérbios (TRDAP) para indivíduos a partir de sessenta anos

A escassez de instrumentos para a avaliação e a triagem da doença de Alzheimer, (DA), notadamente denominados de rastreio, com características de padronização e validados para o Nordeste, motivou este Estudo. Visando à triagem de uma etapa mais leve da doença e encaminhamento precoce ao tratamento multidisciplinar foi elaborado o Teste de Rastreio da Doença de Alzheimer com Provérbios (TRDAP), a partir de um Jogo de Memória de Provérbios, construído como recurso terapêutico ocupacional. Está composto de três etapas conforme a função neuropsicológica avaliada, a A (memória de curto prazo), B (funções executivas e linguagem) e C (memória episódica), além do reconhecimento de provérbios. O Estudo foi realizado em uma amostra de conveniência, com 91 idosos (28 DA e 63 controles), a partir de 60 anos, com um ou mais anos de escolaridade. Foram controladas as variáveis, como doenças intercorrentes ou déficits sensoriais que pudessem comprometer o desempenho dos pacientes, nos testes. O protocolo constou de oito testes selecionados por especialistas: Miniexame do Estado Mental (para validade convergente), Escala de Depressão Geriátrica EDG (validade discriminante), Lista de Palavras, Fluência Verbal, Span de Dígitos, Figura Neuropsi, Teste do Relógio, Atividade de Vida Diária e Instrumental. Os resultados confirmaram a validade de construto convergente e discriminante, assim como a relação significativa (p<0,005) com todos os testes, exceto com o EDG. Quanto à validade concorrente, não houve discordância com o critério da avaliação médica observou-se consistência interna aceitável, conferindo confiabilidade no instrumento, o que não ocorreu com MEEM. Tais resultados permitem afirmar que o TRDAP possui características psicométricas, adequadas ao rastreio da fase leve da DA para população estudada

As relações de poder na gestão da Escola Estadual Presidente Kennedy em Natal/RN: as ações decisórias dos órgãos colegiados - o conselho de escola e o caixa escolar

The present study examined the relations of power in the management of the Escola Estadual Presidente Kennedy, including the deliberate decisions on the School Council and School Fund, which guided the organization of the school. We sought to understand the management models that influenced the school organization, promoting contradictions in the decision making process. The school management is intensely marked by management models from the business logics as in the case of managerialism of bureaucracy. The formulation of educational policies based on managerialism has proposed a school-centered management with intense accountability of the school community in planning and monitoring the public services. The influences of these models subsidize hierarchical power relations that undermine the actions of decision-making of the collegiate bodies for the democratization of school management. To develop a research on the power, the investigation was based on studies of Bourdieu and Foucault. These authors understand the power in a relational system in a double sense, both in terms of discipline and the possibility of resistance. A theoreticalmethodological matrix was developed focusing on literature review, document analysis, structured interviews with twelve representatives of the segments belonging to the School Council and School Fund, as well as observations in meetings with the production of field notes. It was found that power relations experienced in the organization and activities of the school boards are marked by changes in public management over the years, promoting the contradictions between the concepts of corporate management originated in the business logics and the perspective of democratic management subsidized by official legislative documents at the national and state levels. The observations in meetings and analysis of the records showed that representatives related to management (president and manager of the school) have a privileged position with regard to exposure of their propositions, and are more likely to take a position in the political game of the collegiate bodies of work. It was also seen that the irregularity of meetings, particularly of the School Fund meetings, limits the experience of operation of the representatives in discussions concerning the planning and monitoring the actions of school management. Reports from representatives of the School Council showed that certain segments related to the management recognize their power of decision, however others have little interfere in the decision-making process in order to expound the desires of those who are represented by them. In the School Fund, the analysis of the records and interviews showed restricted moments of the meeting of representatives, and these only being aimed at choice or approval of the implementation plan prepared by the school management. The results showed no indications of moments of reflection to study the best chance for applicability of resources. This collegiate body (School Fund) has a questionable action when planning and monitoring the applicability of the financial resources of the School. To sum up, it was found that the Escola Estadual Presidente Kennedy still lives hierarchical power relations that undermine the institutionalization of democratic management in the various representative segments may take place in the game of political decision-making processes necessary for the organization of the school

Acurácia do teste de labirinto no rastreamento de déficits cognitivos em idosos

This study intended to evaluate the maze test accuracy in cognitive deficit screening in elderly with or without neuropsychological pathology. The sample included 40 healthy young (18-25 years old; mean- 21 ± 1.6), 40 healthy old (60-77 years old; mean- 67 ± 5.1) and 18 patients with probable diagnosis of Alzheimer s disease initial stage (52-90 years old; mean- 78 ± 9.2). Data analysis was made using Anova with Tukey s post hoc, multiple linear regression analysis and ROC curve analysis. According to Tukey s test Alzheimer patients spent more time (46843 ± 37926 ms) to execute the test than healthy young (5482 ± 2873 ms; p= 0.0001) and elderly (17978 ± 13700; p= 0.0001); healthy young executed test n lower time (p= 0.035). According to the regression analysis of age, education level and cognitive performance of the three groups, the cognitive performance was the predictor of the execution time. When analyzing young and elderly only age was the predictor and the cognitive performance was the only factor to influence the test of old aged healthy and patients. The ROC curve analysis indicated 72% accuracy for young and elderly and 36% for healthy and elderly patients. The maze execution time represented a better balance between sensibility (75%) and the specificity (61%) was near 13575 ms, indicating that those subjects that execute the maze in a time higher to this value may show cognitive deficit related to the executive function. According to the results it is suggested that the maze test used in this study shows a good accuracy in the cognitive deficit tracking and may discriminate age changes

Doenças sem doentes: Ocorrência de Distúrbios Osteomusculares Relacionados ao Trabalho DORT nos operadores de caixa de um banco

The changes incurred in the financial system with the introduction of new technologies and new forms of administration of banks has caused impact on the health of workers. These changes, which passed in the process of work, generate a combined share of the risk factors that result in numerous injuries and illnesses among banks, notably between the operators of banks tellers. The Work-Related Musculoskeletal Disordes - WRMD represent a group of occupational diseases always present among these workers. Because of its high incidence and the amount of financial resour envolved to manage the problem has been the object of constant study. This paper aims to analyze the bank teller activity; search the occurrence of WRMD in the activity, identifying the factors determining the occurrence of WRMD in the activity and determine the real number of touchs on a keyboard made by the operator and propose solutions that influence the reduction of illness in the workplace of the bank teller. Methodological tools of ergonomics are used to provide a broad knowledge of aspects of work that have been studied and influential in the generation of occupational diseases studied. It was found that activity put workers to serious risk of occupational diseases. As the main contributory factors and determinants for this illness: the requirements and control the numbers daily endorsements; evaluation system based on performance targets for productivity; management system at time of service to customers; work with stressful factors (broken box); excess of time worked; furniture of workstations with ergonomic inadequacies and policy for the prevention of occupational diseases inefficient. They have also noted cases of illness for DORT workers without fulfilling the legal requirement of the issuance of the communication of labour accident and without the removal of the employee of the workplace

Um sistema para estimação da vazão de gás de poços produzindo por Plunger Lift para vaso separador de teste em plataformas de petróleo

This work intends to analyze the behavior of the gas flow of plunger lift wells producing to well testing separators in offshore production platforms to aim a technical procedure to estimate the gas flow during the slug production period. The motivation for this work appeared from the expectation of some wells equipped with plunger lift method by PETROBRAS in Ubarana sea field located at Rio Grande do Norte State coast where the produced fluids measurement is made in well testing separators at the platform. The oil artificial lift method called plunger lift is used when the available energy of the reservoir is not high enough to overcome all the necessary load losses to lift the oil from the bottom of the well to the surface continuously. This method consists, basically, in one free piston acting as a mechanical interface between the formation gas and the produced liquids, greatly increasing the well s lifting efficiency. A pneumatic control valve is mounted at the flow line to control the cycles. When this valve opens, the plunger starts to move from the bottom to the surface of the well lifting all the oil and gas that are above it until to reach the well test separator where the fluids are measured. The well test separator is used to measure all the volumes produced by the well during a certain period of time called production test. In most cases, the separators are designed to measure stabilized flow, in other words, reasonably constant flow by the use of level and pressure electronic controllers (PLC) and by assumption of a steady pressure inside the separator. With plunger lift wells the liquid and gas flow at the surface are cyclical and unstable what causes the appearance of slugs inside the separator, mainly in the gas phase, because introduce significant errors in the measurement system (e.g.: overrange error). The flow gas analysis proposed in this work is based on two mathematical models used together: i) a plunger lift well model proposed by Baruzzi [1] with later modifications made by Bolonhini [2] to built a plunger lift simulator; ii) a two-phase separator model (gas + liquid) based from a three-phase separator model (gas + oil + water) proposed by Nunes [3]. Based on the models above and with field data collected from the well test separator of PUB-02 platform (Ubarana sea field) it was possible to demonstrate that the output gas flow of the separator can be estimate, with a reasonable precision, from the control signal of the Pressure Control Valve (PCV). Several models of the System Identification Toolbox from MATLAB® were analyzed to evaluate which one better fit to the data collected from the field. For validation of the models, it was used the AIC criterion, as well as a variant of the cross validation criterion. The ARX model performance was the best one to fit to the data and, this way, we decided to evaluate a recursive algorithm (RARX) also with real time data. The results were quite promising that indicating the viability to estimate the output gas flow rate from a plunger lift well producing to a well test separator, with the built-in information of the control signal to the PCV

Construção, calibração e análise de desempenho de um piranômetro de baixo custo, baseado no modelo Kimball-Hobbs

In this work a pyrometer using the classic model of Kimball-Hobbs was developed, tested and calibrated. The solar radiation is verified through the temperature difference between the sensible elements covered by absorbing (black) and reflecting (white) pigmentations of the incoming radiation. The photoacoustic technique was used to optimize the choice of the pigments. Methodologies associated with linearity, thermo-variation, sensibility, response time and distance are also presented. To correctly classify the results, the international standard ISO 9060 as well as indicative parameters of World Meteorological Organization (WMO) are used. In addition a system of data acquisition of two channels with 12 bits, constructed during the this time, was used to measure the global solar radiation on the ground by the pyrometer and also by another pyrometer certified in the case of Keep & zonen. The results statistically show, through the hypothesis test presented here, that both equipments find population average with 95% of correctness

Projeto, construção e análise de desempenho de um forno solar alternativo tipo caixa a baixo custo

An alternative box-type solar oven constructed from the scrap iron of a gas conventional cook is presented, which functions principles are the effect greenhouse and the concentration. The oven of the conventional cook is the baking enclosure where the absorber (pot) of the solar oven is located, being re-covered for a glass blade for the generation of the greenhouse effect isolated lateral and having deep its and for a composite the plaster base and EPS. Segments of plain mirrors had been placed in the laterals of the oven for the concentration of the radiation and a reflecting parabola was introduced in the baking enclosure for the exploitation of the incident reflected radiation in the interior of the oven. The oven is mobile to allow one better aiming of exactly in relation to the apparent movement of the sun. The thermal economic and of materials viabilities of the stove in study will be demonstrate The average internal temperature of the absorber was around 150°C and the internal temperature around 120°C. Will demonstrate that its low cost and good thermal performance represents basic characteristics for the viability of large use of such archetype, mainly for cooking the decreases and averages temperatures. One will reveal that the archetype in study is competitive with the box-type solar cooker conceived in the whole world