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

Análise de impacto baseada em rastreabilidade de artefatos para linhas de produto de software

Software Product Line (SPL) consists of a software development paradigm, whose main focus is to identify features common and variability among applications in a specific domain. An LPS is designed to attend all products requirements from its product family. These requirements and LPS may have changes over time due to several factors, such as evolution of product requirements, evolution of the market, evolution of SLP process, evolution of the technologies used to develop the products. To handle these changes, LPS should be modified and evolve in order to not become obsolete, and adapt itself to new requirements. The Changes Impact Analysis is an activity that understand and identify what consequences these changes are cause on LPS. Impact Analysis on LPS may be supported by traceability relationships, which identify relationships between artefacts created during all phases of software development. Despite the solutions of change impact analysis based on traceability for software, there is a lack of solutions for assessing the change impact analysis based on traceability for LPS, since existing solutions do not include estimates specific to the artefacts of LPS. Thus, this paper proposes a process of change impact analysis and an tool for assessing the change impact through traceability of artefacts in LPS. For this purpose, we specified a process of change impact analysis that considers artifacts produced during the development of LPS. We have also implemented a tool which allows estimating and identifying artefacts and products of LPS affected from changes in other products, changes in class, changes in features, changes between releases of LPS and artefacts related to changes in core assets and variability. Finally, the results were evaluated through metrics

Sistema operacional e biblioteca de funções para plataformas MPSOC: um estudo de caso para simuladores de reservatórios

The increasingly request for processing power during last years has pushed integrated circuit industry to look for ways of providing even more processing power with less heat dissipation, power consumption, and chip area. This goal has been achieved increasing the circuit clock, but since there are physical limits of this approach a new solution emerged as the multiprocessor system on chip (MPSoC). This approach demands new tools and basic software infrastructure to take advantage of the inherent parallelism of these architectures. The oil exploration industry has one of its firsts activities the project decision on exploring oil fields, those decisions are aided by reservoir simulations demanding high processing power, the MPSoC may offer greater performance if its parallelism can be well used. This work presents a proposal of a micro-kernel operating system and auxiliary libraries aimed to the STORM MPSoC platform analyzing its influence on the problem of reservoir simulation

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Avaliação da informação de websites turísticos das cidades-sede da copa 2014

This study aims to analyze tourist information provided by the official websites of the 2014 FIFA World Cup host cities. The framework developed by Díaz (2005) was applied to analyze different aspects, such as: local tourist information, tourist services distribution, communication and interaction between website and users, and website foreign language versions. This dissertation describes how society and tourism are related by analyzing the consequences of technological evolution in the travel and tourism sector, showing the importance of the use of information and communication technology to provide accurate, upto- date and low-cost information to tourist destinations. Because of the nature of the study, the research subjects are the 12 Brazilian host cities represented by their respective official webpages (cities, states and convention bureaus), and also Brazil s official website, totalizing 36 elements to be analyzed. The methodology has been characterized as descriptive and exploratory with quantitative analysis, and also using desk research and survey literature review. In order to analyze the data collected, parametric and nonparametric statistics tests were used, such as: variance analysis (ANOVA and KRUSKAL-WALLIS) to measure means variance between groups combined with multiple comparison tests (Tukey and Games Howell); nonparametric correlations tests (Kendall s Tau b); and cluster analyses. Finally, Microsoft Excel was used to collect data and SPSS for managing data through quantitative analyses tests. Overall, the websites of the south region showed better results than the other Brazilian regions. Despite this result, the data analysis demonstrated that the available tourist information are incomplete as it was verified that tourist host cities websites are unable to provide all the information needed for the web visitors to organize and plan their journey. This means that visitors have to look for more information in other sources

Um estudo sobre custos de elaboração de material didático e tutoria em EaD online em uma Instituição de Ensino Superior no Brasil

This study has as main objective to verify the proportionality of the costs with elaboration of didactic material and costs with tutelage and instruction incurred in a higher education institution, located in national territory, and that offers a degree course in the education area in the modality of EaD online. The purpose of the measurement of this proportionality of the costs was of answering these they are, among other, the relevant costs incurred by the institution research object. This is a research of exploratory stamp whose methodological procedure adopted for your development, in what it refers the collection, analysis of the data and the investigation means, it is the case study, as well as the documental and bibliographical research. The found results indicate that the costs with elaboration of didactic material and the costs with tutelage and instruction are relevant, however they are not the only ones considered as such. The costs involved with acquisition and operation of specific softwares they also constitute an relevant costs. The structure of the costs can be altered in agreement with the analyzed period and in agreement with the characteristics of synchronism of the offered course. It was also verified that the technology used in this education modality it ends up generating additional costs incurred with professionals of specific knowledge in technology

Análise fitoecológica do manguezal e ocupação das margens do estuário hipersalino apodi/mossoró (rn brasil) a biotecnologia vegetal como alternativa para a cotonicultura

