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

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development

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

EUPAT for WoW: Uma ferramenta de assistência à programação por usuário final

Neste trabalho, apresentamos uma ferramenta cujo intuito é auxiliar não-programadores, jogadores de videogame, na criação de extensões na forma de Add-ons para World of Warcraft, o jogo online. Nele, o usuário pode criar extensões customizando completamente sua interface, de forma a reinventar a sua experiência de jogo e melhorar sua jogabilidade. A criação de extensões para aplicativos e jogos surgiu da crescente necessidade de fornecer aos usuários mecanismos eficientes de Programação por Usuário Final, permitindo que os mesmos preenchessem suas necessidades singulares através da criação, customização e especificação de extensões em software. Em World of Warcraft mais especificamente, os Add-ons exploram um tipo de extensão na qual os jogadores passam a programar sua própria interface de usuário ou a fazer uso de interfaces criadas por outros usuários. No entanto, realizar a programação dessas extensões - os Add-ons - não é uma tarefa fácil. Dentro deste contexto, desenvolvemos a ferramenta EUPAT for WoW (do inglês, End-User Programming Assistance Tool for World of Warcraft) que oferece assistência à criação de Add-ons. Além disso, investigamos como usuários jogadores com e sem conhecimento de programação são beneficiados. Os resultados desta pesquisa permitiram refletir sobre as estratégias de assistência de programação por usuário final no contexto de jogos

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

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

Programa de cessação de tabagismo como ferramenta para o diagnóstico precoce de doença pulmonar obstrutiva crônica

OBJETIVO: A doença pulmonar obstrutiva crônica (DPOC) é subdiagnosticada e subtratada, o que resulta em subestimação do impacto da doença. O objetivo deste estudo foi avaliar se a inclusão da espirometria na avaliação dos fumantes que ingressam em programas de cessação do tabagismo contribui para o diagnóstico precoce da DPOC. MÉTODOS: Análise retrospectiva de dados médicos de 158 fumantes atendidos no programa cessação de tabagismo (Faculdade de Medicina de Botucatu, São Paulo, Brasil), de janeiro 2003 a novembro 2005. Todos os indivíduos tinham mais de 40 anos (idade média: 55 ± 8,5 anos), sendo 99 (62,6%) do sexo feminino. Foram analisados os dados clínicos, os diagnósticos médicos prévios e os resultados da espirometria. RESULTADOS: Dos 158 fumantes avaliados, 57 (36,1%) indivíduos preenchiam os critérios diagnósticos para DPOC e 14 (8,9%) foram considerados em risco para o desenvolvimento da doença. Dos 57 que preenchiam os critérios diagnósticos para DPOC, 39 (68,4%) foram diagnósticos novos e 18 (31,6%) foram confirmação de diagnóstico prévio da doença. Entre os 18 com diagnóstico anterior, 10 (56%) tinham doença leve/moderada e 8 (44%) doença grave. Sete pacientes com diagnóstico anterior de DPOC apresentaram resultados de função de pulmonar não compatíveis com os critérios diagnósticos da doença. Entre os 39 novos diagnósticos, 38 (97,4%) eram de doença leve/moderada e apenas 1 (2,6%) tinha DPOC grave CONCLUSÃO: A inclusão da espirometria na avaliação inicial dos fumantes admitidos em programa de cessação de tabagismo pode ser uma ferramenta útil para o diagnóstico precoce da DPOC.

Uma ferramenta didática para ajudar na fixação dos conceitos introdutórios de análise combinatória

Humans, as well as some animals are born gifted with the ability to perceive quantities. The needs that came from the evolution of societies and technological resources make the the optimization of such counting methods necessary. Although necessary and useful, there are a lot of diculties in the teaching of such methods.In order to broaden the range of available tools to teach Combinatorial Analysis, a owchart is presented in this work with the goal of helping the students to x the initial concepts of such subject via pratical exercises

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

Utilização de sismógrafos de engenharia como ferramenta no controle de qualidade de acessórios de detonação não elétricos

Nesse artigo, são apresentados os trabalhos realizados com o objetivo de verificar se a elevada dispersão dos valores de velocidade de partícula obtidos durante monitoramentos de vibrações decorrentes de desmontes de rocha com a utilização de explosivos, em mineração localizada no município de Limeira (SP), vinculava-se a variações nos tempos dos elementos de retardo dos acessórios de detonação em relação aos nominais. Os experimentos foram realizados em janeiro e junho de 2004. O procedimento adotado para estimar os tempos de retardo de acessórios de detonação não elétricos redundou em resultados que apresentam consistência, necessitando, porém, de estudos mais aprofundados. Os dados obtidos indicam a necessidade de considerar sua ocorrência quando da elaboração de planos de fogo, por suas implicações: ambientais, que inclui aspectos relativos à segurança e econômicas.

Livro didático: uma ferramenta possível de trabalho com a dança na Educação Física Escolar

O presente ensaio propõe algumas reflexões sobre como o livro didático se articula com a Educação Física, apontando algumas discussões sobre o processo de elaboração de um material de dança na perspectiva da Pluralidade Cultural voltado para o professor e para o aluno. O texto traz algumas sugestões de como construir um livro com este objetivo para a área, considerando o contexto deste componente curricular. E, finalmente problematiza algumas questões sobre a importância da autonomia do professor para o processo de ensino-aprendizagem, bem como o uso que o mesmo pode fazer do livro didático.

Pressão de preconsolidação como ferramenta de análise da sustentabilidade estrutural de classes de solos com diferentes usos

