De acordo com compêndios farmacêuticos, o teste de esterilidade, requer período de incubação de 14 dias para obtenção de resultado analítico, período em que produto farmacêutico é mantido em quarentena, o que demanda custos elevados. Os métodos alternativos com aplicação na avaliação da esterilidade são particularmente interessantes, quando possibilitam a redução do período de incubação do teste, o período de quarentena e, em consequência, os custos envolvidos, além de reduzir o tempo para preparação do material requerido, para execução do ensaio e para a capacitação técnica. O presente estudo avaliou o desempenho do método microbiológico rápido BacT/Alert 3D (Biomerieux®) aplicado ao teste de esterilidade em comparação ao teste de esterilidade por método indireto descrito nas farmacopeias (brasileira, americana, européia e japonesa). O Bact/Alert 3D se baseia na detecção do crescimento microbiano, que é feita por meio de detecção de alteração da cor de um sensor sensível à liberação de dióxido de carbono produzido por metabolismo microbiano. Os testes utilizaram três diferentes soluções parenterais de grande volume: solução salina 0,9%, concentrado polieletrolítico para diálise e solução de metronidazol. Micro-organismos desafio: Escherichia coli ATCC 8739, Pseudomonas aeruginosa ATCC 9027, Staphylococcus aureus ATCC 6538, Bacillus subtilis ATCC 6633, Clostridium sporogenes ATCC 19404, Candida albicans ATCC 10231 e Aspergillus brasiliensis ATCC 16404. Cargas de contaminação: 20, 2 e 0,2 UFC/membrana. Temperatura de incubação: 32,5 ± 0,5 °C. As amostras foram avaliadas por 14 dias. Amostras dos três produtos foram artificialmente contaminadas com BioBalls® SingleShot dos micro-organismos desafio de diferentes cargas de contaminação foram submetidas ao teste de esterilidade farmacopeico, com inoculação por método indireto. Após 18h de incubação, foram retiradas alíquotas de cada um dos meios de cultura, que foram inoculadas nos frascos de meio de cultura do BacT/Alert 3D. Bact/Alert 3D demonstrou equivalência ao método farmacopeico (p > 0,05) e tempo de detecção inferior. / Nowadays, the harmonized sterility test method described on pharmacopoeias requires an incubation period of 14 days. During this period the product stays on quarantine waiting the result for release, which demands warehousing and inventory costs. The application of Rapid microbiologial methods for sterility testing is particulary interesting considering the benefits of incubation time reduction, quarantine period reduction, time reduction for material preparation, reduction of time for test execution and technical training.This work evaluated comparetivelly the performance of Bact/Alert 3D system as a rapid microbiologial method applied to sterility testing and sterility testing according to described on Brazilian pharmacopeia and harmonized pharmacopeias (American pharmacopeia, European pharmacopeia and Japanese pharmacopeia). The Bact/Alert 3D is based on microrganisms gowth and has as principle the detection of pad color change which is sensible to carbon dioxide release by microorganism metabolism. To perform the evaluation it was considered Buffer saline solution, Metronidazol solution and Polieletrolitic dialysis concentrate solution. Challenge Microrganisms: Staphylococcus aureus (ATCC 6538), Bacilus subtilis (ATCC 6633), Pseudomonas aeruginosa (ATCC 9027), Escherichia coli (ATCC 8739 ), Clostridium sporogenes (ATCC 19404), Candida albicans (ATCC 10231) and Aspergillus brasiliensis (ATCC 16404). Inoculum load: 20CFU/sample; 2 CFU/sample; 0,2CFU/sample. Incubation temperature: 32,5 ± 0,5 °C. The samples were evaluated during 14 days. Aseptic samples of the three products were intentionally contaminated with BioBalls® SingleShot of challenge microorganisms, according to inoculum concentration desired, and were tested by indirect inoculation. After 18h aliquotes of were taken from inoculated culture media and inoculated into BacT/Alert 3D culture media bottles. Bact/Alert showed equivalence to compendial method (p > 0,05) and showed results faster than compendial method.

A crescente incidência da obesidade e suas comorbidades constituem-se em um grande desafio para a saúde no mundo. Além da doença cardiovascular e do diabetes, dados epidemiológicos demonstraram ligação entre a obesidade e diversos tipos de câncer. As alterações citogenéticas tem sido utilizadas como biomarcadores para identificação de danos celulares. Este estudo teve como objetivos: comparar a frequência dos tipos celulares (células basais e diferenciadas), anormalidades nucleares (células binucleadas, picnóticas, cariorréticas, cariolíticas e com cromatina condensada) e de danos celulares (micronúcleos e brotos nucleares) de células bucais esfoliadas em um grupo de obesos (teste) e em um grupo de indivíduos com peso normal (controle). A amostra foi composta por 30 indivíduos, sendo o grupo teste constituído por indivíduos obesos mórbidos (n=15) e o grupo controle por indivíduos com peso normal (n=15). A classificação do peso corporal foi feita de acordo com o Índice de Massa Corporal (IMC); um questionário forneceu informações sobre exposições ocupacionais e não ocupacionais; hábitos e dieta. As células da mucosa bucal foram coletadas da mucosa jugal, de ambos os lados, processadas e analisadas microscopicamente. Para cada indivíduo foram avaliadas 1000 células para a caracterização dos tipos celulares (basal e diferenciada) e alterações nucleares (células binucleadas, picnose, cariólise, cariorrexe, cromatina condensada) e 2000 células diferenciadas para verificar a presença de danos celulares (micronúcleos e brotos nucleares). Os dados foram processados e analisados estatisticamente, por meio do teste de Mann Whitney. Considerou-se o nível de significância de 5% (p<0,05). Observaram-se diferenças nas frequências de tipos celulares e anomalias nucleares para os dois grupos, porém estas diferenças não foram significativas (p>0,05). Quanto ao tipo de dano celular, notou-se a mesma frequência de brotos nucleares para ambos os grupos, entretanto, a frequência de micronúcleos foi maior para o grupo obeso (p<0,001). Neste estudo, verificou-se maior frequência de micronúcleos nas células esfoliadas da mucosa bucal em indivíduos obesos mórbidos que em indivíduos com peso normal. Este achado sugere que a obesidade possa levar à maior ocorrência de alterações citogenéticas. / The increasing incidence of obesity and its co-morbid conditions poses a great challenge to global health. In addition to cardiovascular disease and diabetes, epidemiological data demonstrate a link between obesity and multiple types of cancer. The buccal micronucleus cytome assay has been used as a biomarker for identification of cell damage. This study aimed to compare the frequency of cell types (basal and differentiated), nuclear anomalies (binucleated, pyknotic, karyorrhectic, karyolitic and condensed chromatin cells), and cell damage (micronuclei and nuclear buds) in exfoliated buccal cells in a group of obese (test) and a group of normal weight (control).The sample consisted of 30 subjects, the test group comprised of individuals with morbid obesity (n = 15) and a control group of normal weight (n = 15). The classification of body weight was made according to Body Mass Index (BMI), a questionnaire provided information on occupational exposures and non-occupational, lifestyle and diet. The oral mucosa cells were collected from the buccal mucosa, on both sides, processed and analyzed microscopically. For each individual 1000 cells were evaluated for the characterization of cell types (basal and differentiated) and nuclear abnormalities (binucleated cells, pyknosis, karyolysis, karyorrhexis, condensed chromatin) and 2000 differentiated cells for the presence of cellular damage (micronuclei and nuclear buds). The data were processed and statistically analyzed using the Mann-Whitney test. We considered the significance level of 5% (p <0.05). Differences were observed in the frequencies of cell types and nuclear abnormalities in both groups, but these differences were not significant (p> 0.05). Regarding the type of cell damage, we noticed the same frequency of nuclear buds for both groups, however, the frequency of micronuclei was higher in the obese group (p <0.001). In this study, there was a higher frequency of micronuclei in exfoliated cells of buccal mucosa in morbidly obese individuals than in individuals with normal weight. This finding suggests that obesity may lead to higher rates of cytogenetic changes.

Projetos desenvolvidos para instalações de animais de laboratório adotam limites estreitos de ventilação e de climatização de ambientes a fim de assegurar um ambiente definido na sala de animais, denominada de macroambiente. Entretanto o tratamento do ar de uma sala não atinge, de forma eficiente, a gaiola em que o animal se encontra alojado (microambiente). O desenvolvimento de sistemas de ventilação microambiental (VMA), que possibilita um fluxo unidirecional de ar forçado para o interior das gaiolas dos animais; associado à modernas tecnologias de termoeletricidade, termosensores e termocontroladores permitem um acurado controle de variáveis climáticas em sistemas microambientais para roedores. No entanto, nota-se carência de dados no que se refere ao binômio temperatura e velocidade do ar para estes sistemas. O objetivo deste estudo foi o desenvolvimento de uma Câmera de Preferencia Climática (CPC) do tipo labiritno que permitisse analise da escolha de ambientes (binômio temperatura e velocidade do ar) para roedores de laboratório. O sistema de Ventilação Microambiental (VMA), possibilitou a climatização da CPC, que foi dividida em quatro sub-camaras, em temperaturas pré-determinadas de 22, 26, 30 e 34oC, todas à uma velocidade de ar de 0,3m/s. A CPC foi mantida numa sala climatizada a 18 &plusmn; 2 Co, por um sistema convencional de compressão do freon&reg; para conforto humano. A massa de ar destinada a cada uma das sub-camaras era aquecida via resistência elétrica, controlada eletronicamente, para cada uma das temperaturas pré-determinadas. O comportamento exploratório dos ratos na CPC foi registrado pelo sistema de analise comportamental Ethovision Color-Pro 2.3® e analisado pelos parâmetros de tempo de permanência (Tp) (min.), freqüência de entrada (N) dos animais em cada sub-câmara climatizada e distancia percorrida (cm) dentro da CPC, em um período de 48 horas. Os testes físicos realizados com o equipamento mostraram que este foi capaz de manter as temperaturas pré-determinadas na faixa de &pludmn; 0,1 oC e velocidade de ar constante. Os resultados parciais da analise estatística do comportamento exploratório de ratos demonstraram que, no grupo controle, ou seja, onde as quatro sub-camaras estavam climatizadas em 22 Co, o Tp dos animais em cada uma das sub-camaras foi igual, evidenciando que as condições climáticas eram idênticas e portanto não houve preferência. No grupo experimental, ou seja, com as quatro camaras climatizadas em 22, 26, 30 e 34oC, aleatoriamente, o ratos demonstraram o maior Tp, ou seja, sua preferencia pelas menores temperaturas, 22 e 26oC; à despeito da velocidade de ar de 0,3 m/s, no interior das camaras.A CPC mostrou-se eficiente para estabelecer simulações do microambiente, em termos de preferência climática de roedores mantidos em laboratório. A CPC se mostra como um sistema eficiente também para estudos sobre a termoregulação em ensaios biológicos com animais, como os estudos de neurotoxinas do veneno de aranha Phoneutria nigriventer / Projects concerned with laboratory animals facilities usually adopt narrow range of ventilation and climatization variables to assure the define ambient. Such projects are concerned to the animal room (macro-environmental ambient) and this technology have a limitated operation to reach the micro-environmental (animal cages) ambients. The development of the intracage ventilation systems (ICV), which operating by an air influx inside the cages, beside the new technology on thermoelectric modules, thermosensitive and thermocontrolers materials, allows an accurate control of the microclimatic variables for animal enclosure. For this purpose we developed an experimental prototype, a climatic preference chamber (CPC) that allows to laboratory animal (e.g. rats) choose their preferred ambient under a different temperature conditionated chambers by the ICV thecnology, simulating the animal cage enclosure condition. That technology is characterized by delivery of air insufflation of 0.3 m/s, and regulated with differents temperatures in each chamber (22, 26, 30 and 34oC). The exploratory behavior of the rat at multiplechoise preference test was registered by Ethovision Color-Pro 2.3® system. This system allowed to the analysis of the climatic preference defined by the parameter time spent in different microclimates conditions. The analyses of the exploratory behavior demonstrated that rats spent much time in smaller temperature microclimates, as a 22 and 26 oC, indicating a preference for cooler ambients, in spite of the ICV air speed of 0,3m/s. The aim of this work is simulate laboratory animal housing condition to study the microclimate preference and also in termoregulation studies with laboratory rodents assays, like neurotoxins of the the spider Phoneutria nigriventer venom, that is an important tool to biochemical studies

Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar seu bom funcionamento é essencial para se evitar perdas, desde financeiras até de vidas. Uma das técnicas utilizadas para esta finalidade é a chamada verificação formal de programas. A partir da especificação do sistema, descrita numa linguagem formal, são definidas propriedades a serem satisfeitas e que certificariam a qualidade do software. Estas propriedades devem então ser implementadas para uso num verificador, que é a ferramenta responsável por executar a verificação e informar quais propriedades foram satisfeitas e quais não foram; no caso das propriedades terem sido violadas, o verificador deve indicar aos desenvolvedores os possíveis locais com código incorreto no sistema. A desvantagem do uso da verificação formal é, além do seu alto custo, a necessidade de haver pessoas com experiência em métodos formais para definir propriedades a partir da especificação formal do sistema, e convertê-las numa representação que possa ser entendida pelo verificador. Este processo de definição de propriedades é particularmente complexo, demorado e suscetível a erros, por ser feito em sua maior parte de forma manual. Para auxiliar os desenvolvedores na utilização da verificação formal em programas escritos em Java, propomos neste trabalho a geração de representação de propriedades para uso direto num verificador. As propriedades a serem geradas são objetivos de teste derivados da especificação formal do sistema. Estes objetivos de teste descrevem o comportamento esperado do sistema que deve ser observado durante sua execução. Ao estabelecer que o universo de propriedades corresponde ao universo de objetivos de teste do programa, garantimos que as propriedades geradas em nosso trabalho descrevem o comportamento esperado do programa por meio de caminhos de execução que levam a um estado de aceitação da propriedade, ou a um estado de violação. Assim, quando o verificador checa o objetivo de teste, ele consegue dar como resultado o veredicto de sucesso ou falha para a propriedade verificada, além de dados da cobertura dos caminhos de execução do programa que podem ser usados para análise do comportamento do programa que levou ao sucesso ou falha da propriedade verificada. / The task of guaranteeing that computational systems do not fail and work correctly has become extremely important with the growing presence of new technologies in people\'s lives. Therefore, it is essential to ensure that such systems work properly to confirm their high-quality and to avoid financial and even life losses. One of the techniques used to this purpose is called formal verification of programs. From the system specification, which should be described in a formal language, we define properties that must be satisfied during system execution to guarantee the software quality. Then, these properties are checked using a verifier, which is the tool responsible for running the verification and for notifying whether the property was satisfied by the program; if the property was violated, it indicates to software developers the possible location of faults in the system. The disadvantages of using formal verification are the high cost to apply this technique in practice, and the necessity of having people with experience in formal methods to derive the properties from system specification and define them in a formal representation that can be read by a program verifier. This particular task of deriving a property from system specification and defining it to be checked by a verifier is complex, time-consuming and error-prone, since it is usually done by hand. To help software developers in the application of formal verification in Java programs, we propose in this work the generation of properties formal representation for direct use in a verifier. The generated properties are test purposes, which are derived from system formal specification and present the desirable system behavior that must be observed during the system execution. Establishing that the universe of properties correspond to the universe of test purposes of a program, we guarantee that the generated properties describe the expected program behavior through execution traces that lead to either an accept state or a refuse state. Thus, when the verifier checks the test purpose, it can give a success/fail verdict for the property, and provide traces coverage data that can be used to analyze the program behavior that led to that verdict.

