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

Criação de empresas à luz do modelo de decisão effectuation: um estudo com mulheres empreendedoras no município de Currais Novos/RN

This study analysed the creation of businesses by entrepreneur women in the Currais Novos city, looking for verifying if they used making decision processes aligned to the Effectuation logic throughout the creation of their companies. To this, was accomplished a multiple cases and exploratory study, whit a qualitative approach of analyse, using the thematic life history technique that match accounts and semi-structured interview route, being accomplished like a long interview, where the researcher interact with the informer continuously. The semi-structured interview route was created by the adaptation of the interview route used by Tasic (2007). The present study appealed to a intentional selection of individuals in function of their importance in relation to the boarded theme. This means that the individuals were chosen in function of their social and theoretical representatively inside the considered situation. The participant individuals of this research were five entrepreneur women that act in the Currais Novos city, owners of five different companies. To the data treatment and analyse, was chosen the content analyse technique. This study worked with a priori theoretical categories. The categories of analyse in this study was obtained with base in the Effectuation approach (SARASVATHY, 2001a, 2001b, 2008), that is an alternative model of making decision to the classic model based in the causality principle. These categories are Clarity of Initial Aims , Tolerance to the Lost and Initials Investments , Control of Resources ( who I am , what I know and who I know ) and Promoting Over Contingencies . As result, the entrepreneur women researched, in a general way, hadn t clear initial aims at the companies creation moment, hadn t aversion to the risk to lose the time and the money that they were investing in the company in formation, they highlighted the products and services identity that offered with a strong link with Seridó region, they had experience in the field of activity in which they decided to open their companies, had the commitment of partners in the beginning of the business and they knew to transform the initial difficulties in opportunities. By the end, this study conclude that the entrepreneur women studied used, in a big part, making decision processes aligned to the Effectuation logic throughout the creation of their companies

Percepção de mães adolescentes acerca da participação paterna na gravidez, nascimento e criação do filho

A participação paterna na gravidez de adolescentes ainda é pouco discutida, embora a ausência do companheiro seja apontada como um dos problemas sociais dela decorrente. Esta investigação, de cunho qualitativo, teve por objetivo descrever como se dá a participação do pai do bebê durante a gestação, nacimento e criação do filho nos primeiros meses de vida, na perspectiva de adolescentes que passaram pela experiência de engravidar e ter um filho. Na sistematização dos dados, os mesmos foram agrupados em duas categorias: vivenciando a gravidez e valorizando a presença e participação do companheiro/pai.

Estudo comparativo entre as esferas de silicone gelatinosas e rígidas em cavidade eviscerada de coelho

OBJETIVO: Avaliar e comparar a biocompatibilidade de esferas de silicone gelatinosas e rígidas em cavidades evisceradas de coelhos. MÉTODOS: Trinta coelhos tiveram o olho direito eviscerado com implantação de esferas de silicone gelatinosas (Grupo I) ou rígidas (Grupo II). Foi realizada avaliação clínica diária, ultrassonografia da cavidade orbitária, análise histológica e morfométrica da pseudocápsula que se formou ao redor dos implantes aos 7, 30 e 90 dias após a cirurgia, com avaliação estatística dos resultados. RESULTADOS: Houve boa integração das esferas com os tecidos orbitários e semelhança de resposta tecidual com ambas as esferas. Duas esferas de silicone gelatinosas e uma rígida extruíram. A pseudocápsula que se formou ao redor das esferas gelatinosas foi mais organizada, com espessura e reação inflamatória menores que a observada nas esferas rígidas. CONCLUSÕES: Esferas de silicone gelatinosas e rígidas tiveram boa integração tecidual em cavidades evisceradas de coelhos.

Níveis séricos de enzimas de função hepática em frangos de corte de criação industrial clinicamente saudáveis

The values for the main hepatic enzymes included in the profiles of screen clinical biochemistry, alanine-aminotransferase (ALT), aspartate aminotransferase (AST), alkaline phosphatase (FA), lactate desidrogenase (LDH) and gamaglutamiltransferase (GGT), in samples of serum of broiler chickens in industrial system, clinically healthy, starting from the seventh day of life, until the slaughter (42 days) in weekly intervals were determined. Significant variations were not observed in the analyses in relation to the age of the birds for none of the appraised enzymes.

Avaliação do desempenho e do rendimento de carcaça de quatro linhagens de frangos de corte em dois sistemas de criação

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

Efeito do sistema de criação sobre o desempenho e rendimento de carcaça de frangos de corte tipo colonial

Foram utilizados 1600 pintos de corte de um dia de idade, distribuídos em delineamento, em blocos ao acaso, com esquema fatorial 4×2 (quatro linhagens, sendo uma delas comercial (Ross-308) e as demais específicas para a produção colonial (Caipirinha, Pescoço Pelado e Paraíso Pedrês) e dois sistemas de criação (confinado e com acesso a piquete), com quatro repetições de 50 aves cada. A ração não continha promotores químicos de crescimento e produtos de origem animal. Avaliaram-se o ganho de peso, o consumo de ração, a conversão alimentar, a mortalidade e os rendimentos de carcaça e das partes (peito, pernas, asas e dorso) aos 56, 63, 70, 77 e 84 dias de idade. O comprimento e a porcentagem (em relação ao peso vivo) dos intestinos e o peso e a porcentagem (em relação ao peso vivo) do fígado, moela e pâncreas foram avaliados aos 84 dias de idade. Houve efeito (P<0,05) da linhagem para as características de desempenho e da linhagem e do sexo para rendimentos da carcaça e das partes, assim como para as características do sistema digestório (P<0,05). O sistema de criação não influenciou as características avaliadas.

Efeito da Densidade de Criação e do Sexo Sobre o Empenamento, Incidência de Lesões na Carcaça e Qualidade da Carne de Peito de Frangos de Corte

O experimento foi conduzido nas instalações experimentais da Faculdade de Medicina Veterinária e Zootecnia - UNESP, Campus de Botucatu, SP, Brasil, com o objetivo de avaliar o efeito da densidade de criação e do sexo sobre o empenamento, incidência de lesões na carcaça e a qualidade de carne de peito de frangos de corte. Foram utilizados 1950 pintos de corte sexados, da linhagem Ross, distribuídos em um delineamento inteiramente casualizado, com esquema fatorial com 3 densidades (10, 13 e 16 aves/m²) e dois sexos com 5 repetições, sendo que uma foi destinada exclusivamente para reserva, criados até os 42 dias de idade. Aos 28, 35 e 42 dias foram amostradas 3 aves por repetição para a determinação do empenamento através da porcentagem de penas e 10 aves para a determinação do escore de empenamento. Também aos 42 dias de idade todas as aves foram identificadas na pata com anilhas numeradas e submetidas à avaliação da incidência de lesões na pele. Foram escolhidas ao acaso 5 aves por repetição para a determinação da qualidade da carne de peito. Pode-se concluir que o aumento na densidade de criação promoveu uma diminuição na velocidade de empenamento e, conseqüentemente, uma maior incidência de lesões na carcaça. O comprimento, a largura e a espessura do peito foram menores para as aves criadas na maior densidade, e a perda de peso por cozimento foi maior para as aves criadas na maior densidade.

Características limnológicas da coluna d'água e dos efluentes de viveiros de criação de camarões-da-amazônia

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

Perspectivas para a criação massal de Iphiseiodes zuluagai Denmark & Muma (Acari: Phytoseiidae)

Iphiseiodes zuluagai Denmark & Muma é um importante predador de Brevipalpus phoenicis (Geijskes) em citros no Brasil. O emprego de Tyrophagus putrescentiae (Schrank) como fonte de alimento para I. zuluagai em criações de laboratório foi investigado a 25,5 ± 0,5ºC, 88 ± 7% UR e fotofase de 12h. Inicialmente os níveis de oviposição do predador alimentado com ovos, estágios pós-embrionários mortos ou estágios pós-embrionários vivos de T. putrescentiae foram avaliados durante 10 dias. A taxa diária de oviposição foi de 1,3 ovo/ fêmea quando estas foram alimentadas com ovos de T. putrecentiae; 0,7 ovo/ fêmea quando estas foram alimentadas com estágios pós-embrionários mortos e cerca de 0,2 ovo/ fêmea quando alimentadas com estágios pós-embrionários vivos. Posteriormente, elaborou-se a tabela de vida de I. zuluagai, oferecendo-se como alimento ovos de T. putrescentiae. Os estágios imaturos foram observados a cada 8h, para determinar a duração correspondente. Na fase adulta, os ácaros foram observados a cada 24h, para se determinar os parâmetros reprodutivos. A capacidade de aumento populacional (r m) foi de 0,11 fêmea/ fêmea/ dia; resultando em uma razão finita de aumento de 1,11 (l). A taxa líquida de reprodução (R0) foi de 7,1 fêmeas/geração, com um tempo de geração de 18,6 dias. Os resultados obtidos mostram que T. putrescentiae é uma fonte de alimento favorável ao desenvolvimento de I. zuluagai.

Ocorrência e distribuição de esporos de Clostridium botulinum tipos C e D em áreas de criação de búfalos na Baixada Maranhense

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Cosmos evolutivo e plano da criação na filosofia peirceana

O uso da metáfora da sob-existência do plano de um velho fórum na mente de seu arquiteto, a fim de entender o modo de ser do estado inicial do cosmos poderia dar origem a uma postulação de um plano na mente divina ou na natureza. A perfeição divina e o processo evolucionário do cosmos e da Razão, tais como são expostos na filosofia de PEIRCE, parecem opor-se à realidade de um tal plano. O presente artigo é um ensaio de discussão desta questão.

Não há dente de coelho no problema da tradução radical

O trabalho consiste em uma tentativa de refutação do princípio quineano da indeterminação da tradução radical. A estrutura do argumento é a seguinte. A demonstração do princípio no texto de Quine assenta-se sobre certa concepção do processo de tradução radical. Esta concepção só se sustenta se são adotadas certas pressuposições a respeito da natureza da linguagem e dos falantes. Entretanto, se estas pressuposições são adotadas, não há razão para não se aceitarem também outras pressuposições - as quais invalidam a demonstração de Quine.

A França Antártica e a criação de padrões narrativos sobre o Brasil e os brasileiros

O objetivo deste pequeno ensaio é analisar as narrativas derivadas da primeira experiência colonizadora francesa no Novo Mundo, a França Antártica, com o intuito de demarcar em tais escritos certos padrões narrativos acerca da América e dos seus habitantes, os ditos selvagens. Buscaremos demonstrar que tais padrões, estabelecidos de maneira pioneira pelos gauleses, tiveram vida longa nas narrativas posteriores com menções ao Brasil e aos seus habitantes.

Efeitos das cardioplegias sangüínea e cristalóide no miocárdio hipertrófico de coelho: avaliação estrutural e ultra-estrutural

OBJETIVO: Comparar e avaliar experimentalmente as alterações estruturais e ultra-estruturais em corações hipertrofiados isolados de coelhos submetidos à parada protegida pela solução de cardioplegia sangüínea e cardioplegia cristalóide. MÉTODO: O estudo compreendeu um grupo controle e dois grupos experimentais. No grupo I, a parada cardíaca foi obtida pela infusão da solução de cardioplegia sangüínea contínua e tépida. No grupo II, a parada cardíaca foi conseguida pela infusão da solução de cardioplegia cristalóide intermitente e fria. No grupo controle, os corações foram submetidos à parada anóxia normotérmica por 45 minutos. Após experimentos, oito amostras da parede lateral do ventrículo esquerdo foram coletadas e fixadas em formaldeído 10% e glutaraldeído 2,5% para análises estrutural e ultra-estrutural. RESULTADOS: Os resultados estruturais e as descrições ultra-estruturais mostraram que os corações submetidos à parada protegida pela cardioplegia sangüínea contínua e tépida (grupo I) estavam mais preservados com alterações celulares menos acentuadas se comparados aos submetidos à parada protegida pela cardioplegia cristalóide intermitente e fria (grupo II) e ao grupo controle. CONCLUSÃO: A cardioplegia sangüínea contínua e tépida (Grupo I) foi mais eficiente na preservação da integridade estrutural e ultra-estrutural do miocárdio, quando comparada à cardioplegia cristalóide intermitente e fria (Grupo II).