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

Geração procedural de cenários orientada a objetivos

The game industry has been experiencing a consistent increase in production costs of games lately. Part of this increase refers to the current trend of having bigger, more interactive and replayable environments. This trend translates to an increase in both team size and development time, which makes game development a even more risky investment and may reduce innovation in the area. As a possible solution to this problem, the scientific community is focusing on the generation of procedural content and, more specifically, on procedurally generated levels. Given the great diversity and complexity of games, most works choose to deal with a specific genre, platform games being one of the most studied. This work aims at proposing a procedural level generation method for platform/adventure games, a fairly more complex genre than most classic platformers which so far has not been the subject of study from other works. The level generation process was divided in two steps, planning and viusal generation, respectively responsible for generating a compact representation of the level and determining its view. The planning stage was divided in game design and level design, and uses a goaloriented process to output a set of rooms. The visual generation step receives a set of rooms and fills its interior with the appropriate parts of previously authored geometry

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

AutoWebS: um Ambiente para Modelagem e Geração Automática de ServiçosWeb Semânticos

Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services

Instanciação e avaliação de um framework para a geração dinâmica de processos

One way to deal with the high complexity of current software systems is through selfadaptive systems. Self-adaptive system must be able to monitor themselves and their environment, analyzing the monitored data to determine the need for adaptation, decide how the adaptation will be performed, and finally, make the necessary adjustments. One way to perform the adaptation of a system is generating, at runtime, the process that will perform the adaptation. One advantage of this approach is the possibility to take into account features that can only be evaluated at runtime, such as the emergence of new components that allow new architectural arrangements which were not foreseen at design time. In this work we have as main objective the use of a framework for dynamic generation of processes to generate architectural adaptation plans on OSGi environment. Our main interest is evaluate how this framework for dynamic generation of processes behave in new environments

Geração de testes a partir de gramáticas: áreas de aplicação

The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen

Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras

Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies

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

Proposta metodológica para o imageamento, caracterização, parametrização e geração de modelos virtuais de afloramentos

The aim of this work was to describe the methodological procedures that were mandatory to develop a 3D digital imaging of the external and internal geometry of the analogue outcrops from reservoirs and to build a Virtual Outcrop Model (VOM). The imaging process of the external geometry was acquired by using the Laser Scanner, the Geodesic GPS and the Total Station procedures. On the other hand, the imaging of the internal geometry was evaluated by GPR (Ground Penetrating Radar).The produced VOMs were adapted with much more detailed data with addition of the geological data and the gamma ray and permeability profiles. As a model for the use of the methodological procedures used on this work, the adapted VOM, two outcrops, located at the east part of the Parnaiba Basin, were selected. On the first one, rocks from the aeolian deposit of the Piaui Formation (Neo-carboniferous) and tidal flat deposits from the Pedra de Fogo Formation (Permian), which arises in a large outcrops located between Floriano and Teresina (Piauí), are present. The second area, located at the National Park of Sete Cidades, also at the Piauí, presents rocks from the Cabeças Formation deposited in fluvial-deltaic systems during the Late Devonian. From the data of the adapted VOMs it was possible to identify lines, surfaces and 3D geometry, and therefore, quantify the geometry of interest. Among the found parameterization values, a table containing the thickness and width, obtained in canal and lobes deposits at the outcrop Paredão and Biblioteca were the more relevant ones. In fact, this table can be used as an input for stochastic simulation of reservoirs. An example of the direct use of such table and their predicted radargrams was the identification of the bounding surface at the aeolian sites from the Piauí Formation. In spite of such radargrams supply only bi-dimensional data, the acquired lines followed of a mesh profile were used to add a third dimension to the imaging of the internal geometry. This phenomenon appears to be valid for all studied outcrops. As a conclusion, the tool here presented can became a new methodology in which the advantages of the digital imaging acquired from the Laser Scanner (precision, accuracy and speed of acquisition) were combined with the Total Station procedure (precision) using the classical digital photomosaic technique

Desenvolvendo e gerenciando compostagem de resíduos sólidos urbanos: para geração de renda e repasse de tecnologia à acrevi