The mangrove is a coastal ecosystem of the big ecological importance, showing high fragility front by natural process and the human interventions in the coastal zone. This research has objective to analyses the relation between mangrove species distribution and geochemical parameters variation of the water and soil in Apodi/Mossoro estuary, located in the Rio Grande do Norte state north coastline. The results were obtained from floristic and structural analysis of the vegetation and Quick Bird satellite images interpretation (collected in 2006 year), manipulated with ENVI 4.3 and ArcGIS 9.2 software s. This estuary was characterized by to presents a gradient of the salinity around 40 kilometers extension, finding amount between 50 and 90 g/l-1. Will be identified the formation of the mix vegetation formation in the estuary mount, where the water salinity no show express wide variation on seawater (36 g/l-1), finding species: Rhizophora mangle L., Laguncularia racemosa (L.) C. F. Gaertn, Avicennia schaueriana Stap. & Leechman e Avicennia germinans L. Along of the estuary, have a streak formation of the vegetation composed by Avicennia spp. and L. racemosa. In high estuary, where the salinities value stay above 60 g/l-1, only A. germinans predominate in dwarf form. In this sense, the salinity is as a limiting factor of stress on the mangrove vegetation as it enters the estuary, this parameter should be taken into account when drawing up management plans and environmental restoration in the estuary in question

Caracterização geométrica e parametrização de depósitos transacionais recentes e sua aplicação na modelagem de reservatórios petrolíferos

In this beginning of the XXI century, the Geology moves for new ways that demand a capacity to work with different information and new tools. It is within this context that the analog characterization has important in the prediction and understanding the lateral changes in the geometry and facies distribution. In the present work was developed a methodology for integration the geological and geophysical data in transitional recent deposits, the modeling of petroliferous reservoirs, the volume calculation and the uncertainties associate with this volume. For this purpose it was carried planialtimetric and geophysics (Ground Penetrating Radar) surveys in three areas of the Parnaíba River. With this information, it was possible to visualize the overlap of different estuary channels and make the delimitation of the channel geometry (width and thickness). For three-dimensional visualization and modeling were used two of the main reservoirs modeling software. These studies were performed with the collected parameters and the data of two reservoirs. The first was created with the Potiguar Basin wells data existents in the literature and corresponding to Açu IV unit. In the second case was used a real database of the Northern Sea. In the procedures of reservoirs modeling different workflows were created and generated five study cases with their volume calculation. Afterwards an analysis was realized to quantify the uncertainties in the geological modeling and their influence in the volume. This analysis was oriented to test the generating see and the analogous data use in the model construction

Uso do GPR na geração de modelos estáticos 3D para o planejamento de lavra de minerais pesados depositados em dunas eólicas

This project was developed as a partnership between the Laboratory of Stratigraphical Analyses of the Geology Department of UFRN and the company Millennium Inorganic Chemicals Mineração Ltda. This company is located in the north end of the paraiban coast, in the municipal district of Mataraca. Millennium has as main prospected product, heavy minerals as ilmenita, rutilo and zircon presents in the sands of the dunes. These dunes are predominantly inactive, and overlap the superior portion of Barreiras Formation rocks. The mining happens with the use of a dredge that is emerged at an artificial lake on the dunes. This dredge removes sand dunes of the bottom lake (after it disassembles of the lake borders with water jets) and directs for the concentration plant, through piping where the minerals are then separate. The present work consisted in the acquisition external geometries of the dunes, where in the end a 3D Static Model could be set up of these sedimentary deposits with emphasis in the behavior of the structural top of Barreiras Formation rocks (inferior limit of the deposit). The knowledge of this surface is important in the phase of the plowing planning for the company, because a calculation mistake can do with that the dredge works too close of this limit, taking the risk that fragments can cause obstruction in the dredge generating a financial damage so much in the equipment repair as for the stopped days production. During the field stages (accomplished in 2006 and 2007) topographical techniques risings were used with Total Station and Geodesic GPS as well as shallow geophysical acquisitions with GPR (Ground Penetrating Radar). It was acquired almost 10,4km of topography and 10km of profiles GPR. The Geodesic GPS was used for the data geopositioning and topographical rising of a traverse line with 630m of extension in the stage of 2007. The GPR was shown a reliable method, ecologically clean, fast acquisition and with a low cost in relation to traditional methods as surveys. The main advantage of this equipment is obtain a continuous information to superior surface Barreiras Formation rocks. The static models 3D were elaborated starting from the obtained data being used two specific softwares for visualization 3D: GoCAD 2.0.8 and Datamine. The visualization 3D allows a better understanding of the Barreiras surface behavior as well as it makes possible the execution of several types of measurements, favoring like calculations and allowing that procedures used for mineral extraction is used with larger safety

Valor e variações da freqüência fundamental no choro de dor de recém-nascidos

