Em meados dos anos 90, alguns pesquisadores constataram a existência de certos interesses que, independente da técnica de programação utilizada ou da maneira como o sistema venha a ser decomposto, não se encaixam em módulos individuais, mas ficam espalhados por várias unidades do software (também chamados de interesses transversais). A programação orientada a aspectos (POA) foi concebida como uma proposta de resolução desse problema, a partir do uso de mecanismos que permitem o isolamento dos interesses transversais. Entretanto, por ser uma técnica nova, nesses primeiros anos os pesquisadores preocuparam-se em estabelecer os conceitos e técnicas básicos das linguagens orientadas a aspectos, deixando para uma segunda fase a investigação de outras características do desenvolvimento de programas orientados a aspectos, como métodos de projeto e abordagens de teste. Nesta dissertação é apresentada uma abordagem de teste estrutural para programas orientados a aspectos baseados na linguagem AspectJ, que pode contribuir para o aumento da confiança no software desenvolvido utilizando essa técnica e auxiliar o entendimento das novas construções e comportamentos envolvidos nesses programas. Modelos de fluxo de controle e de dados baseados no código-objeto resultante da compilação/ combinação de programas escritos na linguagem AspectJ são propostos, bem como nove critérios de teste baseados nesses modelos. Uma ferramenta desenvolvida para apoiar o teste estrutural de unidade de programas Java foi estendida para dar apoio aos modelos e critérios propostos nesta dissertação. Além disso, algumas propriedades do teste de integração de programas orientados a aspectos são discutidas teoricamente.

Compte tenu de la complexité des circuits intégrés de nos jours et des nœuds technologiques qui ne cessent pas de diminuer, être au rendez-vous avec les demandes de design, test et fabrication des dispositifs de haute qualité est devenu un des plus grands défis. Avoir des circuits intégrés de plus en plus performants devrait être atteint tout en respectant les contraintes de basse consommation, de niveaux de fiabilité demandés, de taux de défauts acceptables ainsi que du bas coût. Avec ce fascinant progrès de l’industrie des semi-conducteurs, les processus de fabrication sont devenus de plus en plus difficile à contrôler, ce qui rend les puces électroniques de nos jours plus disposés aux défauts physiques. Le test était et restera l’unique solution pour lutter contre l’occurrence des défauts de fabrication ; même il est devenu un facteur prédominant dans le coût totale de fabrication des circuits intégrés. Même si des solutions de test, qui existent déjà, étaient capables de satisfaire ce fameux compromis coût-qualité ces dernières années, il arrive d’observer encore des mécanismes de défauts malheureusement incontrôlables. Certains sont intrinsèquement reliés au processus de fabrication en lui-même. D’autres reviennent sans doute aux pratiques de test et surtout quand on analyse le taux de défauts détectés et le niveau de fiabilité atteint.L’objectif principal de cette thèse est d’implémenter des stratégies de test robustes et efficaces qui répondent aux lacunes des techniques de tests classiques et qui proposent des modèles de fautes plus réalistes et répondent au mieux aux attentes des fournisseurs. Dans l’objectif d’améliorer l’efficacité de test en termes de coût, capacité de couverture de faute, nous présentons divers contributions significatives qui touchent différents domaines entre-autres le test sur le terrain, les tests à hautes fréquences sous contraintes de puissance et finalement le test des chaines de scan.La partie majeure de cette thèse était consacrée pour le développement de nouvelles techniques de tests fonctionnels ciblant les systèmes à processeurs.Les méthodologies appliquées couvrent les problèmes de test sur terrain aussi bien que les problèmes de test de fabrication. Dans le premier cas, la techniques adoptée consiste à fusionner et compacter un ensemble initial de programmes fonctionnels afin d’atteindre une couverture de faute satisfaisante tout en respectant les contraintes du test sur terrain (temps de test réduit et ressource mémoire limitée). Cependant dans le deuxième cas, comme nous avons assez d’informations sur la structure du design, nous proposons un nouveau protocole de test qui va exploiter l’architecture de test existante. Dans ce contexte, nous avons validé et confirmé la relation complémentaire qui joint le test fonctionnel avec le test structurel. D’autres part, cette prometteuse approche assure un test qui respecte les limites de la consommation fonctionnelle et donc une fiabilité meilleure.La dernière contribution de cette thèse accorde toute l’attention à l’amélioration de test de la structure DFT « Design For Test » la plus utilisée qui est la chaîne de scan. Nous présentons dans cette contribution une approche de test qui cible les défauts physiques au sein de la cellule en elle-même.Cette approche représente une couverture de défauts meilleure et une longueur de test plus réduit si nous la comparons avec l’ATPG classique ciblant les mêmes défauts « Intra-cell defect ATPG ».Comme résultat majeur de cette efficace solution de test, nous avons observé une amélioration de 7.22% de couverture de défaut accompagné d’une réduction de 33.5% du temps de test en comparaison avec la couverture et le temps du test atteints par le « Cell-awer ATPG ». / In light of the aggressive scaling and increasing complexity of digital circuits, meeting the demands for designing, testing and fabricating high quality devices is extremely challenging.Higher performance of integrated circuits needs to be achieved while respecting the constraints of low power consumption, required reliability levels, acceptable defect rates and low cost. With these advances in the SC industry, the manufacturing process are becoming more and more difficult to control, making chips more prone to defects.Test was and still is the unique solution to cover manufacturing defects; it is becoming a dominant factor in overall manufacturing cost.Even if existing test solutions were able to satisfy the cost-reliability trade-off in the last decade, there are still uncontrolled failure mechanisms. Some of them are intrinsically related to the manufacturing process and some others belong to the test practices especially when we consider the amount of detected defects and achieved reliability.The main goal of this thesis is to implement robust and effective test strategies to complement the existing test techniques and cope with the issues of test practices and fault models. With the objective to further improve the test efficiency in terms of cost and fault coverage capability, we present significant contributions in the diverse areas of in-field test, power-aware at-speed test and finally scan-chain testing.A big part of this thesis was devoted to develop new functional test techniques for processor-based systems. The applied methodologies cover both in-field and end-of manufacturing test issues. In the farmer, the implemented test technique is based on merging and compacting an initial functional program set in order to achieve higher fault coverage while reducing the test time and the memory occupation. However in the latter, since we already have the structure information of the design, we propose to develop a new test scheme by exploiting the existing scan chain. In this case we validate the complementary relationship between functional and structural testing while avoiding over as well under-testing issues.The last contribution of this thesis deals with the test improvement of the most used DFT structure that is the scan chain. We present in this contribution an intra-cell aware testing approach showing higher intra-cell defect coverage and lower test length when compared to conventional cell-aware ATPG. As major results of this effective test solution, we show that an intra-cell defect coverage increase of up to 7.22% and test time decrease of up to 33.5 % can be achieved in comparison with cell-aware ATPG.

Paradigmas e técnicas de desenvolvimento como a programação Orientada a Objetos (OO) e a programação Orientada a Aspectos (OA) procuram melhorar os níveis de reuso e manutenibilidade na produção de software. Contudo, com a introdução de mecanismos com maior poder de expressividade e, consequentemente, a possível introdução de novos tipos de defeitos, a utilização de linguagens OO e OA pode se tornar um obstáculo ao invés de um auxílio ao desenvolvimento de software. Para lidar com esse problema, nesta dissertação é proposta uma abordagem de teste estrutural de integração para programas orientados a objetos e a aspectos implementados em Java e AspectJ. É definido um modelo de fluxo de controle e de dados baseado no bytecode Java { chamado Grafo Def-Uso Contextual (ou Contextual Def-Use graph) - que é uma abstração formada pela integração dos grafos Def-Uso Orientados a Aspectos (AODU) da unidade sob teste com todas as unidades que interagem direta ou indiretamente com ela até um nível de profundidade de interação máximo ou definido pelo testador. São defiidos três critérios de teste: todos-nós-integrados-Nd, todas-arestas-integradas-Nd e todos-usos-integrados-Nd. Para automatizar o uso do modelo e critérios propostos, a ferramenta JaBUTi/AJ foi estendida. Exemplos de usos são discutidos e, por meio de um estudo experimental, uma análise de aplicabilidade da abordagem proposta é apresentada / Development paradigms and techniques such as Object-Oriented (OO) programming and Aspect-Oriented (AO) programming aim at improving reuse levels and maintenability in the software production. However, due to the introduction of mechanisms to support a greater power of expressiveness and, consequently, possible introduction of new type of faults, the use of OO and AO languages might become an obstacle instead of a benefit in the software development. To deal with these problems, in this dissertation is presented an integration structural testing approach for objectand aspect-oriented software based on Java and AspectJ. It is defined a control- and data- ow model based on Java bytecode { called Contextual Def-Use graph { that is an abstraction composed by the integration of Aspect-Oriented Def-Use graphs (AODU) of the unit under testing with the units triggered by the execution of the unit under testing considering either a maximum interaction depth level or an interaction depth level previously defined by the tester. Three testing criteria are also defined: all-integrated-nodes-Nd, all-integrated-edges-Nd and all-integrated-uses-Nd. To automate the use of the model and the testing criteria, the JaBUTi/AJ tool was extended. Usage examples are discussed to explain the approach and an exploratory study is conducted to evaluate the applicability of the proposed approach

This work presents methodologies for the integration of field testing and Structural Health Monitoring SHM in the assessment of reinforced concrete bridges. The methodologies are demonstrated through the use of data collected during the testing of reinforced concrete railway bridges and long-term monitoring of a highway bridge. A probabilistic life-cycle prediction model based on sectional analysis is proposed for reinforced concrete structures. The updating of the model parameters is done using a Bayesian updating approach in which the problem is defined as a reliability one. An algorithm that uses subset simulation is used to sample points from the updated parameter distributions. Testing data from a reinforced concrete railway bridge is used to demonstrate the methodology and its results. The description of a SHM system that was installed in the Jaguari River Bridge is also presented. During the stages of preparation for the installation of this system the bridge was inspected, had NDT performed, and field testing was conducted using a test truck. The results of these tests are also presented. Analysis of the collected data from the live-load response of the Jaguari River Bridge is used to demonstrate methodologies for obtaining live-load response distributions from monitoring data. The use of this live-load response data is also used for the life-cycle analysis of one of the bridge\'s cross-sections. / Este trabalho apresenta metodologias de integração de ensaios estruturais e Structural Health Monitoring (SHM) para a avaliação de pontes de concreto armado. O SHM diz respeito a um conjunto de praticas com o objetivo de acompanhar o comportamento estrutural através de sensores com o objetivo de acompanhar o comportamento da estrutura e determinar ações de manutenção de maneira proativa. As metodologias são apresentadas através do uso de dados coletados durante ensaios de pontes ferroviárias em concreto armado e do monitoramento continuo de uma ponte rodoviária. Um modelo para o ciclo de vida de estruturas de concreto armado baseado no método das lamelas é proposto. Os parâmetros deste modelo, que são considerados de maneira probabilística, são atualizados através de um método Bayesiano. Dados de ensaios de uma ponte ferroviária são utilizados nesta analise. A descrição de um sistema de monitoramento contínuo instalado na Ponte do Rio Jaguari também é feita. Durante as etapas de desenvolvimento do sistema a ponte foi inspecionada, ensaios não destrutivos foram feitos e ensaios com um veículo teste foram conduzidos. Os resultados e analises destes também são apresentados. Os dados coletados por este sistema foram utilizados para demonstrar metodologias de caracterização dos modelos de resposta devido a cargas moveis. A utilização destes modelos na avaliação de confiabilidade ao longo do tempo de uma das seções da ponte também é apresentada.

O teste de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas. Uma das técnicas mais utilizadas para testar a comunicação e sincronização de programas concorrentes é a geração automática de diferentes pares de sincronização ou, em outras palavras, a geração de variantes de disputa (race variant). Nesta técnica as variantes de disputa são geradas a partir de arquivos de rastro de uma execução não-determinística e algoritmos de execução determinística são utilizados para forçar que diferentes sincronizações sejam cobertas. Este trabalho aborda de maneira abrangente este problema, cujo objetivo principal é reduzir o tempo de resposta da atividade de teste estrutural de programas concorrentes quando diferentes variantes de disputa são executadas. Há três principais contribuições neste trabalho: (1) geração de arquivos de rastro e execução determinística total/parcial, (2) geração automática de variantes e (3) paralelização da execução das variantes. Diferentemente de outros trabalhos disponíveis na literatura, os algoritmos propostos consideram programas concorrentes que interagem simultaneamente com passagem de mensagens e memória compartilhada. Foram consideradas seis primitivas com semânticas distintas: ponto-a-ponto bloqueante/não bloqueante, coletivas um-para-todos/todos-para-um/todos-para-todos e semáforos. Os algoritmos foram desenvolvidos no nível de aplicação em Java, são ortogonais à linguagem de programação utilizada e não requerem privilégios de sistema para serem executados. Estas três contribuições são descritas, detalhando seus algoritmos. Também são apresentados os resultados obtidos com os experimentos feitos durante as fases de validação e avaliação de cada contribuição. Os resultados demonstram que os objetivos propostos foram atingidos com sucesso para cada contribuição e, do ponto de vista do testador, o tempo de resposta da atividade de teste estrutural de programas concorrentes foi reduzido enquanto a cobertura de programas concorrentes com ambos os paradigmas aumentou com procedimentos automatizados e transparentes. Os experimentos mostram speedups próximos ao linear, quando comparadas as versões sequencial e paralela dos algoritmos. / The testing of concurrent programs is an expensive task, mainly because it needs to test a high number of synchronization sequences, in order to validate such programs. One of the most used techniques to test communication and synchronization of concurrent programs is the automatic generation of different synchronizations pairs (or generation of race variants). Race variants are generated from the trace files of a nondeterministic execution, and the deterministic executions force the coverage of different synchronizations. This work approaches this problem in a more general way. It reduces the response time of the structural testing of concurrent programs when different variants are required. There are three main contributions in this work: the generation of trace files and the total or partial deterministic execution, the automatic generation of race variants and the parallelization of execution of race variants. The proposed algorithms take into account concurrent programs that interact simultaneously with message passing and shared memory, including six primitives with distinct semantics: blocking and non-blocking point-to-point, all-to-all/one-to-all/all-toone collectives and shared memory. The algorithms have been implemented in Java in the application level, they are language independent and do not need system privileges to execute. Results obtained during the validation and evaluation phase are also presented and they show that the proposed objectives are reached with success. From the tester viewpoint, the response time of structural testing of concurrent programs was reduced, while the coverage of the concurrent programs with both paradigms increased with automatic and transparent procedures. The experiments showed speedups close to linear, when comparing the sequential and parallel versions.

Cold rolled carbon steel 1018C is widely used in pressurized fuel pipelines. For those structures, stress corrosion cracking (SCC) can pose a significant problem because cracks initiate late in the lifetime and often unexpectedly, but grow fast once they get started. To ensure a safe operation, it is crucial that any damage can be detected before the structural stability is reduced by large cracks. In the early stages of SCC, microstructural changes occur which increase the acoustic nonlinearity of the material. Therefore, an initially monochromatic Rayleigh wave is distorted and measurable higher harmonics are generated. Different levels of stress corrosion cracking is induced in five specimens. For each specimen, nonlinear ultrasonic measurements are performed before and after inducing the damage. For the measurements, oil coupled wedge transducers are used to generate and detect tone burst Rayleigh wave signals. The amplitudes of the received fundamental and second harmonic waves are measured at varying propagation distances to obtain a measure for the acoustic nonlinearity of the material. The results show a damage-dependent increase in nonlinearity for early stages of damage, indicating the suitability for this nonlinear ultrasonic method to detect stress corrosion cracking before structural failure.

Vulnerability of buildings to disproportionate (or progressive) collapse has become an increasingly important performance issue following the collapses of the Alfred P. Murrah Federal Building in Oklahoma City in 1995 and the World Trade Center in 2001. Although considerable research has been conducted on this topic, there are still numerous unresolved research issues. This dissertation is aimed at developing structural models and analysis procedures for robustness assessment of steel building structures typical of construction practices in the United States, and assessing the performance of these typical structures. Beam-column connections are usually the most vulnerable elements in steel buildings structures suffering local damage. Models of three typical frame connections for use in robustness assessment have been developed with different techniques, depending on the experimental data available to support such models. A probabilistic model of a pre-Northridge moment-resisting connection was developed through finite element simulations, in which the uncertainties in the initial flaw size, beam yield strength and fracture toughness of the weld were considered. A macro-model for a bolted T-stub connections was developed by considering the behavior of each connection element individually (i.e. T-stub, shear tab and panel zone) and assembling the elements to form a complete connection model, which was subsequently calibrated to experimental data. For modeling riveted connections in older steel buildings that might be candidates for rehabilitation, a new method was proposed to take advantage of available experimental data from tests of earthquake-resistant connections and to take into account the effects of the unequal compressive and tensile stiffnesses of top and bottom parts in a connection and catenary action. These connection models were integrated into nonlinear finite element models of structural systems to allow the effect of catenary and other large-deformation action on the behavior of the frames and their connections following initial local structural damage to be assessed. The performance of pre-Northridge moment-resisting frames was assessed with both mean-centered deterministic and probabilistic assessment procedures; the significance of uncertainties in collapse assessment was examined by comparing the results from both procedures. A deterministic assessment of frames with full and partial-strength bolted T-stub connections was conducted considering three typical beam spans in both directions. The vulnerability of an older steel building with riveted connections was also analyzed deterministically. The contributions from unreinforced masonry infill panels and reinforced concrete slabs on the behavior of the building were investigated. To meet the need for a relatively simple procedure for preliminary vulnerability assessment, an energy-based nonlinear static pushdown analysis procedure was developed. This procedure provides an alternative method of static analysis of disproportionate collapse vulnerability that can be used as an assessment tool for regular building frames subjected to local damage. Through modal analysis, dominant vibration modes of a damaged frame were first identified. The structure was divided into two parts, each of which had different vibration characteristics and was modeled by a single degree-of-freedom (SDOF) system separately. The predictions were found to be sufficiently close to the results of a nonlinear dynamic time history analysis (NTHA) that the method would be useful for collapse-resistant design of buildings with regular steel framing systems.

Current research on thermal effects on guideways has addressed many aspects of the behavior of guideways using two-dimensional models. The two-dimensional models are acceptable for existing guideway designs, in which cross sectional shapes are uniform along the length of the guideway. However, three-dimensional models are necessary for a modular design, in which the track structures that interact with Maglev vehicles are made separately and are assembled into the support structure, and in which the cross sectional shapes are not uniform. A three-dimensional numerical model of the thermal environment, in which the effect of partial shading is taken into account, is implemented for the study of guideway behavior under various thermal environments. The numerical model of the thermal environment is calibrated to the experimental results under the thermal environment at Austin, Texas, and is extrapolated to predict the behaviors of guideways under the thermal environment in Las Vegas, Nevada, which is one of the candidate sites for the implementation and deployment of the high speed Maglev transportation system. This study addresses the suitability of a modular steel guideway design under such a thermal environment. Characteristics of the behavior of guideways under various thermal environments are identified, and the behavior of guideways under the effect of partial shading is summarized. / text

This work presents methodologies for the integration of field testing and Structural Health Monitoring SHM in the assessment of reinforced concrete bridges. The methodologies are demonstrated through the use of data collected during the testing of reinforced concrete railway bridges and long-term monitoring of a highway bridge. A probabilistic life-cycle prediction model based on sectional analysis is proposed for reinforced concrete structures. The updating of the model parameters is done using a Bayesian updating approach in which the problem is defined as a reliability one. An algorithm that uses subset simulation is used to sample points from the updated parameter distributions. Testing data from a reinforced concrete railway bridge is used to demonstrate the methodology and its results. The description of a SHM system that was installed in the Jaguari River Bridge is also presented. During the stages of preparation for the installation of this system the bridge was inspected, had NDT performed, and field testing was conducted using a test truck. The results of these tests are also presented. Analysis of the collected data from the live-load response of the Jaguari River Bridge is used to demonstrate methodologies for obtaining live-load response distributions from monitoring data. The use of this live-load response data is also used for the life-cycle analysis of one of the bridge\'s cross-sections. / Este trabalho apresenta metodologias de integração de ensaios estruturais e Structural Health Monitoring (SHM) para a avaliação de pontes de concreto armado. O SHM diz respeito a um conjunto de praticas com o objetivo de acompanhar o comportamento estrutural através de sensores com o objetivo de acompanhar o comportamento da estrutura e determinar ações de manutenção de maneira proativa. As metodologias são apresentadas através do uso de dados coletados durante ensaios de pontes ferroviárias em concreto armado e do monitoramento continuo de uma ponte rodoviária. Um modelo para o ciclo de vida de estruturas de concreto armado baseado no método das lamelas é proposto. Os parâmetros deste modelo, que são considerados de maneira probabilística, são atualizados através de um método Bayesiano. Dados de ensaios de uma ponte ferroviária são utilizados nesta analise. A descrição de um sistema de monitoramento contínuo instalado na Ponte do Rio Jaguari também é feita. Durante as etapas de desenvolvimento do sistema a ponte foi inspecionada, ensaios não destrutivos foram feitos e ensaios com um veículo teste foram conduzidos. Os resultados e analises destes também são apresentados. Os dados coletados por este sistema foram utilizados para demonstrar metodologias de caracterização dos modelos de resposta devido a cargas moveis. A utilização destes modelos na avaliação de confiabilidade ao longo do tempo de uma das seções da ponte também é apresentada.

The research was focused on the three major structural elements of a typical cold-formed steel building - shear wall, floor joist, and column. Part 1 of the thesis explored wider options in the steel sheet sheathing for shear walls. An experimental research was conducted on 0.030 in and 0.033 in. (2:1 and 4:1 aspect ratios) and 0.027 in. (2:1 aspect ratio) steel sheet shear walls and the results provided nominal shear strengths for the American Iron and Steel Institute Lateral Design Standard. Part 2 of this thesis optimized the web hole profile for a new generation C-joist, and the web crippling strength was analyzed by finite element analysis. The results indicated an average 43% increase of web crippling strength for the new C-joist compared to the normal C-joist without web hole. To improve the structural efficiency of a cold-formed steel column, a new generation sigma (NGS) shaped column section was developed in Part 3 of this thesis. The geometry of NGS was optimized by the elastic and inelastic analysis using finite strip and finite element analysis. The results showed an average increment in axial compression strength for a single NGS section over a C-section was 117% for a 2 ft. long section and 135% for an 8 ft. long section; and for a double NGS section over a C-section was 75% for a 2 ft. long section and 103% for an 8 ft. long section.