O teste de programas concorrentes e uma atividade desaadora, devido a fatores que não estão presentes em programas sequenciais, como comunicação, sincronização e não determinismo. Algumas técnicas de teste têm sido propostas para o contexto de programação concorrente, mas raramente sua aplicabilidade e avaliada por estudos teóricos ou experimentais. Este trabalho contribui nesse sentido, propondo e conduzindo um estudo experimental para avaliar o custo, eficácia e aspecto complementar dos critérios de teste estruturais para programas concorrentes no contexto de memória compartilhada, implementados usando o padrão PThreads (Posix Threads). A ferramenta de teste ValiPThread e usada para auxiliar a condução do experimento. Os programas usados no experimento foram selecionados de benchmarks, como o Inspect, Helgrind e Rungta. Esses benchmarks são comumente usados no estudo de técnicas de teste para programas concorrentes. Programas que resolvem problemas clássicos da programação concorrente também foram incluídos no estudo. Com base nos resultados obtidos foi definida uma estratégia de aplicação, considerando aspectos de custo e eficácia dos critérios de teste. Além disso, todo o material utilizado e gerado durante o experimento foi reunido em um pacote de laboratório, a fim de contribuir com a comunidade de pesquisa, possibilitando replicações e comparações desses critérios com outras técnicas de teste no contexto de programas concorrentes / Concurrent program testing is a challenging activity due to the communication, synchronization and nondeterminism of this application domain. Despite that, some testing techniques for concurrent programs have been proposed, but their applicability is rarely evaluated by theoretical or experimental studies. This work contributes in this direction proposing and conducting an experimental study to evaluate the cost, effectiveness and strength of structural testing criteria for multithreaded programs, implemented using the Pthreads standard (POSIX Threads). The testing tool ValiPThread is used to support the conduction of the experiment. The programs used in this experiment were selected from classical benchmarks, such as Inspect, Helgring and Rungta. These benchmarks are commonly used to study testing techniques for concurrent programs. We also include programs that solve concurrent classical problems. Based on the obtained results, we defined an application testing strategy, considering cost and effectiveness aspects of the testing criteria. Furthermore, all material used and generated during the experiment was incorporated in a lab package, in order to contribute with further research studies making possible replications and comparisons of these testing criteria with other testing techniques in context of concurrent programs

Depuração é a atividade responsável pela localização e correção de defeitos gerados durante o desenvolvimento de programas. A depuração ocorre devido à atividade de teste bem-sucedida, na qual falhas no comportamento do programa são reveladas, indicando a existência de defeitos. Diversas técnicas têm sido propostas para automatizar a tarefa de depuração de programas. Algumas delas utilizam heurísticas baseadas em informações de cobertura obtidas da execução de testes. O objetivo é indicar trechos de código do programa mais suspeitos de conter defeitos. As informações de cobertura mais usadas em depuração automatizada são baseadas no teste estrutural de unidade. A cobertura de integração, obtida por meio da comunicação entre as unidades de um programa, pode trazer novas informações sobre o código executado, possibilitando a criação de novas estratégias para a tarefa de localização de defeitos. Este trabalho apresenta uma nova técnica de localização de defeitos chamada Depuração de programas baseada em Cobertura de Integração (DCI). São apresentadas duas coberturas de integração baseadas nas chamadas de métodos de um programa. Essas coberturas são usadas para a proposição de roteiros de busca dos defeitos a partir dos métodos considerados mais suspeitos. As informações de cobertura de unidade são então utilizadas para a localização dos defeitos dentro dos métodos. A DCI também utiliza uma nova heurística para atribuição de valores de suspeição a entidades de integração estática dos programas como pacotes, classes e métodos, fornecendo também um roteiro para a procura dos defeitos. Os experimentos realizados em programas reais mostram que a DCI permite realizar a localização de defeitos de forma mais eficaz do que o uso de informações de cobertura de unidade isoladamente. / Debugging is the activity responsible for localizing and fixing faults generated during software development. Debugging occurs due to a successful testing activity, in which failures in the behavior of the program are revealed, indicating the existence of faults. Several techniques have been proposed to automate the debugging tasks, especially the fault localization task. Some techniques use heuristics based on coverage data obtained from the execution of tests. The goal is to indicate program code excerpts more likely to contain faults. The coverage data mostly used in automated debugging is based on white-box unit testing. Integration coverage data, obtained from the communication between the units of a program, can bring about new information with respect to the executed code, which allows new strategies to the fault localization task to be devised. This work presents a new fault localization technique called Debugging based on Integration Coverage (DIC). Two integration coverages based on method invocations are presented. These coverages are used to propose two search strategies that provides a roadmap to locate faults by investigating the more suspicious methods. The unit coverage information are used to search the faulty statement inside the suspicious methods. The DIC technique also proposes a heuristic that assigns suspiciousness values to static integration entities of the programs, namely, packages, classes, and methods. This heuristic also provides a roadmap to search for the faults. Experiments using real programs show that DIC is more effective to locate faults than solely using unit coverage information.

Os sistemas de processamento de imagens exercem um papel importante no que tange à emulação da visão humana, pois grande parte das informações que as pessoas obtêm do mundo real ocorre por meio de imagens. Desenvolver tais sistemas é uma tarefa complexa e que requer testes rigorosos para garantir a sua confiabilidade. Neste cenário, a seleção de casos de teste é fundamental, pois ajuda a eliminar os dados de teste redundantes e desnecessários enquanto procura manter altas taxas de detecção de erros. Na literatura há várias abordagens para seleção de casos de teste com foco em sistemas de entradas/saídas alfanuméricas, mas a seleção voltada a sistemas complexos (e.g. processamento de imagens) ainda é pouco explorada. Visando a contribuir neste campo de pesquisa, este trabalho apresenta um novo método intitulado Tcs&CbIR, que seleciona e recupera um subconjunto de imagens a partir de um vasto conjunto de teste. Os testes realizados com dois programas de processamento de imagens mostram que a nova abordagem pode superar a seleção aleatória pois, no contexto de avaliação apresentado, a quantidade de casos de teste necessária para revelar a presença de erros foi reduzida em até 87%. Os resultados obtidos revelam, também, o potencial da utilização de CBIR para abstração de informações, a importância da definição de extratores de características adequados e a influência que as funções de similaridade podem exercer na seleção de casos de teste. / Image processing systems play a key role when it comes to emulation of human vision, because much of the information that humans capture from the real world occurs through images. Developing such systems is a complex task that requires rigorous testing to ensure their quality and reliability. In this scenario, the test case selection is crucial because it helps to eliminate the redundant and unnecessary test data while it tries to maintain high rates of error detection. In the literature there are several approaches for test cases selection with a focus on systems with alphanumeric inputs and outputs, but the selection focused on complex systems (e.g. image processing) is still unexplored. Aiming to contribute to this research field, this work presents a new method entitled Tcs&CbIR, which selects and retrieves a subset of images from a wide test suite. Tests conducted with two image processing programs show that the new approach can overcome the random selection because, in the context of evaluation presented, the amount of test cases required to detect the presence of the errors was reduced by up to 87%. The results also show the potential use of CBIR for information abstraction, the importance of the definition of suitable extractors of characteristics and the influence of the similarity functions in the test case selection.

A dor pélvica crônica é uma condição comum e debilitante, com etiologia complexa e pouco compreendida, usualmente resultante da interação de vários sistemas. Talvez por isso, mesmo após muita investigação, seja diagnosticada com dificuldade. Ademais, frequentemente, o tratamento limita-se ao alívio temporário e insatisfatório dos sintomas. A condição pode comprometer a capacidade para executar determinadas tarefas físicas, seja pela própria dor, pelo medo de apresentarem dor, pelos sintomas depressivos ou ansiosos, ou mesmo pelas limitações autonômicas apresentadas. O objetivo do estudo foi avaliar o desempenho físico de mulheres com dor pélvica crônica e identificar as variáveis clínicas associadas. Foram incluídas 162 mulheres, 81 portadoras de dor pélvica crônica atendidas no ambulatório especializado do HC-FMRP-USP e 81 mulheres saudáveis recrutadas entre as acompanhantes das pacientes. Foram realizados os testes de Caminhada de 6 minutos, de Alcance Funcional, Sentar e Levantar e, Pegar a Caneta. Todos os instrumentos utilizados foram traduzidos e validados para aplicação no Brasil. O projeto, juntamente com o termo de consentimento livre e esclarecido, foi aprovado no CEP-HC-FMRPUSP. Houve diferença estatística (p> 0,01) em todos os testes de performance. A média (± desvio padrão) nos testes, no grupo saudável e dor pélvica crônica, respectivamente, foram: 36,35 cm (±5,8) e 32,40 cm (±6,8) no teste de alcance funcional, 10,00 s (±2,0) e 13,46 s (±6,0) no teste de sentar e levantar, 2,50 s (±0,5) e 3,51 s (±1,7) no teste de pegar a caneta, e 536,97 m (±47,5) e 487,36 m (±65,8) no teste de caminhada de 6 minutos. O estudo demonstrou, portanto, que as mulheres com dor pélvica crônica possuem desempenho físico inferior ao de mulheres saudáveis e que este está independentemente associado com a cinesiofobia e a própria dor pélvica crônica e, eventualmente, com sintomas depressivos e com a qualidade de vida / Chronic pelvic pain is a common and debilitating condition, with complex and poorly understood etiology, usually resulting from the interaction of multiple systems. Maybe that is why, even after much research, is diagnosed with difficulty. Moreover, treatment is often limited to temporary and unsatisfactory relief of symptoms. The condition can compromise the ability to perform certain physical tasks, either by own pain, fear of pain, depressive or anxiety symptoms, or even by the autonomic limitations presented. The aim of the study was to evaluate the physical performance of women with chronic pelvic pain. Four physical performance tests (Functional Reach test; Sit-toStand test; Pen pick up test and 6-minute walk test) were conducted with 162 women, 81 with chronic pelvic pain treated at specialized clinics of the HC-FMRP-USP and 81 healthy women recruited from the caregivers. All instruments were validated and translated for Brazilian application. The project, along with the free and informed consent form was approved at the CEPHC-FMRP-USP. There was a statistical difference (p> 0.01) in all of the performance tests. The average (± standard deviation), in healthy group and chronic pelvic pain respectively, was: 36.35 cm (±5.8) and 32.40 cm (±6.8) in the functional reach test, 10.00 sec (±2.0) and 13.46 sec (±6.0) in the sit-to-stand test, 2.50 sec (±0.5) and 3.51 sec (±1.7) in the pen pick up test, 536.97 m (±47.5) and 487.36 m (±65.8) in the 6-minute walk test. The study showed, therefore, that women with chronic pelvic pain have lower physical performance than healthy women and that it is independently associated with kinesiophobia and with chronic pelvic pain and, eventually, with depressive symptoms and quality of life

Neste trabalho estudou-se a influência da substituição de TiO2 por Ta2O5 nas propriedades estruturais e eletrocatalíticas do sistema RuO2/Ta2O5. Uma investigação sistemática das propriedades estruturais, morfológicas, eletroquímicas e eletrocatalíticas para a produção de O2 em meio ácido foi conduzida usando ânodos de composição nominal Ti/(x)RuO2(1 – x)Ta2O5 (x = 0,1; 0,3; 0,5; 0,8), preparados por decomposição térmica (450 e 500 oC por 1h sob fluxo de 5 L min-1 de O2) das misturas precursoras preparadas em isopropanol (Aldrich). Os sais de cloretos precursores foram (RuCl3.xH2O e TaCl5 – Aldrich). Análises da composição e da morfologia da camada de óxidos foram feitas antes e após os testes acelerados de vida (TAV), através das técnicas de EDX (Energia dispersiva de raios-X) e MEV (Microscopia eletrônica de varredura) respectivamente. A microscopia mostrou estrutura de “barro-rachado” para a maioria dos filmes. As análises de EDX evidenciaram uma redução do conteúdo do Ru após o TAV. Os dados sobre a estrutura foram obtidos por DRX (Difração de raios-X) e mostraram forma rutílica para o RuO2 e ortorrômbica para Ta2O5. Os voltamogramas cíclicos deste sistema em meio ácido (0,5 mol dm-3 de H2SO4) apresentaram as bandas características da dupla Ru(III) / Ru(IV). Em baixos sobrepotenciais, o coeficiente de Tafel, b, apresenta valores entre 40 mV e 60 mV. Os valores de resistência ôhmica (0,5 – 2,0 W) sugerem que a queda ôhmica do sistema pode ser atribuída principalmente à resistência da solução. A atividade eletrocatalítica apresentou uma forte dependência em relação ao conteúdo de RuO2 no filme, aumentando conforme o aumento da quantidade de RuO2 na composição. A estabilidade do sistema foi avaliada pelo TAV, utilizando eletrólise a corrente constante (750 mA cm-2 e T = 80 oC em solução de H2SO4 0,5 mol dm-3). As análises dos resultados mostraram uma relação entre o tempo de operação do eletrodo e a quantidade do componente ativo (RuO2). A substituição de titânio por tântalo (x = 0,5) apresentou uma melhora considerável (54%) no tempo de operação destes óxidos. Estes resultados apontam o sistema Ru/Ta como um recobrimento bastante promissor para operação em condições drásticas. / In this work it was investigated the structural and electrochemical properties of the RuO2/Ta2O5 system. A systematic investigation of structural, morphologic, electrochemical and eletrocatalytic properties for O2 evolution from acidic solutions was conducted using anodes of nominal composition Ti/(x)RuO2(1 + x) Ta2O5 (x = 0.1; 0.3; 0.5; 0.8), prepared from appropriate mol ratio by thermal decomposition (450 and 500 oC for 1 h under O2-flux of 5 L min-1) from alcoholic (isopropanol – Aldrich) solutions of the precursors mixtures (RuCl3.xH2O and TaCl5 - Aldrich). Analyses of the composition and the morphology of the oxide layer were investigated before and after accelerated life tests (ALT), through EDX techniques (Energy Dispersive X-rays) and SEM (Scanning Electron Microscopy) respectively. SEM results showed typical mud-flat-cracking morphology for the majority of the films. EDX analyses even after total deactivation evidenced the reduction of the content of Ru in the coating. Structure data have been obtained by XRD (X-rays diffraction) and which showed the rutile-type struture for RuO2 and orthorhombic one for Ta2O5. Cyclic voltammograms of this system where registered in acidic solutions (0.5 mol dm-3 of H2SO4). The observed peak has been attributed to the solid-state redox transition of Ru(III)/Ru(IV). At low overpotentials, Tafel slope, b, ranges from 40 - 60 mV. The RW-values found (0.5 – 2.0 W), are in agreement with other RuO2-based oxide electrodes. This is a good evidence that the ohmic drop of the system can be attributed mainly to solution resistance. The eletrocatalytic activity shows a strong dependence with the RuO2 content in the film. The stability of the electrodes are evaluated by the ALT, performed at 0.5 mol dm-3 in aqueous H2SO4 (750 mA cm-2 and T = 80 oC). The results shows a straight relation between the ALT-values and the amount of active component (RuO2) presented in the coating. Changing TiO2 by Ta2O5 (x = 0.5) showed a considerable improvement (54%) in the ALT-values of these oxides. These results it is a good indication that Ru/Ta system might be a promising coating to operate under drastic conditions.

O teste de programas concorrentes é uma atividade que envolve diferentes perspectivas. Uma das mais conhecidas refere-se ao desenvolvimento de novos conhecimentos sobre critérios, modelos e ferramentas de teste que auxiliem o testador nessa atividade. Outra perspectiva, igualmente importante, porém, ainda incipiente, é a avaliação da atividade de teste de programas concorrentes com relação à sua eficiência e eficácia para revelar defeitos de difícil detecção. O projeto TestPar em desenvolvimento no ICMC/USP tem abordado essas duas perspectivas ao longo dos últimos anos, onde novas tecnologias de teste vêm sendo desenvolvidas e avaliadas sistematicamente. Este trabalho inseriu-se no contexto do projeto TestPar e teve por objetivo principal contribuir para melhorar a avaliação da atividade de teste de programas concorrentes, através do desenvolvimento de benchmarks específicos para este contexto. Essa avaliação representa um desafio para a área de teste, sendo essencial a existência de benchmarks simples o bastante para serem validados manualmente, se necessário, e complexos o bastante para exercitar aspectos não triviais de comunicação e sincronização, encontrados de fato nos programas concorrentes. Assim, neste trabalho de mestrado foram desenvolvidos benchmarks livres de defeitos conhecidos e algumas versões de benchmarks com defeitos intencionalmente inseridos, baseados em taxonomias de defeitos. Esses benchmarks seguiram uma série de características bem definidas, contando ainda com uma documentação padronizada e completa. Os benchmarks foram validados através da condução de estudos experimentais, do uso em diferentes projetos de pesquisa e também com a verificação da sua aplicabilidade para fins educacionais. Os resultados obtidos demonstram que os benchmarks atingiram os objetivos para os quais foram propostos, gerando uma demanda controlada e qualificada sobre modelo, critérios e a ferramenta de teste desenvolvidos no projeto TestPar. Os experimentos realizados permitiram destacar pontos positivos e limitações desses artefatos. Outra aplicação dos benchmarks foi como recurso educacional para o ensino em disciplinas como programação concorrente. / The testing of concurrent programs is an activity that involves distinct perspectives. One of the most known refers to the development of new knowledge about criteria, models and testing tools to support this activity. Other perspective, as important as the first one and still incipient, is the evaluation of the testing activity of concurrent programs with respect to its efficiency and effectiveness in revealing errors hard to detect. The TestPar project under development at ICMC/USP has addressed both these two perspectives over the past years, where new testing technologies are being proposed and evaluated systematically. This project belongs to the context of the TestPar project, aiming to improve the evaluation of the testing activity of concurrent programs through the development of benchmarks specific for this context. This evaluation represents a challenge to the testing area, which must consider benchmarks simple enough to be validated manually, if necessary, but also complex enough to exercise not trivial aspects of communication/synchronization, found in programs used indeed. Thus, in this work it were developed bug-free benchmarks and some versions of faulty benchmarks with bugs inserted, based on error taxonomies. These benchmarks followed a series of well-defined features, including also a standardized and complete documentation. Benchmarks were validated by means of diferent scenarios: experimental studies, their use by different on-going research projects and also with the verification of their applicability for educational aims. The results obtained show that our benchmarks have achieved their objectives, generating a controlled and qualified demand on model, criteria and the tool developed under TestPar project. The experiments reveal strengths and limitations of these artifacts. Benchmarks have been also used as educational resources for the teaching of concurrent programs.