OBJETIVO: estudar o valor da freqüência fundamental e suas variações presentes no choro de dor de recém-nascidos. MÉTODOS: foram gravadas as emissões de 111 recém-nascidos de termo e saudáveis, com idade de 24 a 72 horas durante procedimento da punção venosa periférica. A análise acústica foi realizada por meio dos softwares VOXMETRIA 1.1 com extração do valor da freqüência fundamental e GRAM 5.7 para verificar a ocorrência de variações da freqüência fundamental como quebras, bitonalidade e freqüência hiperaguda. A escala de dor NIPS foi realizada no momento da punção. A análise estatística é descritiva com extração dos valores de média, desvio-padrão e freqüência de ocorrência dos eventos. RESULTADOS: os recém-nascidos apresentaram 100% de suas emissões com variações de freqüência, ou seja, quebras e bitonalidade. A freqüência hiperaguda foi encontrada em 34,2% dos recém-nascidos. CONCLUSÃO: por meio do choro, o recém-nascido comunica sua dor. A emissão de dor do recém-nascido é tensa e estridente, com freqüência fundamental aguda e variações encontradas no traçado espectrográfico, como quebras, bitonalidade e freqüência hiperaguda. Tais características são importantes para chamar a atenção do adulto no pronto atendimento ao recém-nascido e auxiliar na avaliação de dor durante um procedimento.

Comparative study of 2 software programs for predicting profile changes in Class III patients having double-jaw orthognathic surgery

Introduction: Computer software can be used to predict orthognathic surgery outcomes. The aim of this study was to subjectively compare the soft-tissue surgical simulations of 2 software programs. Methods: Standard profile pictures were taken of 10 patients with a Class III malocclusion and a concave facial profile who were scheduled for double-jaw orthognathic surgery. The patients had horizontal maxillary deficiency or horizontal mandibular excess. Two software programs (Dentofacial Planner Plus [Dentofacial Software, Toronto, Ontario, Canada] and Dolphin Imaging [version 9.0, Dolphin Imaging Software, Canoga Park, Calif]) were used to predict the postsurgical profiles. The predictive images were compared with the actual final photographs. One hundred one orthodontists, oral-maxillofacial surgeons, and general dentists evaluated the images and were asked whether they would use either software program to plan treatment for, or to educate, their patients. Results: Statistical analyses showed differences between the groups when each point was judged. Dolphin Imaging software had better prediction of nasal tip, chin, and submandibular area. Dentofacial Planner Plus software was better in predicting nasolabial angle, and upper and lower lips. The total profile comparison showed no statistical difference between the softwares. Conclusions: The 2 types of software are similar for obtaining 2-dimensional predictive profile images of patients with Class III malocclusion treated with orthognathic surgery. (Am J Orthod Dentofacial Orthop 2010; 137: 452.e1-452.e5)

Velocidade ideal da esteira para estimular passadas do andar em bebês

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Influência da suspensão na segurança e no conforto de um pulverizador autopropelido

Para avaliar o comportamento da suspensão do pulverizador autopropelido, foram desenvolvidos modelos físicos e matemáticos em função da excitação ocasionada pelas irregularidades do solo. Neste trabalho, estas irregularidades são representadas por obstáculos de uma pista normalizada segundo a norma ISO 5008. As equações do movimento são obtidas a partir dos modelos matemáticos de meio veículo. As simulações numéricas são executadas nos softwares Matlab® e Simulink®. A partir da entrada conhecida, podem-se determinar as características dos elementos da suspensão para obter níveis desejáveis de conforto e segurança. Foram analisadas quatro diferentes configurações do sistema, variando-se a relação de rigidez a partir de um modelo considerado padrão. Constatou-se que o aumento da relação de rigidez resulta na redução da aceleração vertical e no aumento do curso da suspensão, melhorando o conforto e diminuindo a segurança.

Nova versão do sistema de avaliação de terras - SIAT

O SIAT é um sistema especialista para Avaliação de Terras derivado do MicroLEIS - Land Evaluation Information System desenvolvido na Espanha. Na primeira versão, as 12 variáveis foram adaptadas e ajustadas para condições tropicais, assim como a estrutura do programa e o banco de dados. Os testes de campo mostraram que os melhores resultados foram obtidos para escalas próximas de 1:100.000. Nesta segunda versão, os intervalos das variáveis foram redefinidos e uma interface de comunicação com o SIG IDRISI foi introduzida, permitindo a troca de dados entre os dois programas. Outra modificação importante foi a adoção de uma equação para calcular a erosividade no lugar de mapa apresentado no Manual do Usuário. Os testes de campo mostraram que o uso do SIAT é agora mais funcional, com melhor resolução, permitindo trabalhar com escalas em torno de 1:50.000, além de ser adaptável para todo o território brasileiro. A versão do SIAT pode ser obtida pelo endereço softwares/siat.html>www.rc.unesp.br/igce/ceapla/biblioteca/softwares/siat.html.