Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization

Test case prioritization techniques schedule test cases for regression testing in an order that increases their ability to meet some performance goal. One performance goal, rate offault detection, measures how quickly faults are detected within the testing process. In previous work we provided a metric, APFD, for measuring rate of fault detection, and techniques for prioritizing test cases to improve APFD, and reported the results of experiments using those techniques. This metric and these techniques, however, applied only in cases in which test costs and fault severity are uniform. In this paper, we present a new metric for assessing the rate of fault detection of prioritized test cases, that incorporates varying test case and fault costs. We present the results of a case study illustrating the application of the metric. This study raises several practical questions that might arise in applying test case prioritization; we discuss how practitioners could go about answering these questions.

Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets

Spreadsheets are widely used but often contain faults. Thus, in prior work we presented a data-flow testing methodology for use with spreadsheets, which studies have shown can be used cost-effectively by end-user programmers. To date, however, the methodology has been investigated across a limited set of spreadsheet language features. Commercial spreadsheet environments are multiparadigm languages, utilizing features not accommodated by our prior approaches. In addition, most spreadsheets contain large numbers of replicated formulas that severely limit the efficiency of data-flow testing approaches. We show how to handle these two issues with a new data-flow adequacy criterion and automated detection of areas of replicated formulas, and report results of a controlled experiment investigating the feasibility of our approach.

Moving Under, Around, and Through the Miocene Reconstruction of Southern California

Modern southern California is fragmented by faults that juxtapose blocks with contrasting topographies and differing geologic histories. Many of the tectonic events that have shaped southern California were initiated during the Miocene, as subduction along the ancient trench margin off southern California was replaced by transform (strikeslip) faulting, such as that along the San Andreas fault.

Currículo, Infância e Educação Corporal: Fundamentos na perspectiva histórico-cultural e orientações no campo da interdisciplinaridade

Pós-graduação em Docência para a Educação Básica - FC

Estudo comparativo da proteção da rede secundária de uma distribuidora de energia elétrica utilizando chave fusível e seccionalizador monofásico

The objective of this work is to conduct a comparative study between the fuse key and the single-phase seccionalizador, which are protective equipment used in an electricity distribution networks. This study has also the purpose to reduce the number of electrical power breakdown. Distribution networks are not free from faults, disturbances and failures, then the occurrence of adversities on the network, which may be transient or permanent faults, results in the interruption of electric power. Thus, there are protective systems of distribution networks, which aims to ensure that the electric system continues to function. The incidence of transient faults in the distribution network of this electricity company was used to generate immediate shutdown of customers due to the bad use of fuses as protective equipment by the reclosers. With the use of the fuse switch in the distribution network, there was the immediate shutdown of customers, however, using the single-phase seccionalizador as protective equipment by the reclosers, there are three attempts to restart the electricity power. As the attempts to restart the electricity power are able to eliminate a transient fault, not causing shutdown of any costumer, with the implementation of single-phase sectionalizers to replace the fuses, the number of company shutdowns due to transient faults was reduced by 47.6%

Efeito do filme de carbono DLC aplicado por plasma como recobrimento em Polietileno de Ultra Densidade e Alto Peso Molecular (UHWPE) e planejamento virtual utilizando a técnica de elementos finitos em cirúrgias de próteses totais da ATM

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

The Oligocene-Neogene deep-sea Columbia Channel system in the South Brazilian Basin: Seismic stratigraphy and environmental changes

The Columbia Channel (CCS) system is a depositional system located in the South Brazilian Basin, south of the Vitoria-Trindade volcanic chain. It lies in a WNW-ESE direction on the continental rise and abyssal plain, at a depth of between 4200 and 5200 m. It is formed by two depocenters elongated respectively south and north of the channel that show different sediment patterns. The area is swept by a deep western boundary current formed by AABW. The system has been previously interpreted has a mixed turbidite-contourite system. More detailed study of seismic data permits a more precise definition of the modern channel morphology, the system stratigraphy as well as the sedimentary processes and control. The modern CCS presents active erosion and/or transport along the channel. The ancient Oligo-Neogene system overlies a ""upper Cretaceous-Paleogene"" sedimentary substratum (Unit U1) bounded at the top by a major erosive ""late Eocene-early Oligocene"" discordance (D2). This ancient system is subdivided into 2 seismic units (U2 and U3). The thick basal U2 unit constitutes the larger part of the system. It consists of three subunits bounded by unconformities: D3 (""Oligocene-Miocene boundary""), D4 (""late Miocene"") and D5 (""late Pliocene""). The subunits have a fairly tabular geometry in the shallow NW depocenter associated with predominant turbidite deposits. They present a mounded shape in the deep NE depocenter, and are interpreted as forming a contourite drift. South of the channel, the deposits are interpreted as a contourite sheet drift. The surficial U3 unit forms a thin carpet of deposits. The beginning of the channel occurs at the end of U1 and during the formation of D2. Its location seems to have been determined by active faults. The channel has been active throughout the late Oligocene and Neogene and its depth increased continuously as a consequence of erosion of the channel floor and deposit aggradation along its margins. Such a mixed turbidite-contourite system (or fan drift) is characterized by frequent, rapid lateral facies variations and by unconformities that cross the whole system and are associated with increased AABW circulation. (C) 2009 Elsevier B.V. All rights reserved.

Ordovician klippen structures of the Sierra de Umango: New insights on Tectonic evolution of the Western Sierras Pampeanas, Argentina

The basement rock of the Pampean flat-slab (Sierras Pampeanas) in the Central Andes was uplifted and rotated in the Cenozoic era. The Western Sierras Pampeanas are characterised by meta-igneous rocks of Grenvillian Mesoproterozoic age and metasedimentary units metamorphosed in the Ordovician period. These rocks, known as the northern Cuyania composite terrane, were derived from Laurentia and accreted toward Western Gondwana during the Early Paleozoic. The Sierra de Umango is the westernmost range of the Western Sierras Pampeanas.This range is bounded by the Devonian sedimentary rocks of the Precordillera on the western side and Tertiary rocks from the Sierra de Maz and Sierra del Espinal on the eastern side and contains igneous and sedimentary rocks outcroppings from the Famatina System on the far eastern side. The Sierra de Umango evolved during a period of polyphase tectonic activity, including an Ordovician collisional event, a Devonian compressional deformation, Late Paleozoic and Mesozoic extensional faulting and sedimentation (Paganzo and Ischigualasto basins) and compressional deformation of the Andean foreland during the Cenozoic. A Nappe System and an important shear zone, La Puntilla-La Falda Shear Zone (PFSZ), characterise the Ordovician collisional event, which was related to the accretion of Cuyania Terrane to the proto-Andean margin of Gondwana. Three continuous deformational phases are recognised for this event: the D1 phase is distinguished by relics of 51 preserved as internal foliation within interkinematic staurolite por-phyroblasts and likely represents the progressive metamorphic stage; the D2 phase exhibits P-T conditions close to the metamorphic peak that were recorded in an 52 transposition or a mylonitic foliation and determine the main structure of Umango; and the D3 phase is described as a set of tight to recumbent folds with S3 axial plane foliation, often related to thrust faults, indicating the retrogressive metamorphic stage. The Nappe System shows a top-to-the S/SW sense direction of movement, and the PFSZ served as a right lateral ramp in the exhumation process. This structural pattern is indicative of an oblique collision, with the Cuyania Terrane subducting under the proto-Andean margin of Gondwana in the NE direction. This continental subduction and exhumation lasted at least 30 million years, nearly the entire Ordovician period, and produced metamorphic conditions of upper amphibolite-to-granulite facies in medium- to high-pressure regimes. At least two later events deformed the earlier structures: D4 and D5 deformational phases. The D4 deformational phase corresponds to upright folding, with wavelengths of approximately 10 km and a general N-S orientation. These folds modified the S2 surface in an approximately cylindrical manner and are associated with exposed, discrete shear zones in the Silurian Guandacolinos Granite. The cylindrical pattern and subhorizontal axis of the D4 folds indicates that the S2 surface was originally flat-lying. The D4 folds are responsible for preserving the basement unit Juchi Orthogneiss synformal klippen. This deformation corresponds to the Chanica Tectonic during the interval between the Devonian and Carboniferous periods. The D5 deformational phase comprehends cuspate-lobate shaped open plunging folds with E W high-angle axes (D5 folds) and sub-vertical spaced cleavage. The D5 folds and related spaced cleavage deformed the previous structures and could be associated with uplifting during the Andean Cycle. (C) 2012 Elsevier Ltd. All rights reserved.

Neotectonics in the northern equatorial Brazilian margin

An increasing volume of publications has addressed the role of tectonics in inland areas of northern Brazil during the Neogene and Quaternary, despite its location in a passive margin. Hence, northern South America plate in this time interval might have not been as passive as usually regarded. This proposal needs further support, particularly including field data. In this work, we applied an integrated approach to reveal tectonic structures in Miocene and late Quaternary strata in a coastal area of the Amazonas lowland. The investigation, undertaken in Marajo Island, mouth of the Amazonas River, consisted of shallow sub-surface geophysical data including vertical electric sounding and ground penetrating radar. These methods were combined with morphostructural analysis and sedimentological/stratigraphic data from shallow cores and a few outcrops. The results revealed two stratigraphic units, a lower one with Miocene age, and an upper one of Late Pleistocene-Holocene age. An abundance of faults and folds were recorded in the Miocene deposits and, to a minor extent, in overlying Late Pleistocene-Holocene strata. In addition to characterize these structures, we discuss their origin, considering three potential mechanisms: Andean tectonics, gravity tectonics related to sediment loading in the Amazon Fan, and rifting at the continental margin. Amongst these hypotheses, the most likely is that the faults and folds recorded in Marajo Island reflect tectonics associated with the history of continental rifting that gave rise to the South Atlantic Ocean. This study supports sediment deposition influenced by transpression and transtension associated with strike-slip divergence along the northern Equatorial Brazilian margin in the Miocene and Late Pleistocene-Holocene. This work records tectonic evidence only for the uppermost few ten of meters of this sedimentary succession. However, available geological data indicate a thickness of up to 6 km, which is remarkably thick for an area regarded as a passive margin. (C) 2012 Elsevier Ltd. All rights reserved.

Modeling of active holonic control systems for intelligent buildings

Building facilities have become important infrastructures for modern productive plants dedicated to services. In this context, the control systems of intelligent buildings have evolved while their reliability has evidently improved. However, the occurrence of faults is inevitable in systems conceived, constructed and operated by humans. Thus, a practical alternative approach is found to be very useful to reduce the consequences of faults. Yet, only few publications address intelligent building modeling processes that take into consideration the occurrence of faults and how to manage their consequences. In the light of the foregoing, a procedure is proposed for the modeling of intelligent building control systems, considersing their functional specifications in normal operation and in the of the event of faults. The proposed procedure adopts the concepts of discrete event systems and holons, and explores Petri nets and their extensions so as to represent the structure and operation of control systems for intelligent buildings under normal and abnormal situations. (C) 2012 Elsevier B.V. All rights reserved.

Evaluating links through spectral decomposition

Spectral decomposition has rarely been used to investigate complex networks. In this work we apply this concept in order to define two kinds of link-directed attacks while quantifying their respective effects on the topology. Several other kinds of more traditional attacks are also adopted and compared. These attacks had substantially diverse effects, depending on each specific network (models and real-world structures). It is also shown that the spectrally based attacks have special effects in affecting the transitivity of the networks.

On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

U-Pb zircon ages of orthogneisses and supracrustal rocks of the Cariris Velhos belt: Onset of Neoproterozoic rifting in the Borborema Province, NE Brazil

New geochronological and geochemical constraints on Precambrian sedimentary and volcanic successions exposed in the western part of the Central Domain of the Borborema Province, NE Brazil, indicate the presence of two distinct tectono-stratigraphic complexes: Riacho Gravata and Sao Caetano. Both complexes and associated orthogneisses are referred in the literature as the Cariris Velhos belt, having depositional, extrusive, or intrusive ages within the interval 985-913 Ma. The Riacho Gravata complex consists of bimodal (but mostly felsic) volcanic and volcanoclastic rocks, muscovite+/-graphite schists, quartzites, and marble with local occurrences of banded-iron-formation. The Sao Caetano complex mainly consists of metagreywackes, marbles, calc-silicate rocks, and rare meta-mafic rocks. Meta-mafic rocks from both complexes have geochemical signatures similar to those of continental flood basalts, with epsilon Nd (1.0 Ga) values ranging from -1.0 to -2.8. Felsic volcanic rocks from the Riacho Gravata complex show epsilon Nd (1.0 Ga) values ranging from -1.0 to -7.4 and geochemical signatures similar to A(2)-type granitoids. New SHRIMP U-Pb zircon data from felsic volcanic rocks within the Riacho Gravata complex yielded ages of 1091 +/- 13 Ma and 996 +/- 13 Ma. In contrast, meta-graywackes from the Sao Caetano complex show a maximum deposition age of ca. 806 Ma in the northern part and ca. 862 Ma in the southern part of the outcrop area. The orthogneisses show epsilon Nd (1.0 Ga) values ranging from 1.0 to -4.2 with U/Pb TIMS and SHRIMP ages ranging from 960 to 926 Ma and geochemical signatures of A(2)-type granitoids. The data reported in this paper suggest at least two periods of extension within the Central Domain of the Borborema Province, the first starts ca. 1091 Ma with magmatism and deposition, creating the Riacho Gravata basin and continued intrusion of A-type granites to 920 Ma. A second rift event, which reactivated old faults, generated a basin with a maximum deposition age of ca. 806 Ma. Furthermore, the oldest granitoids cutting these metasedimentary rocks have crystallization ages of ca. 600 Ma. This suggests that the second rift event could be early Brasiliano in age. The resulting Sao Caetano basin received detritus from a variety of sources, although detritus from the Riacho Gravata complex dominated. Deposition ages of the Riacho Gravata and the Sao Caetano complexes are coeval with deposits in other basins of the Borborema Province (Riacho do Tigre in the Central Domain; Macurure and Maranco in the Sergipano Belt of the Southern domain). The Macaubas Group from SE Brazil and its counterparts in Africa, the Zadanian and Mayumbian Groups, in the western edge of the Congo Craton are also coeval. Closure of the Riacho Gravata and Sao Caetano basins occurred during the Brasiliano convergence (705-600 Ma). During the last stage of convergence, ca. 612 Ma, pull-apart basins were created and filled; final basin closure took place 605-592 Ma, after deposition ceased. (C) 2011 Elsevier B.V. All rights reserved.

A comparison for a multiscale study of structural lineaments in southern Brazil: LANDSAT-7 ETM+ and shaded relief images from SRTM3-DEM

This paper presents a comparison of descriptive statistics obtained for brittle structural lineaments extracted manually from LANDSAT images and shaded relief images from SRTM 3 DEM at 1:100, 000 and 1:500, 000 scales. The selected area is located in the southern of Brazil and comprises Precambrian rocks and stratigraphic units of the Paraná Basin. The application of this methodology shows that the visual interpretation depends on the kind of remote sensing image. The resulting descriptive statistics obtained for lineaments extracted from the images do not follow the same pattern according to the scale adopted. The main direction obtained for Proterozoic rocks using both image types at a 1:500, 000 scale are close to NS±10, whereas at a 1:100, 000 scale N45E was obtained for shaded relief images from SRTM 3 DEM and N10W for LANDSAT images. The Paleozoic sediments yielded the best results for the different images and scales (N50W). On the other hand, the Mesozoic igneous rocks showed greatest differences, the shaded relief images from SRTM 3 DEM images highlighting NE structures and the LANDSAT images highlighting NW structures. The accumulated frequency demonstrated high similarity between products for each image type no matter the scale, indicating that they can be used in multiscale studies. Conversely, major differences were found when comparing data obtained using shaded relief images from SRTM 3 DEM and Landsat images at a 1:100, 000 scale.

Does carbohydrate supplementation enhance tennis match play performance?

Abstract Background Carbohydrate (CHO) ingestion may be an interesting approach to avoid significant decrement to the tennis match performance. The aim of the present investigation was to assess the effects of CHO supplementation on tennis match play performance. Methods Twelve young tennis players (18.0 ± 1.0 years; 176 ± 3.4 cm; 68.0 ± 2.3 kg; body fat: 13.7 ± 2.4%) with national rankings among the top 50 in Brazil agreed to participate in this study, which utilized a randomized, crossover, double blind research design. The experiment was conducted over a 5-day period in which each player completed two simulated tennis matches of a 3-hour duration. The players received either a CHO or a placebo (PLA) drinking solution during simulated tennis matches. Athlete’s performance parameters were determined by filming each match with two video cameras. Each player was individually tracked for the entire duration of the match to measure the following variables: (1) games won; (2) rally duration; (3) strokes per rally; (4) effective playing time (%); (5) aces; (6) double faults; (7) first service in; (8) second service in; (9) first return in and (10) second return in. Results There were no differences between trials in any of the variables analyzed. Conclusions CHO supplementation did not improve tennis match play performance under the present experimental conditions.