Nowadays, as well as in the past decades, the dumping of biodegradable organic waste in landfill is common practice in Brazil, as well as in most parts of the world. Nevertheless due to its rapid decomposition and release of odors, this practice hamper’s the operation and implementation of a recycling system. These facts encouraged our research to find an efficient system for the management of organic waste, not only for the use of official workers responsible for managing these wastes, but also for non-governmental institutions. The Recycling for Life Community Association – ACREVI (Associação Comunitária Reciclando para a Vida), together with the municipal authorities of Mossoró-RN, Brazil, have assumed the social role of collecting and recycling solid waste produced by most of the local population. However, it was observed that the organic waste it collected was not receiving any treatment. This present work aims to make compost with mixed waste (green waste and organic household), and then do chemical analysis of the material in view to use the waste as organic fertilizer. The objective being: to share the knowledge acquired by putting it into a very simple language accessible to people with little education. The experiment was conducted at ACREVI, Mossoró (RN), and the compost was obtained following the method "windrow", forming three cells (I, II, III) with conical shape, dimensions of 1.6 meters and 2.0 meters in diameter for cells I and II, and 1.0 meters high and 2.0 meters in diameter for cell III. The process was accompanied by analysis: CHN elemental, a variation of cell temperature, humidity, pH, TKN, bulk density, nutrients and heavy metals. Stabilized organic compounds reached the C/N ratio of 10.4/1 cell I and 10.4/1 in the cell II in the cell, showing how good soil conditions, with potential to improve the physical properties of any soil and pH acid soils, has presented the cell III at the end of the process the C/N 26/1, is a high ratio may be associated with the stack size III, thus changing the optimal conditions for the occurrence of the process. The levels of heavy metals in the analyzed compounds were lower than those established by the SDA normative instruction, Nº 27, of 5 June, 2006. The use of pruning trees and grass are used in small-scale composting, while generating a quality compost in the final process, it also created an important condition for a correct sizing of the composting piles. Under the studied conditions it is not advisable to use cells with a height of 1.00 m in height and 2.00 m in diameter, as these do not prevent the rapid dissipation of heat and thus can not be a good product at the end of composting. The composting process in the shed of the association and the preparation of the primer enabled the development of an alternative technology to generate income for members of ACREVI.

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

Petrologia do magmatismo tardi-brasiliano no Maciço São José de Campestre(RN/PB), com ênfase no Plúton Alcalino Caxexa