O principal problema ambiental causado pelo uso do solo em áreas de preservação permanente longitudinais aos rios é a supressão da mata ciliar. O tipo e a intensidade desse uso alteram a estrutura do solo e comprometem as funções físicas dessas áreas, principalmente próximo aos cursos d'água. O objetivo deste trabalho foi avaliar a sustentabilidade estrutural, a partir do ensaio de compressão uniaxial, de três classes de solo (Cambissolo Háplico, Argissolo Amarelo e Gleissolo Háplico) e o impacto de diferentes tipos de usos do solo - não permitido pela legislação ambiental - de áreas de preservação permanente na sub-bacia do rio Ribeira de Iguape, SP. Foram delimitadas na área experimental três classes de solo: Cambissolo, Argissolo e Gleissolo. Numa primeira etapa, compararam-se as três classes de solos sob mata nativa e sob pastagem. Na segunda, avaliou-se a influência de diferentes tipos de uso do solo - cultivo de banana, pastagem degradada, uso silvipastoril e mata nativa - sobre a estrutura de um Cambissolo. A pressão de preconsolidação mostrou-se ferramenta capaz de identificar a degradação nos solos. O uso do solo nas áreas de preservação permanente altera a pressão de preconsolidação do solo, causando sua degradação estrutural, colocando em risco a sustentabilidade das terras, e não deve ser permitido. O Gleissolo mostrou maiores valores de pressão de preconsolidação em função de teores crescentes de água e, portanto, maior capacidade de suporte de carga em relação ao Cambissolo e Argissolo. O cultivo de banana foi o tipo de uso que mais degradou os solos das áreas de preservação permanente.

Quimiometria como ferramenta analitica para definição das condiçoes de ensaio da enzima peroxidase de soja

Enzimas Peroxidases são heme-proteínas encontradas nos diferentes organismos vivos, especialmente vegetais, apresentam importante papel fisiológico/bioquímico como proteção contra microorganismos invasores. A soja, um dos mais importantes produtos para o agronegócio brasileiro apresenta na casca de suas sementes (subproduto) alta atividade de peroxidase, denominada soybean peroxidase,com potencial de utilização em métodos analíticos clínicos. A proposta do trabalho foi aplicar o planejamento fatorial para otimização das condições extração da enzima, definição das condições ótimas de atividade (pH e temperatura), utilizando metodologia de superfície de resposta. Os dados obtidos com clara definição foram: i) extração em pó cetonico, ii) meio reacional: pH 3,3, volume da amostra contendo a enzima 330 µL - 340 µL, peróxido de hidrogênio 4,2 mmol.L-1 150 µL, tempo de reação 20 segundos, temperatura 50º C, substrato guaiacol 30mmol.L-1 300 µL, e 0,1 mol.L-1 de NaCl. O uso da dessa metodologia para definição das condições de extração e estudos cinético-enzimáticos da peroxidase de soja foram eficientes e mais precisos, comparado a metodologia de variações/repetições (tentativa e erro).

Unidades estratégicas de negócios: uma ferramenta para gestão competitiva de empresas

Este artigo tem por objetivo discutir e apresentar algumas considerações acerca das vantagens e implicações da utilização do conceito de UEN - Unidade Estratégica de Negócios, na gestão de empresas, de modo geral. O artigo discute algumas relações que devem ser esclarecidas antes da plena adoção do conceito. Baseado na literatura e na experiência do autor em consultoria em empresas, o artigo propõe uma abordagem metodológica para permitir que gerentes possam definir, analisar e compreender os efeitos da utilização do conceito de UEN - Unidade Estratégica de Negócios, considerando as dimensões competitivas ou Fatores Críticos de Sucesso típicos e intrínsecos da natureza de cada negócio.

Citologia aspirativa por agulha fina (CAAF), em testículo de onça pintada (Panthera onca), utilizada como ferramenta no diagnóstico de infertilidade

Técnicas de biópsia, caracterizadas pela remoção de segmentos de órgãos e tecidos para análise histopatológica, não são indicadas no auxílio diagnóstico de alterações testiculares para animais ameaçados de extinção, por não serem totalmente isentas de riscos. Neste sentido, é de grande interesse que se desenvolvam técnicas de biópsia testicular cada vez mais seguras e com o mínimo de conseqüências negativas. Com este intuito três onças pintadas (Panthera onca) foram submetidas a exames de Citologia Aspirativa por Agulha Fina (CAAF). Amostras foram obtidas através da punção aspirativa dos testículos, esfregaços foram confeccionados, corados com Panótico e analisados sob Microscopia Óptica. Simultaneamente foram realizadas coletas de sêmen para avaliação do volume, pH, concentração, motilidade, vigor e morfologia espermáticas. Quanto à avaliação espermática, os animais apresentaram valores semelhantes aos encontrados na literatura quanto ao volume, pH, motilidade, vigor e morfologia espermáticas. Quanto a concentração espermática os animais apresentaram valores abaixo dos encontrados na literatura. Nos exames de CAAF, todas as gerações de células germinativas foram identificadas, indicando espermatogênese normal em todos os animais, com exceção das espermátides finais duplas que ainda não foram relatadas como achados em punções testiculares de outras espécies, o que vem confirmar a elevada porcentagem de células teratológicas encontradas nesses animais. Desta forma, podemos concluir que a CAAF testicular é um método diagnóstico auxiliar importante na detecção de alterações testiculares em casos de sub ou infertilidade, podendo ser utilizados na rotina de investigação do trato reprodutivo masculino, quando o exame histopatológico, por ser um método altamente invasivo, é desaconselhável.