Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Macrofauna de ambientes não consolidados adjacentes à recifes da área de proteção ambiental dos recifes de corais Rio Grande do Norte, Brasil

This study aimed to characterize, for the first time, the benthic invertebrates that inhabit the region of soft bottoms adjacent to the APARC reefs in order to situate them as an important component of infralittoral coastal areas of Northeast Brazil. Soft bottoms areas of APARC corresponds to infralittoral zones vegetated by seagrass Halodule wrightii and unvegetated infralittoral zones, both subjected to substantial hydrodynamic stress. Through scuba diving, biological and sedimentary samples of both habitats were analyzed, with a cylindrical sampler. We identified 6160 individuals belonging to 16 groups and 224 species. The most abundant macrofaunal group was Polychaeta (43%), followed by Mollusca (25%) and Crustacea (14%), what was expected for these environments. In the first chapter, regarding vegetated areas, we tested three hypotheses: the existence of differences in the faunal structure associated with H. wrightii banks submitted to different hydrodynamic conditions; the occurrence of minor temporal variations on the associated macrofauna of banks protected from hydrodynamic stress; and if the diversity of macrofauna is affected by both benthophagous predators and H. wrightii biomass. It was observed that macrofauna associated at the Exposed bank showed differences in structure when comparing the Protected bank, the granulometry of the sediments, that co-varies with the hydrodynamism, was the cause of these variations. The results also pointed to a lower temporal variation in the macrofaunal structure on the Protected bank and a negative relation between macrofaunal and benthophagous fish abundance. At the Exposed bank, a greater faunal diversity was observed, probably due to the higher seagrass biomass. The second chapter compares the vegetated and non-vegetated areas in order to test the hypothesis that due to greater seasonal stability in tropical environments, seagrass structure would act to distinguish the vegetated and non-vegetated areas macrofauna, over time. It was also expected that depositivores were the most representative invertebrates on non-vegetated environments, on the assumption that the seagrass bank would work as a source of debris to adjacent areas, enriching them. Considering all sampling periods, the total macrofauna abundance and diversity were higher in vegetated areas, when compared to non-vegetated ones. Seasonally, the structural complexity provided by Halodule differentiated more clearly the fauna from vegetated and non-vegetated areas, but only at the climatic extremes, i.e. Dry season (extreme climatic stability, with low hydronamism variation) and Rainy season (great hydrodynamism variation and probably vegetated bank burial). Furthermore, the high organic matter levels measured in the sandy banks coincided with an outstanding trophic importance of deposit feeders, proving the debris-carrying hypothesis. The last chapter focused on the non-vegetated areas, where we tested that the hypothesis infaunal halo in tropical reefs depending on local granulometry. In this context, we also tested the hypothesis that benthophagous fish predation would have an effect on the low abundance of macrofaunal groups due to the high hydrographic stress, thus allowing other predatory groups to have greater importance in these environments. Proving the hypothesis, no spatial variation, both on abundance families neither on community structure, occur along distance of the edge reefs. However, we found that complex combinations of physical factors (grain size and organic matter levels originated from local hydronamic conditions) covary with the distance from the reefs and has stronger influence on macrofauna than considered biological factors, such as predation by benthophagous fishes. Based on the main results, this study shows that unconsolidated areas around APARC reefs are noteworthy from an ecological and conservational point of view, as evidenced by the biota-environment and organismal relations, never before described for these areas

Intervenções benéficas durante o parto para a prevenção da mortalidade materna

O caráter multifatorial das complicações e da mortalidade materna torna difícil e demorada a tarefa de seu controle a longo prazo. A atenção profissional à mulher gestante e/ou parturiente representa seguramente elemento chave para a obtenção de bons resultados, tanto maternos quanto perinatais. Partindo-se do pressuposto de que atenção médica profissional ao parto de maneira adequada tem a capacidade de diminuir a ocorrência de complicações associadas à morbidade e mortalidade materna, são apresentadas resumidamente as evidências sobre algumas intervenções incluídas nesta atenção. São enfocadas as evidências derivadas de estudos realizados com extremo rigor metodológico e científico, os ensaios controlados randomizados, sobre intervenções capazes de reduzir as complicações e a mortalidade materna. Estas principais intervenções referem-se basicamente a: atenção institucional ao parto, atendimento profissional capacitado, utilização de parteiras tradicionais em determinados contextos, uso de tecnologias apropriadas incluindo o partograma, local do parto, posição para o parto, uso de episiotomia, tipo de parto, uso de ocitócicos na fase ativa do parto, realização de esforços de puxo no período expulsivo, manejo da dequitação e profilaxia da hemorragia puerperal. Ainda que o efeito de prevenir mortes seja difícil de ser avaliado pela baixa freqüência, sua utilização de forma racional e padronizada, por meio de manuais e normatizações de condutas de serviços, tem um efeito positivo sobre a qualidade da atenção ao nascimento. Isso faz parte do contexto técnico e humano do direito que toda mulher tem ao melhor atendimento possível nesse momento tão especial de sua vida.

Isolamento, caracterização e diferenciação de células-tronco mesenquimais do líquido amniótico equino obtido em diferentes idades gestacionais

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

Repair of critical-size defects with autogenous periosteum-derived cells combined with bovine anorganic apatite/collagen: an experimental study in rat calvaria

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

Ultrastructure of the intercellular protuberances in leaves of Paepalanthus superbus Ruhl. (Eriocaulaceae)

Folhas adultas de Paepalanthus superbus mostram protuberâncias intercelulares, entre a parede periclinal interna das células epidérmicas e superfície de células parenquimáticas; depósitos semelhantes ocorrem na superfície das células parenquimáticas do mesofilo. Estas protuberâncias são mais proeminentes ao redor de células parenquimáticas, formando uma estrutura que lembra uma cápsula gelatinosa. Testes histoquímicos com vermelho de rutênio evidenciam sua natureza péctica, com inclusões lipídicas dispersas, detectadas por sudan IV e sudan black B. Ultra-estruturalmente as protuberâncias mostram matriz fibrilar permeada por estruturas fimbriadas e tubulares, com margem distinta formada por estrutura membranosa. Nossos resultados sugerem que estas protuberâncias são derivadas de atividade secretora, sendo formadas após o desenvolvimento dos espaços intercelulares. em P. superbus esta estrutura pode representar uma especialização da parede celular, relacionada com adesão e mecanismos de transporte entre células.

Meristematic activity of the Endodermis and the Pericycle in the primary thickening in monocotyledons: considerations on the PTM

A proposta deste trabalho é mostrar uma nova interpretação do meristema de espessamento primário em monocotiledôneas. Anatomia dos órgãos vegetativos das seguintes espécies foi examinada: Cephalostemon riedelianus (Rapataceae), Cyperus papyrus (Cyperaceae), Lagenocarpus rigidus, L. Junciformis (Cyperaceae), Echinodorus paniculatus (Alismataceae) and Zingiberofficinale (Zingiberaceae). A atividade meristemática da endoderme foi observada nas raizes de todas as espécies, no caule de Cyperus, Cephalostemum e Lagenocarpus rigidus, e no traço foliar de Cyperus e folha de Echinodorus. Considerando a continuidade dos tecidos através da raiz, caule e folha, as autoras concluem que no caule o periciclo permanece ativo durante a vida da planta, como um gerador de tecidos vasculares. O Meristema de Espessamento Primário é o periciclo em fase meristemática, juntamente com a endoderme e suas derivadas (ou apenas o periciclo). Próximo ao ápice caulinar, esses tecidos se assemelham a um único meristema, dando origem ao córtex interno e aos tecidos vasculares.

Tectonics and paleogeography of the Marajó Basin, northern Brazil

A área da Bacia do Marajó apresenta feições geológicas e geomorfológicas devidas principamente à distensão Mesozóica e à neotectônica pós-miocênica. O evento de distensão, com fases do Cretáceo Inferior e Superior, originou quatro sub-bacias que contituem a Bacia do Marajó, com uma espessa seqüência clástica continental mostrando influência marinha. Falhas normais NW e NNW e direcionais NE e ENE controlaram a geometria da bacia. A distensão, relacionada com a abertura do Atlântico Equatorial, propagou-se continente adentro ao longo de zonas de fraqueza crustal dos cinturões orogênicos pré-cambrianos Tumucumaque, Amapá e Araguaia. O evento neotectônico é um regime transcorrente que desenvolveu bacias transtensivas preenchidas por sedimentos marinhos rasos (Formação Pirabas) e seqüências transicionais (Grupo Barreiras) do Terciário Superior, seguidos por depósitos fluviais e seqüências transicionais do Quaternário, derivadas dos rios Amazoans e Tocantins e do estuário do Marajó. A paisagem atual tem morfologia tipicamente estuarina. A morfologia costeira apresenta escarpas em seqüências transicionais do Terciário Superior, enquanto no interior dominam elevações sustentadas por crosta laterítica do Pleistoceno Médio, aparadas por superfície erosiva a 70 m. No leste da Ilha do Marajó são reconhecidas várias gerações de paleocanais com seqüências estuarinas associadas, enquanto no lado oeste predomina uma planície flúvio-marinha.

Determinação da temperatura de solubilização da prata em ligas de Cu-Al-Ag por medidas de resistência elétrica

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

Variabilidade genética e endogamia em duas populações de milho (zea mays) contrastantes para o teor de óleo

Com o objetivo de se avaliar os efeitos da seleção para maior tamanho do embrião, visando o aumento da porcentagem de óleo e suas interrelações com a produtividade de grãos, estimaram-se os parâmetros genéticos e os efeitos de uma geração de autofecundação, em progênies de meios irmãos e S1 de uma mesma planta S0, de duas populações de milho derivadas do Composto Flint. As progênies foram avaliadas separadamente para cada população, através do delineamento experimental em látices planta do em faixas. As médias das progênies de meios irmãos e S1 para porcentagem de óleo, foram respectivamente 5,31% e 5,19% para a população 01, e 6,21% e 5,63% para a população 02. Para peso de espigas na população 01, as médias foram 4,68 e 2,91, e para a população 02 foram iguais a 4,05 e 2,77 kg/m². Embora as médias das progênies S1 fossem sempre inferiores às médias das progênies de meios irmãos, a análise através do teste F não permitiu, ao nível de 5% de probabilidade, se destectar os efeitos da depressão por endogamia na média das características avaliadas, exceto para porcentagem de óleo na população 02. As estimativas das variâncias genéticas entre progênies S1 foram superiores as estimativas das variâncias entre progênies de meios irmãos com exceção da característica peso de espigas despalhadas na população 01 e da característica altura da espiga na população 02. As estimativas da herdabilidade e dos coeficientes de variação genética foram inferiores aos resultados descritos na literatura para a característica porcentagem de óleo nos grãos para as duas populações utilizadas. A população 01 apresentou estimativa da herdabilidade para peso de espigas despalhadas considerada alta 76,76%, enquanto que esta estimativa na população 02, foi considerada baixa 15,76%. Os coeficientes de correlação genética aditiva entre as características peso de espigas e porcentagem de óleo foram de -0,37 e 0,12 para as populações 01 e 02, respectivamente. Concluiu-se que a seleção efetuada na população 02, para aumento do tamanho do embrião, foi efetiva para elevar a porcentagem média de óleo e também para quebrar a correlação genética negativa entre as características de peso de espiga e teor de óleo, porém restringiu drasticamente a variavilidade para essa característica.

Construção de conceitos de física moderna e sobre a natureza da ciência com o suporte da hipermídia

Apresentam-se os resultados de uma pesquisa sobre a construção de conceitos de Física Moderna e sobre a natureza da Ciência com o apoio da hipermídia, que envolveu a produção e avaliação de um software educacional. A proposta didática fundamentou-se na Teoria da Aprendizagem de Ausubel, em orientações para a implementação de sistemas hipermídia educacionais e em abordagens derivadas da pesquisa em Ensino de Ciências, dentre as quais o enfoque Ciência-Tecnologia-Sociedade, ponderações quanto à importância pedagógica da História e Filosofia da Ciência e considerações sobre a inserção de Física Moderna no Ensino Médio. O programa foi avaliado por pesquisadores de Ensino de Física e licenciandos de Física e, após a incorporação de algumas sugestões realizadas, foi testado por estudantes do terceiro ano do Ensino Médio de uma escola pública. Obtiveram-se indícios de que o uso do computador foi fator de motivação dos estudantes; a diversidade de elementos de mídia auxiliou-os a fixar a atenção sobre o conteúdo e favoreceu a visualização e interpretação dos fenômenos, facilitando ainda o raciocínio; o hipertexto estruturado em conformidade com princípios ausubelianos contribuiu para a percepção da relação entre os conceitos e ajudou no desenvolvimento de subsunçores para apoiar a aprendizagem subseqüente. Constatou-se que a proposta didática avaliada favoreceu a evolução das concepções da maior parte dos estudantes quanto ao conceito de equivalência massa-energia e suas implicações; às relações entre Ciência, Tecnologia e Sociedade, incluindo aspectos ambientais e políticos; ao papel da Ética no desenvolvimento e aplicação dos conhecimentos científicos; ao progresso da Ciência ao longo do tempo.

Morfoanatomia do sistema subterrâneo de Smallanthus sonchifolius (Poepp. & Endl.) H. Robinson (Asteraceae)

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

Influência de películas de fécula de mandioca na qualidade pós-colheita de frutos de pimentão (Capsicum annuum L.)

A proposta em estudo é o uso de películas comestíveis, derivadas de fécula de mandioca na manutenção da qualidade de frutos de pimentão após a sua colheita. Frutos de pimentão (Capsicum annuum L.) receberam tratamento com películas de amido, com a finalidade de avaliar a sua eficiência como barreira à perda de água, bem como sua influência nas propriedades físicas e químicas dos mesmos. Os frutos foram mergulhados por um minuto em suspensões a 1, 3 e 5% de fécula, secos naturalmente ao ar e armazenados em condições ambientais, onde a temperatura e umidade relativa médias do período variaram de 26,0-29,0° C e 59,5-71,5%, respectivamente. O delineamento experimental foi inteiramente casualizado em esquema fatorial com 16 tratamentos, 3 repetições e 2 frutos por parcela. As análises de controle (porcentagem de perda de peso, textura, pH e teor de sólidos solúveis), foram feitas a cada três dias por um período de 12 dias. As películas a 3 e 5% mantiveram os frutos firmes. Os tratamentos não influenciaram significativamente na perda de peso, pH e no teor de sólidos solúveis.

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.