The area studied is located on the north-easternmost portion of the Borborema Province, on the so-called São José de Campestre Massif, States of RN and PB, Northeast Brazil. Field relations and petrographic, geochemical and isotope data permitted the separation of five suites of plutonic rocks: alkali-feldspar granite (Caxexa Pluton), which constitutes the main subject of this dissertation, amphibole-biotite granite (Cabeçudo Pluton), biotite microgranite, gabbronorite to monzonite (Basic to Intermediate Suite) and aluminous granitoid. The Caxexa Pluton is laterally associated to the Remígio Pocinhos Shear Zone, with its emplacement along the mylonitic contact between the gneissic basement and the micashists. This pluton corresponds to a syntectonic intrusion elongated in the N-S direction, with about 50 km2 of outcropping surface. It is composed exclusively of alkali-feldspar granites, having clinopyroxene (aegirine-augite and hedenbergite), andradite-rich garnet, sphene and magnetite. It is classified geochemically as high silica rocks (>70 % wt), metaluminous to slightly peraluminous (normative corindon < 1%), with high total alkalis (>10% wt), Sr, iron number (#Fe=90-98) and agpaitic index (0.86-1.00), and positive europium anomaly. The Cabeçudo Pluton is composed of porphyritic rocks, commonly containing basic to intermediate magmatic enclaves often with mingling and mixing textures. Petrographically, it presents k-feldspar and plagioclase phenocrysts as the essential minerals, besides the accessories amphibole, biotite, sphene and magnetite. It is metaluminous and shows characteristics transitional between the calc-alkaline and alkaline series (or monzonitic subalkaline). Its REE content is greater than those ones of the Caxexa Pluton and biotite microgranite, and all spectra have negative europium anomalies. The biotite microgranites occur mainly on the central and eastern portion of the mapped area, as dykes and sheets with decimetric thickness, hosted principally in orthogneisses and micashists. Their field relationships as regards the Caxexa and Cabeçudo plutons suggested that they are late-tectonic intrusions. They are typically biotite granites, having also sphene, amphibole, allanite, opaques and zircon in the accessory assemblage. Geochemically they can be distinguished from the porphyritic types because the biotite microgranites are more evolved, peraluminous, and have more fractionated REE spectra. The Basic to Intermediate rocks form a volumetrically expressive elliptical, kilometric scale body on the Southeast, as well as sheets in micashists. They are classified as gabbronorites to monzonites, with the two pyroxenes and biotite, besides subordinated amounts of amphibole, sphene, ilmenite and allanite. These rocks do not show a well-defined geochemical trend, however they may possibly represent a monzonitic (shoshonitic) series. Their REE spectra have negative europium anomalies and REE contents greater than the other suites. The aluminous granitoids are volumetrically restricted, and have been observed in close association with migmatised micashists bordering the gabbronorite pluton. They are composed of almandine-rich garnet, andalusite, biotite and muscovite, and are akin to the peraluminous suites. Rb-Sr (whole rock) and Sm-Nd (whole-rock and mineral) isotopes furnished a minimum estimate of the crystallization (578±14 Ma) and the final resetting age of the Rb-Sr system (536±4 Ma) in the Caxexa Pluton. The aluminous granitoid has a Sm-Nd garnet age similar to that one of the Caxexa Pluton, that is 574±67 Ma. The strong interaction of shear bands and pegmatite dykes favoured the opening of the Rb-Sr system for the Caxexa Pluton and biotite microgranite. The amphibole-plagioclase geothermometer and the Al-in amphibole geobarometer indicate minimum conditions of 560°C and 7 kbar for the Cabeçudo Pluton, 730°C and 6 kbar for the microgranite and 743°C and 5 kbar for the basic to intermediate suite. The Zr saturation geothermometer reveals temperatures of respectively 855°C, 812°C and 957°C for those suites, whereas the Caxexa Pluton shows temperatures of around 757°C. The Caxexa, Cabeçudo and microgranites suites crystallized under high fO2 (presence of magnetite). On the other hand, the occurrence of ilmenite suggests less oxidant conditions in the basic to intermediate suite. Field relations demonstrate the intrusive character of the granitoids into a tectonically relatively stable continental crust. This is corroborated by petrographic and geochemical data, which suggest a late- or post-collisional tectonic context. It follows that the generation and emplacement of those granitoid suites is related to the latest events of the Brasiliano orogeny. Finally, the relationships between eNd (600 Ma), TDM (Nd) and initial Sr isotope ratio (ISr) do not permit to define the precise sources of the granitoids. Nevertheless, trace element modelling and isotopic comparisons suggest the participation of the metasomatised mantle in the generation of these suites, probably modified by different degrees of crustal contamination. In this way, a metasomatised mantle would not be a particular characteristic of the Neoproterozoic lithosphere, but a remarkable feature of this portion of the Borborema Province since Archaean and Paleoproterozoic times.

Estudo da dinâmica costeira da região da foz do rio Piranhas-Açu para geração de mapas de sensibilidade do litoral ao derramamento de óleo

The study area is located in the northern coast of Rio Grande do Norte State comprising the mouth of Açu-Piranhas river including the cities of Porto do Mangue e Areia Branca. The local geological setting comprises Cretaceous, Tertiary and Quaternary geological units of the Potiguar Basin. One is about a region of high morphologic instability due to action of the rigorous dynamic coastal processes, beyond the intense human activities mainly for the performance of the petroliferous industry, salt farms and tanks of shrimp industry.For the accomplishment of this work Landsat 5 TM and Landsat 7 ETM + from four distinct dates were used as cartographic base, in which one applied techniques of digital processing to elaborate thematic maps of the existing natural resources to support the geologic and geomorphologic characterization and the soil and landuse maps. The strategy applied was the interpretation of multitemporal images from aerial and orbital remote sensors alIied to the terrain truth recognition, integrated through a Geographic Information System. These activities had alIowed the production of Sensitivity Maps of the Coast to Oil Spilling for the area, on the basis of the Coastal Sensibility Index. Taking into account the seasons were created maps to distinct datas: July 2003 represents the winter months that presented a sensibility lower when compared with the month of December 2003. For the summer months greater sensitivity is due to the hydrodynamic data that suggest a lesser capacity of natural cleanness of the oil and its derivatives in spilling case.These outcomes are an important and useful database to support an assessment to a risk situation and to taking decision in the face of an environmental disaster with oil spilling in coastal area, alIowing a complete visualization of the area and identifying all portions in the area with thei environmental units and respective Coastal Sensibility Index.

Desenvolvimento de um sistema computacional para geração automática de mapas de vulnerabilidade como ferramenta de auxílio às ações de prevenção ao derramamento de óleo em áreas costeiras

The northern portion of the Rio Grande do Norte State is characterized by intense coastal dynamics affecting areas with ecosystems of moderate to high environmental sensitivity. In this region are installed the main socioeconomic activities of RN State: salt industry, shrimp farm, fruit industry and oil industry. The oil industry suffers the effects of coastal dynamic action promoting problems such as erosion and exposure of wells and pipelines along the shore. Thus came the improvement of such modifications, in search of understanding of the changes which causes environmental impacts with the purpose of detecting and assessing areas with greater vulnerability to variations. Coastal areas under influence oil industry are highly vulnerable and sensitive in case of accidents involving oil spill in the vicinity. Therefore, it was established the geoenvironmental monitoring of the region with the aim of evaluating the entire coastal area evolution and check the sensitivity of the site on the presence of oil. The goal of this work was the implementation of a computer system that combines the needs of insertion and visualization of thematic maps for the generation of Environmental Vulnerability maps, using techniques of Business Intelligence (BI), from vector information previously stored in the database. The fundamental design interest was to implement a more scalable system that meets the diverse fields of study and make the appropriate system for generating online vulnerability maps, automating the methodology so as to facilitate data manipulation and fast results in cases of real time operational decision-making. In database development a geographic area was established the conceptual model of the selected data and Web system was done using the template database PostgreSQL, PostGis spatial extension, Glassfish Web server and the viewer maps Web environment, the GeoServer. To develop a geographic database it was necessary to generate the conceptual model of the selected data and the Web system development was done using the PostgreSQL database system, its spatial extension PostGIS, the web server Glassfish and GeoServer to display maps in Web