Avaliação do cortisol, dehidroepiandrosterona sulfato e dos perfis lipídico e imunológico e suas correlações com a sensibilidade dolorosa, depressão e funcionalidade em mulheres com fibromialgia na pós-menopausa

Fibromyalgia (FM) is a non-inflammatory rheumatic syndrome characterized by widespread musculoskeletal pain with palpable tender points, muscle stiffness, fatigue, and sleep disturbances. Patients with FM have hormonal changes that are directly correlated with symptoms of the syndrome. The neuroendocrine regulation may be impaired, with abnormalities in the hypothalamus-pituitary-adrenal (HPA) axis with various hormones showing changes in their levels. In women in fertile period, various gonadal hormones are associated with symptoms of the syndrome, but studies focusing only a population of women in post-menopausal period who do not use hormone replacement are rare. We developed an analytical cross sectional study to assess the plasma levels of cortisol and dehidroepiandrosterona sulfate (DHEA-S) with quimioluminescence method in a group of 17 women with FM and 19 healthy women in post-menopause who do not use hormone replacement and observe the correlation with the symptoms of pain through algometry, depression and physical functional capacity measured from the Beck Depression Index (BDI) and the Fibromyalgia Impact Questionnaire (FIQ). Three blood samples were collected in the morning (between 8:00 9:30) with an interval of 24 hours for the measurements of hormonal levels and biochemical profile. There were no immunological or lipid changes in patients with FM. Comparing the two groups, there is no difference in levels of cortisol and a tangential effect for DHEA-S (p=0,094) with the lowest levels in the FM. DHEA-S also correlated with pain threshold (r=0,7) and tolerance (r=0,65) in group FM. We found the presence of depressive state and low physical functional capacity in FM. It was also evident that women in post-menopausal period, DHEA-S should influence the symptoms of increased sensitivity to pain, but not the presence of depressive status and low physical functional

Participação e ação política dos psicólogos frente à política de saúde mental no Piauí

It is intended to problematize forms of participation and political action of psychologists toward mental health policy in Piauí. The study was motivated through challenges faced by the local Psychiatric Reform movement, and the one underway in the country, which needs support technical-assistence and sociopolitical to guarantee accomplishments and to move on with the complete reversion of the asylum to psychosocial model. The method was based on institutional analysis and counted with three insertion moments for the field research: a) to identify historical and political events that configure the local Psychiatric Reform (documental research/oral memory) and to identify psychologists that act in Mental Health; b) to realize participant observation and semi-structured interview with 33 psychologists which act in Mental Health in Teresina; c) to follow the sociopolitical contexts/events of the local Psychiatric Reform (participant observation and conversation circles). The data were analyzed considering four discussion axes, achieved through categorization of the collected material: 1) ways of professional insertion of psychologists in mental health; 2) knowledge and practices used to act in this work context of the profession; 3) political professional movements of workers of the reformist local process; 4) political action of psychologists toward the course of Piauí mental health policy. We concluded identifying that the participation of psychologists in Piauí mental health finds strength by the conduction of its macro and micropolitical professional action. The first one follows oriented by the lemma of social commitment, despite this movement doesn t have equivalence in the transformation of practices and political-professional postures of psychologists in the daily of services. The second is constituted in the every day of work, standing to the political action of the profession implicated with the preservation of the classic modus operandi of being psychologist. Therefore, it is about the actions that give little sustainability technicalassistance to the Psychiatric Reform underway in the State, and why not say in the country

Motivação para o trabalho: um estudo com os profissionais de saúde das unidades básicas de saúde do município de Natal RN

This thesis studied the motivation to work among health professionals of the Basic Unities (BUH) in the health network of the city of Natal (RN). It was understood that the work motivation is a process. Then, the expectation theory was applied and motivation components (results of work, expectative, valence, instrumentality, and motivational force) were used to analyses. It s understanding the motivation as multifaceted phenomenon, the psycho sociological perspective was adopted. The research was developed in two phases: one with application of Work Motivation and Meaning Inventory (WMMI), and another with interview. In the first phases, the analysis of results revealed that the major factors contributing to increase the motivational force to health professionals in the BUH´s are: in valence, Self Expression and Personal Realization (VF2), Personal and Family Survival (VF3); in expectative, Self Expression and Work Justice (EF1), Safety and Dignity (EF2) and Responsibility (EF4); in instrumentality, Involvement (IF1) and Recognition and Economic Independence (IF4). In opposition, the factors that more contribute to reduce the motivational force are Wear and Dehumanization factors in valence (VF4), in expectative (EF3), and in instrumentality (IF4), behind the Work Justice Factor (IF2). Basing in content analysis of interviews, it was possible to associate by equivalence, the senses presented by health professionals with obtained results of first phase, indicating that the results of second phase corroborated and complemented those of first one. This possibility broadened the comprehension of the studied phenomenon. In speaking of the respondents, it was visible the presence of contents showing that they perceive the Health System and BUH´s in degradation. In the first phase, the participants´ instruction also predict the results in motivation, and in the interviews can be saw that the instruction is associated with the opportunities in outside of system. As work motivation is a process, the impact of personal and occupational characteristics tend to interact with contextual aspects. It was concluded the majority of health professionals present the moderated motivational force, but it was falling because they experience and perceive a degrading context with work condition increasingly unfavorable.

Medida da preditividade de instrumentos psicológicos nas avaliações psicológicas de condutores

The object of this study was to identify the possibility of predicting the involvement in traffic infractions from the results of the psychological tests carried out by psychologists specialized in the process of driver licensing in the state of Rio Grande do Norte (RN). The proposal consisted in identifying the penalty points recorded in national driving licenses (CNH) and identifying the corresponding tests and scores obtained, verifying if the average scores in the tests of drivers with and without an infraction record were significantly different and if there is any relation between the test scores and the frequency of the infractions. The results of the psychological instruments were collected in two moments the first being in the act of acquisition of the CNH and the second being during license renewal at the only certified clinic and at the DETRAN-RN. A population of 839 drivers of 14 municipalities were identified. 127 protocols of psychological tests were identified in the records of the DETRAN-RN (2002) and 76 at the clinic (2007), pointing out failures in the process of safekeeping of the psychological material, as well as in its retrieval from the record files. The sample was thus reduced to 68 drivers, all male, with age range between 18 and 41 years old, mean of 21,72 years old (DP = 5,24). 54 drivers were identified without a record of infraction, and 14 with a record. The latter committed 29 infractions. The penalty points recorded in their CNH ranged from 0 to 35 and the typical value of points (median) was zero. In the group with a record of infractions the number of points ranged between 3 and 35, mean of 10,79 (DP = 7,73). Differences were observed in the composition of the battery of tests in the two moments with the same subjects. The use of different tests to assess the same construct of the subject, first and second moment of assessment, did not allow for some analyzes with more efficient statistical proof. It was pointed out that five tests were not carried out and 118 were not corrected/analyzed. Significant differences between the groups were not identified with the psychological instruments used. In another attempt to establish differences between the means, the application of the independent t-Test evidenced a significant difference in the scores of the instruments of concentrated attention in 2002 (t = 2,21, gl = 25, p = 0.037) and of diffuse attention in 2002 (t = 2,37, gl = 24, p = 0.026). The results also did not evidence significant correlation between the scores of the tests and the penalty points of the infractions. Based on this study, it cannot be concluded with precision that the high or low scores are good criteria to determine that a driver will commit more or less traffic infractions, nor that the drivers with higher scores in the tests commit less infractions and vice-versa. Furthermore, the problems to find the instruments and the most basic data require a stronger monitoring on the part of the certified clinic and of the DETRAN-RN.

Adaptação e validação da escala de dependência de exercício físico em versão tradicional e informatizada

