Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Avaliação da eficiência da técnica de obturação pela compressão hidrùlica vertical após instrumentação automatizada

The purpose of this study was to evaluate through radiographic and microscopic analysis the efficiency of the filling techniques by vertical hidraulic compression after the root canal mechanical instrumentation in vitro as well to evaluate the marginal apical leakage through macroscopic and microscopic analysis. Thirty human mandibular molars were used , they were divided on three groups, these were subdivided on six subgroups with five specimens each, come down to 106 root canals filled. Initially, the teeth were instrumented with Profile system series 29 and filled with two ways: single accessory cone or single cone associated with gutta-percha secundary cone, with Fill Canal sealer or Sealer 26. Completed the filling, the teeth were coated with araldit and finger -nail polish except for the apical 2 mm and dried for 3 hours, thep radiographs were taken of the teeth in orto and disto-radiai directions. Next, the coronal seal was carried out with composite resin photopolymerized and with their process of making impermeable. Teeth of positive controls were used without araldit and finger-nail polish whereas the negative controls were used with total coat of araldit and finger-nail polish. The specimens were placed in 2% Methylene Blue dye for 24 hours and thermocycled for 7 days. Afterwards, sections were made of each tooth at mesial and distal roat, after this the teeth were radiographed at buccolíngual direction for a macroscopic analysis and at buccolingual and mesiodistal directions for assessment of the marginal apical leakage. Cross sections were made 3 mm to 3mm since the tooth apice. The sections obtained for each group were observed with a stereomicroscope to evaluate the quality of the root canal filling and the marginal apical leakage. The results showed that: In the four techniques the marginal dye leakage was present in the apical third; in all groups the quality of the root canal filling in the radiography was better at mesial root canal and the single cone technique showed inefficient when only a single distal root canal was present. In the radiographic evaluation the best quality of the root canal filling was observed in the 1A group (single accessory cone + FiIl Canal), as in the mesial root as in the distal root wich Shcwed twe root canals: when the distaI root had only one canal. the best result was showed by 28 group (single accessory cone associated with secundary cone + Fill Canal) In the macroscopic analysis of longitudinal !eaKage (outside surface). less leakage was showed as In the mesial root as in the distal root in the negative control group (3) followed 2A group (single accessory cone + Sealer 26). When the microscopic analysis of tranversal leakage of both roots (inside surface) was carried out. the groups that showed less dye leakage were the negative control (38) followed the 28 group (single acessory cone associated with secundary cone + Sealer 26). The homogeneity o filling was best noted in the 1 A group (.single accessoty cone + Fill Canal). The groups that showed less dye penetration in the tranversal leakage (total area) were negative control (3B) and 2B

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

kit educacional para controle e supervisão aplicado a nível

PEREIRA, J. P. ; CASTRO, B. P. S. ; VALENTIM, R. A. M. . Kit Educacional para Controle e Supervisão Aplicado a Nível. Holos, Natal, v. 2, p. 68-72, 2009

Sistema de Solicitaçao de ficha catalografica SIB-UNp

SILVA, Ana Cristina da et al. Sistema de solicitacao de ficha catalografica. In: SEMINARIO NACIONAL DE BIBLIOTECAS UNIVERSITARIAS, 15., 2008, Sao Paulo. Sistema de solicitacao de ficha catalografica SIB-UnP. Sao Paulo: [s.n], 2008. p. 1 - 7. Disponível em: . Acesso em: 04 out. 2010.

Organização e tratamento do acervo de instrumentos musicais: o caso da Instrumentoteca da Escola de Música da Universidade Federal do Rio Grande do Norte

Analisa os processos para organização e tratamento do acervo de instrumentos musicais no âmbito da Instrumentoteca da Escola de Música da Universidade Federal do Rio Grande do Norte. Discorre o conceito de biblioteca especializada, suas características e finalidades. Procura verificar os procedimentos utilizados pela Instrumentoteca quanto à organização do acervo, identifica regras para representação descritiva de instrumentos musicais, tendo como parâmetro o Código Anglo-americano de Catalogação. Exemplifica a representação descritiva e de conteúdo de instrumentos musicais; sugere medidas que venham facilitar o processo de organização e acondicionamento dos instrumentos musicais. Utiliza como metodologia o estudo de caso , tendo como suporte teórico a pesquisa bibliográfica em fontes impressas e eletrônicas . Conclui mostrando a melhor maneira de organizar coleções de instrumentos musicais por meio do Código Anglo-americano de Catalogação, e enfatiza que essas regras podem ser aplicadas para organizar diferentes tipos de suporte de informação.

Emprego de redes neurais artificiais supervisionadas e não supervisionadas no estudo de parâmetros reológicos de excipientes farmacêuticos sólidos

In this paper artificial neural network (ANN) based on supervised and unsupervised algorithms were investigated for use in the study of rheological parameters of solid pharmaceutical excipients, in order to develop computational tools for manufacturing solid dosage forms. Among four supervised neural networks investigated, the best learning performance was achieved by a feedfoward multilayer perceptron whose architectures was composed by eight neurons in the input layer, sixteen neurons in the hidden layer and one neuron in the output layer. Learning and predictive performance relative to repose angle was poor while to Carr index and Hausner ratio (CI and HR, respectively) showed very good fitting capacity and learning, therefore HR and CI were considered suitable descriptors for the next stage of development of supervised ANNs. Clustering capacity was evaluated for five unsupervised strategies. Network based on purely unsupervised competitive strategies, classic "Winner-Take-All", "Frequency-Sensitive Competitive Learning" and "Rival-Penalize Competitive Learning" (WTA, FSCL and RPCL, respectively) were able to perform clustering from database, however this classification was very poor, showing severe classification errors by grouping data with conflicting properties into the same cluster or even the same neuron. On the other hand it could not be established what was the criteria adopted by the neural network for those clustering. Self-Organizing Maps (SOM) and Neural Gas (NG) networks showed better clustering capacity. Both have recognized the two major groupings of data corresponding to lactose (LAC) and cellulose (CEL). However, SOM showed some errors in classify data from minority excipients, magnesium stearate (EMG) , talc (TLC) and attapulgite (ATP). NG network in turn performed a very consistent classification of data and solve the misclassification of SOM, being the most appropriate network for classifying data of the study. The use of NG network in pharmaceutical technology was still unpublished. NG therefore has great potential for use in the development of software for use in automated classification systems of pharmaceutical powders and as a new tool for mining and clustering data in drug development

Historiando a política de formação de professores em serviço da UFRN

Les préoccupations gérées par les changements de l éducation nationale poussés par les réformes mises en places par le gouvernement de Fernando Henrique Cardoso, notamment la politique nationale de formation de professeurs, et le besoin de connaître comment ces réformes ont été incorporées par l Université Fédérale de Rio Grande do Norte - UFRN, constituent les questions centrales développées par cette thèse. Cette étude propose à montrer, à partir d une approche socio-historique, la façon comment la législation éducationnelle brésilienne sur la formation de professeurs pour l éducation basique expresse la politique de l État brésilien et, en même temps, comment le PROBÁSICA signifie une réponse de l UFRN à cette politique. En ce sens, cette recherche, selon sa perspective exploratoire, descriptive et analytique a privilégié plusieurs techniques et procédés de collectes des données conforme au modèle de la recherche participative, à savoir : enquête semi- structurée, observations directes, contacts formels et informels; enregistrement des opinions de professeurs, coordinateurs pédagogiques et étudiants; repérage, systématisation et analyses de plusieurs documents. L analyse des données, qui a été faite d une façon fondamentalement qualitative, a révélé que le PROBÁSICA a sa genèse à l intérieur de l UFRN et représente, en même temps, une réponse de cette université à la demande de la catégorie et la politique de formation de professeurs. Nous espérons que cette étude suscite d autres recherches qui développent des discussions sur les relations entre l État brésilien, ses politiques éducationnelles et les pratiques pédagogiques de formation de professeurs

Anayde Beiriz e a escrita de si: (Educação, história e relações de gênero)

Le thème de cette dissertation est l Histoire de l éducation de la femme. Une analyse des pratiques culturelles de la professeur Anayde da Costa Beiriz (1905-1930), dans le contexte paraibanais du début du XXe siècle, est proposée. Le référentiel théoricométhodologique de l Histoire Culturelle est utilisé, pour aller contre l histoire passée sous silence dans le canon traditionnel. Basée sur le concept de représentation (Chartier, 1990), rompant avec les anciennes idées de sens intrinsèque, absolu, unique, liée aux pratiques complexes, multiples et différenciées, qui construisent le monde comme représentation. Basée aussi sur le concept de configuration (Elias, 1980), en comprenant que apparemment individu et société sont deux objets qui existent indépendamment, mais en vérité, se rapportent à deux niveaux inséparables du monde social, sont unis par des liens d interdépendance. Un dialogue est recherché entre le passé et le présent et les différentes dimensions: historique, sociale, politique et culturelle vécues par la professeur Anayde Beiriz. Pour obtenir des informations sur ses pratiques culturelles, une recherche des marques de cette histoire dans de multiples sources est effectuée: dans la bibliographie disponible parmi les domaines de la littérature, de l histoire, dês sciences sociales et de l éducation; dans des archives de l Institut Historique et Géographique de la Paraiba et de Natal; dans les Bibliothèques de l Université Fédérale de la Paraiba et du Rio Grande do Norte et chez des bouquinistes. L inventaire comprend: des périodiques, la législation en vigueur, des écrits de contemporains, dês témoignages oraux de parents, des lettres et des photos. On comprend de cette façon, que l idée d éplucher au travers de cette étude, des aspects qui n ont pas encore été vus et rappelés, peut non seulement répondre à nos doutes, mais, peut à partir de la réflexion qui se fait, se traduire par une nouvelle compréhension de cette histoire. En conclusion, des significations multiples sont contenues dans le processus d insertion de la femme dans l éducation à partir des Écoles Normales, qui englobent les relations de genre, l histoire du pouvoir, de la morale, de surpassement, des luttes et insatisfactions. On perçoit l héritage de résistances et de conquêtes. Cela a été sous l inspiration des airs de la modernité avec la Belle Époque, en répercutant dans le monde et aussi dans la Parahyba du Nord, que s est concrétisée la formation sociale de la professeur Anayde Beiriz et des femmes de son temps. L analyse de l écriture de soi confirme le discours normatif du contrôle moral social, le joug et les préjugés soufferts par Anayde Beiriz et l éducation différencié de genre qui ont déterminé ses habitudes et coutumes. C est-àdire, pour la femme, la permanence dans l espace privé, la retenue, l anoblissement des tâches ménagères et de la maternité comme sa plus haute aspiration, le support moral de la famille, la préservation de la tradition et la perpétuation des règles religieuses

WI-BIO: redes de monitoramento de pacientes em ambientes de automação hospitalar utilizando o padrão IEEE 802.11

The monitoring of patients performed in hospitals is usually done either in a manual or semiautomated way, where the members of the healthcare team must constantly visit the patients to ascertain the health condition in which they are. The adoption of this procedure, however, compromises the quality of the monitoring conducted since the shortage of physical and human resources in hospitals tends to overwhelm members of the healthcare team, preventing them from moving to patients with adequate frequency. Given this, many existing works in the literature specify alternatives aimed at improving this monitoring through the use of wireless networks. In these works, the network is only intended for data traffic generated by medical sensors and there is no possibility of it being allocated for the transmission of data from applications present in existing user stations in the hospital. However, in the case of hospital automation environments, this aspect is a negative point, considering that the data generated in such applications can be directly related to the patient monitoring conducted. Thus, this thesis defines Wi-Bio as a communication protocol aimed at the establishment of IEEE 802.11 networks for patient monitoring, capable of enabling the harmonious coexistence among the traffic generated by medical sensors and user stations. The formal specification and verification of Wi-Bio were made through the design and analysis of Petri net models. Its validation was performed through simulations with the Network Simulator 2 (NS2) tool. The simulations of NS2 were designed to portray a real patient monitoring environment corresponding to a floor of the nursing wards sector of the University Hospital Onofre Lopes (HUOL), located at Natal, Rio Grande do Norte. Moreover, in order to verify the feasibility of Wi-Bio in terms of wireless networks standards prevailing in the market, the testing scenario was also simulated under a perspective in which the network elements used the HCCA access mechanism described in the IEEE 802.11e amendment. The results confirmed the validity of the designed Petri nets and showed that Wi-Bio, in addition to presenting a superior performance compared to HCCA on most items analyzed, was also able to promote efficient integration between the data generated by medical sensors and user applications on the same wireless network

Análise preditiva a partir da caracterização das emissões gasosas e do óleo lubrificante em frotas com motorização a diesel

This work was motivated by the importance of conducting a study of vehicle emissions in captive fleets with diesel engine, coupled with the predictive maintenance plan. This type of maintenance includes techniques designed to meet the growing market demand to reduce maintenance costs by increasing the reliability of diagnoses, which has increased interest in automated predictive maintenance on diesel engines, preventing problems that might evolve into routine turn into serious situations, solved only with complex and costly repairs, the Reliability Centered Maintenance, will be the methodology that will make our goal is reached, beyond maintaining the vehicles regulated as fuel consumption and emissions. To Therefore, technical improvements were estimated capable of penetrating the automotive market and give the inshore fleet emission rates of opacity of the vehicles, being directly related to the conditions of the lubricating oil thus contributing to reducing maintenance costs by contributing significantly to emissions of pollutants and an improvement in the air in large cities. This criterion was adopted and implemented, em 241 buses and produced a diagnosis of possible failures by the correlation between the characterization of used lubricating oils and the analysis of opacity, with the objective of the aid the detection and solution of failures for the maintenance of sub-systems according to design criteria, and for this to be a deductive methodology to determine potential causes of failures, has been automated to implement a predictive maintenance system for this purpose was used in our study a mobile unit equipped with a opacimeter and a kit for collection and analysis of lubricating oil and the construction of the network diagnostics, we used a computer program in Microsoft Office Access 2007 platform tool is indispensable for creating a database data, this method is being used and successfully implemented in seven (7) bus companies from the city of Natal (RN) Brazil

Desenvolvimento de uma desfribadeira para obtenção da fibra da folha do abacaxi

In 1998 the first decorticator was developed in the Textile Engineering Laboratory and patented for the purpose of extracting fibres from pineapple leaves, with the financial help from CNPq and BNB. The objective of the present work was to develop an automatic decorticator different from the first one with a semiautomatic system of decortication with automatic feeding of the leaves and collection of the extracted fibres. The system is started through a command system that passes information to two engines, one for starting the beater cylinder and the other for the feeding of the leaves as well as the extraction of the decorticated fibres automatically. This in turn introduces the leaves between a knife and a beater cylinder with twenty blades (the previous one had only 8 blades). These blades are supported by equidistant flanges with a central transmission axis that would help in increasing the number of beatings of the leaves. In the present system the operator has to place the leaves on the rotating endless feeding belt and collect the extracted leaves that are being carried out through another endless belt. The pulp resulted form the extraction is collected in a tray through a collector. The feeding of the leaves as well as the extraction of the fibres is controlled automatically by varying the velocity of the cylinders. The semi-automatic decorticator basically composed of a chassis made out of iron bars (profile L) with 200cm length, 91 cm of height 68 cm of width. The decorticator weighs around 300Kg. It was observed that the increase in the number of blades from 8 to twenty in the beater cylinder reduced the turbulence inside the decorticator, which helped to improve the removal of the fibres without any problems as well as the quality of the fibres. From the studies carried out, from each leaf 2,8 to 4,5% of fibres can be extracted. This gives around 4 to 5 tons of fibres per hectare, which is more than that of cotton production per hectare. This quantity with no doubt could generate jobs to the people not only on the production of the fibres but also on their application in different areas

Escravos em ação na Comarca do Príncipe - Província do Rio Grande do Norte (1870-1888)

The aim of this research is to study the actions of slaves in Comarca do Príncipe, Rio Grande do Norte (1870/1888). Considering the space as a relevant category in the subservient relationship, we investigate how negotiations about the captivity conditions and freedom took place in the domain of this province. The slaves are considered as subjects, who fought for better living conditions in the captivity and who sometimes practiced criminal offenses to achieve freedom. To analyze their actions in the socio-economic environment of the province, we resort to different types of sources. They are: civil and criminal processes, reports from the president of Rio Grande do Norte, the census of 1872, a newspaper called O Assuente, the Livro do Fundo de Emancipação do Município de Príncipe (1873-1886) (The Emancipation Book of Príncipe city) and Imperial Laws. We used the following steps to analyze the data obtained from these sources: the compilation, reading, paleographic transcription, classification of the data according to the thematic, analysis and comparison of information and statistic quantification, submitting empirical data to the discussion built according to the historiographies debates about this subject

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices