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

Aplicação de técnicas eletroquímicas na determinação do potencial de corrosividade de ligas de alumínio em água produzida

The resistance of aluminum and their alloys, to the corrosion phenomenon, in aqueous solutions, is a result of the oxide layer formed. However, the corrosion process in the aluminum alloy is associated with the presence a second phase of particles or the presence of chloride ions which promote the disruption of the oxide layer located producing the corrosion process. On the other hand, the term water produced is used to describe the water after the separation of the oil and gas in API separators. The volumes of produced water arrive around 5 more times to the volume of oil produced. The greatest feature of the water is the presence of numerous pollutants. Due to the increased volume of waste around the world in the current decade, the outcome and the effect of the discharge of produced water on the environment has recently become an important issue of environmental concern where numerous treatments are aimed at reducing these contaminants before disposal. Then, this study aims to investigate the electrochemical corrosion behavior of aluminum alloy 6060 in presence of water produced and the influence of organic components as well as chloride ions, by using the electrochemical techniques of linear polarization. The modification of the passive layer and the likely breakpoints were observed by atomic force microscopy (AFM). In the pit formation potential around -0.4 to -0.8 V/EAg/AgCl was observed that the diffusion of chloride ions occurs via the layer formed with the probable formation of pits. Whereas, at temperatures above 65 °C, it was observed that the range of potential for thepit formation was -0.4 to -0.5 V/EAg/AgCl. In all reactions, the concentration of Al(OH)3 in the form of a gel was observed

Aplicação de técnicas de aprendizado de máquina no reconhecimento de classes estruturais de proteínas

Nowadays, classifying proteins in structural classes, which concerns the inference of patterns in their 3D conformation, is one of the most important open problems in Molecular Biology. The main reason for this is that the function of a protein is intrinsically related to its spatial conformation. However, such conformations are very difficult to be obtained experimentally in laboratory. Thus, this problem has drawn the attention of many researchers in Bioinformatics. Considering the great difference between the number of protein sequences already known and the number of three-dimensional structures determined experimentally, the demand of automated techniques for structural classification of proteins is very high. In this context, computational tools, especially Machine Learning (ML) techniques, have become essential to deal with this problem. In this work, ML techniques are used in the recognition of protein structural classes: Decision Trees, k-Nearest Neighbor, Naive Bayes, Support Vector Machine and Neural Networks. These methods have been chosen because they represent different paradigms of learning and have been widely used in the Bioinfornmatics literature. Aiming to obtain an improvment in the performance of these techniques (individual classifiers), homogeneous (Bagging and Boosting) and heterogeneous (Voting, Stacking and StackingC) multiclassification systems are used. Moreover, since the protein database used in this work presents the problem of imbalanced classes, artificial techniques for class balance (Undersampling Random, Tomek Links, CNN, NCL and OSS) are used to minimize such a problem. In order to evaluate the ML methods, a cross-validation procedure is applied, where the accuracy of the classifiers is measured using the mean of classification error rate, on independent test sets. These means are compared, two by two, by the hypothesis test aiming to evaluate if there is, statistically, a significant difference between them. With respect to the results obtained with the individual classifiers, Support Vector Machine presented the best accuracy. In terms of the multi-classification systems (homogeneous and heterogeneous), they showed, in general, a superior or similar performance when compared to the one achieved by the individual classifiers used - especially Boosting with Decision Tree and the StackingC with Linear Regression as meta classifier. The Voting method, despite of its simplicity, has shown to be adequate for solving the problem presented in this work. The techniques for class balance, on the other hand, have not produced a significant improvement in the global classification error. Nevertheless, the use of such techniques did improve the classification error for the minority class. In this context, the NCL technique has shown to be more appropriated

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

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

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

Aplicação de técnicas eletroquímicas na determinação do potencial de corrosividade de ligas de alumínio em água produzida

The resistance of aluminum and their alloys, to the corrosion phenomenon, in aqueous solutions, is a result of the oxide layer formed. However, the corrosion process in the aluminum alloy is associated with the presence a second phase of particles or the presence of chloride ions which promote the disruption of the oxide layer located producing the corrosion process. On the other hand, the term water produced is used to describe the water after the separation of the oil and gas in API separators. The volumes of produced water arrive around 5 more times to the volume of oil produced. The greatest feature of the water is the presence of numerous pollutants. Due to the increased volume of waste around the world in the current decade, the outcome and the effect of the discharge of produced water on the environment has recently become an important issue of environmental concern where numerous treatments are aimed at reducing these contaminants before disposal. Then, this study aims to investigate the electrochemical corrosion behavior of aluminum alloy 6060 in presence of water produced and the influence of organic components as well as chloride ions, by using the electrochemical techniques of linear polarization. The modification of the passive layer and the likely breakpoints were observed by atomic force microscopy (AFM). In the pit formation potential around -0.4 to -0.8 V/EAg/AgCl was observed that the diffusion of chloride ions occurs via the layer formed with the probable formation of pits. Whereas, at temperatures above 65 °C, it was observed that the range of potential for thepit formation was -0.4 to -0.5 V/EAg/AgCl. In all reactions, the concentration of Al(OH)3 in the form of a gel was observed