While providing physical and psychological benefits, excessive exercise could be or cause a compulsive behavior, making the individual dependent on it. In a parallel discussion, computerized psychological instruments, for a hand, reflects the development of information technology and your applicability to other areas, but also shows little advance for Psychological Assessment. In this perspective, this study aims to adapt the Exercise Dependence Scale (EDS-R) in two formats (paper-and-pencil and computerized) and evaluate evidence of factorial and convergent validity, and reliability of each version and compare them with each other. It is also proposed to observe the relationship of some bio-demographic (Sex, age, frequency, duration and intensity of practice exercise) and the exercise dependence (DEF). For this purpose, 709 regular physical activity practitioners, selected by procedures non-probabilistic sampling, responded a adapted version of EDS-R, Muscle Appearance Satisfaction Scale (MASS), Body Modification Scale (BMS) and a demographic questionnaire, analyzed through Exploratory Factor Analysis, Cronbach's Alpha and not parametric tests. Both the traditional version and the computer showed a seven factors structure, explaining 57 and 62% of the variance, respectively, and Cronbach's alphas of 0.83 and 0.89. Factors were: (1) intentionality, (2) continuity, (3) tolerance, (4) reduction of other activities, (5) lack of control, (6) abstinence and (7) time spent on exercise. Relationships were observed between the Exercise Dependence and the variables: age, diets, consumption of food supplements and medicines for weight change, desire to do plastic surgery and body satisfaction. We observed also a positive correlation between the DEF and the frequency, duration and intensity of exercise, and the factor "Dependence on exercising" from MASS, indicating convergent validity of the EDS-R. Finally, comparisons between the two formats were equivalent, with few changes: computerized version achieved higher DEF scores. Based on these results, it can be concluded that the EDS-R has factorial and convergent validity, reliability, to measure exerceise dependence on traditional e computerized formats. DEF is related to actions used to body modification and behaviors toward exercise. Finally, it was found equivalence between the formats, especially in psychometric parameters, thus suggesting feasibility of a computerized assessment. However, it was observed that the computerized data has sample recruiting strategies more limited

Adaptação transcultural para o Português/Brasil do instrumento vulnerability to abuse screening scale (VASS)

Esse trabalho objetivou promover a adaptação transcultural para o Brasil da VASS. Os passos para adaptação transcultural seguirão a proposta de operacionalização alicerçado na apreciação de diferentes tipos de equivalência: a conceitual e de itens, a semântica e a de mensuração. Para alcançar as duas primeiras etapas utilizou-se as técnicas de tradução e retrotradução associada ao procedimento intitulado Painel de Especialistas. Para o pré-teste e verificação de equivalência de mensuração, aplicou-se o questionário com uma população de 30 e 66 idosos, respectivamente. Para as análises dos resultados foi utilizada a estatística descritiva e inferencial, em especial o KR-20, teste T de student, correlação de Pearson e ANOVA univariada, bem como o método kappa de Fleiss para verificação do índice de confiabilidade. Verificou-se que o conceito utilizado para construção do instrumento, bem como seus itens se mostram adequados à investigação do fenômeno. Evidenciou-se boa equivalência semântica entre os itens das retrotraduções e do instrumento original, especialmente quanto aos resultados de T1 R1. Os juízes optaram pelo uso de 11 itens de T1 à versão-síntese. A equivalência operacional mostrou-se satisfatória. Em geral, os resultados apresentados mostraram-se aceitáveis. Quanto à etapa da equivalência de mensuração, verificou-se que a idade dos participantes variou entre 60 a 84 anos, prevalecendo respondentes idosas (n = 38), representando 57,6% da amostra estudada. O valor do KR-20 para o escore geral do instrumento foi de 0,688 (IC95%: 0,670). Os valores encontrados para as quatro dimensões propostas pelos autores do estudo inicial do instrumento foram 0,528, 0,289, 0,552 e 0,303, respectivamente. Apenas os valores de consistência interna das subescalas Vulnerabilidade e Coerção mostraram-se aproximados aos encontrados no estudo original, a saber, 0,550 e 0,390, respectivamente. Verificou-se que com a retirada dos itens nº 04, nº 06 e nº 10, houve aumento do índice de consistência interna da escala total. Já quanto aos valores da consistência interna das subescalas, percebeu-se que apenas com a retirada dos itens nº 09, referente à escala que dimensiona o Desânimo, e nº 12, item da subescala Coerção, é que houve acréscimo nesses valores. Destaca-se que esses são resultados preliminares, uma vez que após a verificação da adequabilidade e de padrões psicométricos iniciais acerca do uso do instrumento para a população idosa, ainda há de se dar continuidade à etapa concernente à verificação de propriedades psicométricas robustas do instrumento, que indiquem, por exemplo, evidências de fidedignidade em situação de teste-reteste, validade de constructo e de critério, se possível e aplicável. A principal limitação do estudo é a falta de um instrumento padrão-ouro para testar a fidedignidade, sensibilidade e especificidade do instrumento em questão. Apesar desta limitação, a adaptação transcultural e a verificação de propriedades psicométricas preliminares do instrumento de uma medida de autorrelato que afere indicativo de violência doméstica contra o idoso tem sua relevância e foi satisfatória

Ferramentas quimiométricas aplicadas a classificação de amostras de leite em pó e quantificação de proteínas

In this work we used chemometric tools to classify and quantify the protein content in samples of milk powder. We applied the NIR diffuse reflectance spectroscopy combined with multivariate techniques. First, we carried out an exploratory method of samples by principal component analysis (PCA), then the classification of independent modeling of class analogy (SIMCA). Thus it became possible to classify the samples that were grouped by similarities in their composition. Finally, the techniques of partial least squares regression (PLS) and principal components regression (PCR) allowed the quantification of protein content in samples of milk powder, compared with the Kjeldahl reference method. A total of 53 samples of milk powder sold in the metropolitan areas of Natal, Salvador and Rio de Janeiro were acquired for analysis, in which after pre-treatment data, there were four models, which were employed for classification and quantification of samples. The methods employed after being assessed and validated showed good performance, good accuracy and reliability of the results, showing that the NIR technique can be a non invasive technique, since it produces no waste and saves time in analyzing the samples

Construção de modelos multivariados para determinação de lipídios totais e unidade em leite em pó comercial utilizando espectroscopia no infravermelho próximo

In this work calibration models were constructed to determine the content of total lipids and moisture in powdered milk samples. For this, used the near-infrared spectroscopy by diffuse reflectance, combined with multivariate calibration. Initially, the spectral data were submitted to correction of multiplicative light scattering (MSC) and Savitzsky-Golay smoothing. Then, the samples were divided into subgroups by application of hierarchical clustering analysis of the classes (HCA) and Ward Linkage criterion. Thus, it became possible to build regression models by partial least squares (PLS) that allowed the calibration and prediction of the content total lipid and moisture, based on the values obtained by the reference methods of Soxhlet and 105 ° C, respectively . Therefore, conclude that the NIR had a good performance for the quantification of samples of powdered milk, mainly by minimizing the analysis time, not destruction of the samples and not waste. Prediction models for determination of total lipids correlated (R) of 0.9955, RMSEP of 0.8952, therefore the average error between the Soxhlet and NIR was ± 0.70%, while the model prediction to content moisture correlated (R) of 0.9184, RMSEP, 0.3778 and error of ± 0.76%

Estudo de titanatos nanoestruturados obtidos por tratamento hidrotérmico de óxido de titânio em meio alcalino

TiTanate NanoTubes (TTNT) were synthesized by hydrothermal alkali treatment of TiO2 anatase followed by repeated washings with distinct degrees of proton exchange. TTNT samples with different sodium contents were characterized, as synthesized and after heattreatment (200-800ºC), by X-ray diffraction, scanning and transmission electron microscopy, electron diffraction, thermal analysis, nitrogen adsorption and spectroscopic techniques like FTIR and UV-Vis diffuse reflectance. It was demonstrated that TTNTs consist of trititanate structure with general formula NaxH2−xTi3O7·nH2O, retaining interlayer water in its multiwalled structure. The removal of sodium reduces the amount of water and contracts the interlayer space leading, combined with other factors, to increased specific surface area and mesopore volume. TTNTs are mesoporous materials with two main contributions: pores smaller than 10 nm due to the inner volume of nanotubes and larger pores within 5-60 nm attributed to the interparticles space. Chemical composition and crystal structure of TTNTs do not depend on the average crystal size of the precursor TiO2-anatase, but this parameter affects significantly the morphology and textural properties of the nanostructured product. Such dependence has been rationalized using a dissolution-recrystallization mechanism, which takes into account the dissolution rate of the starting anatase and its influence on the relative rates of growth and curving of intermediate nanosheets. The thermal stability of TTNT is defined by the sodium content and in a lower extent by the crystallinity of the starting anatase. It has been demonstrated that after losing interlayer water within the range 100-200ºC, TTNT transforms, at least partially, into an intermediate hexatitanate NaxH2−xTi6O13 still retaining the nanotubular morphology. Further thermal transformation of the nanostructured tri- and hexatitanates occurs at higher or lower temperature and follows different routes depending on the sodium content in the structure. At high sodium load (water washed samples) they sinter and grow towards bigger crystals of Na2Ti3O7 and Na2Ti6O13 in the form of rods and ribbons. In contrast, protonated TTNTs evolve to nanotubes of TiO2(B), which easily convert to anatase nanorods above 400ºC. Besides hydroxyls and Lewis acidity typical of titanium oxides, TTNTs show a small contribution of protonic acidity capable of coordinating with pyridine at 150ºC, which is lost after calcination and conversion into anatase. The isoeletric point of TTNTs was measured within the range 2.5-4.0, indicating behavior of a weak acid. Despite displaying semiconductor characteristics exhibiting typical absorption in the UV-Vis spectrum with estimated bandgap energy slightly higher than that of its TiO2 precursor, TTNTs showed very low performance in the photocatalytic degradation of cationic and anionic dyes. It was concluded that the basic reason resides in its layered titanate structure, which in comparison with the TiO2 form would be more prone to the so undesired electron-hole pair recombination, thus inhibiting the photooxidation reactions. After calcination of the protonated TTNT into anatase nanorods, the photocatalytic activity improved but not to the same level as that exhibited by its precursor anatase

The effects of intrathecal administration of betamethasone over the dogs' spinal cord and meninges

OBJETIVO: Determinar possíveis alterações clínicas e histológicas determinadas pela administração da betametasona no espaço subaracnóideo de cães. MÉTODOS: Vinte e um cães foram incluídos no estudo de forma aleatória e encoberta. Depois de anestesiados, os cães foram submetidos a punção subaracóidea com injeção de 1 ml da solução sorteada. Os animais receberam solução salina 0,9% em G1, betametasona na dose de 1,75 mg em G2 e betametasona na dose de 3,5 mg em G3. Todos os animais foram mantidos em observação clínica por 21 dias, sendo posteriormente sacrificados. Porções da medula espinhal e sacral foram removidas para análise histológica por microscopia óptica. RESULTADOS: Não foram detectadas alterações clínicas em quaisquer dos animais incluídos no estudo. da mesma forma, nenhum animal do G1 apresentou alterações histológicas. Infiltração inflamatória foi observada em dois cães, um do G2 e outro e G3. No cão do G2 onde a infiltração inflamatória foi observada ocorreu, conjuntamente, hemorragia e necrose. em dois cães, um de G2 e outro de G3, observou-se discreta fibrose e espessamento da aracnóide, sendo focal em um e difusa no outro. CONCLUSÃO: A administração subaracnóidea de betametasona determinou alterações histológicas em medula e meninges de alguns dos cães envolvidos no estudo.

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

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

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Apoiando a Construcao de Testes de Aceitacao Automatizados a partir da Especificacao de Requisitos

A automação consiste em uma importante atividade do processo de teste e é capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realização de testes de aceitação em aplicações Web. Contudo, grande parte delas apresenta limitações importantes tais como necessidade de valoração manual dos casos de testes, refatoração do código gerado e forte dependência com a estrutura das páginas HTML. Neste trabalho, apresentamos uma linguagem de especificação de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limitações. A linguagem proposta dá suporte aos critérios de classes de equivalência e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a geração de casos de teste através de diferentes estratégias de combinação. Para realizar a avaliação da abordagem, utilizamos um dos módulos do Sistema Unificado de Administração Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avaliação analistas de sistemas e um técnico de informática que atuam como desenvolvedores do sistema utilizado.

Apoiando a construção de testes de aceitação automatizados a partir da especificação de requisitos

Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administração Pública (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications