Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

The Itajai foreland basin: a tectono-sedimentary record of the Ediacaran period, Southern Brazil

The Itajai Basin located in the southern border of the Luis Alves Microplate is considered as a peripheral foreland basin related to the Dom Feliciano Belt. It presents an excellent record of the Ediacaran period, and its upper parts display the best Brazilian example of Precambrian turbiditic deposits. The basal succession of Itajai Group is represented by sandstones and conglomerates (BaA(0) Formation) deposited in alluvial and deltaic-fan systems. The marine upper sequences correspond to the Ribeiro Carvalho (channelized and non-channelized proximal silty-argillaceous rhythmic turbidites), Ribeiro Neisse (arkosic sandstones and siltites), and Ribeiro do Bode (distal silty turbidites) formations. The ApiA(0)na Formation felsic volcanic rocks crosscut the sedimentary succession. The Cambrian Subida leucosyenogranite represents the last felsic magmatic activity to affect the Itajai Basin. The Brusque Group and the Florianpolis Batholith are proposed as source areas for the sediments of the upper sequence. For the lower continental units the source areas are the Santa Catarina, So Miguel and CamboriA(0) complexes. The lack of any oceanic crust in the Itajai Basin suggests that the marine units were deposited in a restricted, internal sea. The sedimentation started around 600 Ma and ended before 560 Ma as indicated by the emplacement of rhyolitic domes. The Itajai Basin is temporally and tectonically correlated with the Camaqu Basin in Rio Grande do Sul and the Arroyo del Soldado/Piriapolis Basin in Uruguay. It also has several tectono-sedimentary characteristics in common with the African-equivalent Nama Basin.

Contribution of SHRIMP U-Pb zircon geochronology to unravelling the evolution of Brazilian Neoproterozoic fold belts

The South-American continent is constituted of three major geologic-geotectonic entities the homonym platform (consolidated at the end of the Cambrian) the Andean chain (essentially Meso-Cenozoic) and the Patagonian terrains affected by tectonism and magmatism through almost all of the Phanerozoic The platform is constituted by a series of cratonic nuclei (pre-Tonian fragments of the Rodinia fission) surrounded by a complex fabric of Neoproterozoic structural provinces Two major groups of orogenic processes (plate interaction cycles) constitute the evolution of these provinces the older occurred in the Tonian (smaller in area) and the younger Brasiliano that is present in all provinces The Tonian cycles (pre-Rodinia fission?) are still being sorted out and many questions still need to be answered The Brasiliano orogenic collage events (post-Rodinia fission?) developed in three main stages in part coeval from a province to another and are 650-600 580-560 and 540-500 Ma respectively (the late event reaching the Ordovician) The first group of orogenies is recorded in practically all provinces The third group is restricted to part of the Mantiqueira Province (southeast of the platform Buzios Orogeny) and present in the Pampean province (SW of the platform) For all these groups of orogenic events there are considerable records of rock assemblages related to processes of convergent plate interaction opening accretion collision and further extrusion There is a good correlation between the geologic and geotectonic data and geochemical and isotopic data The late tectonic processes (post-orogenic magmatism foreland basins etc) of the first two groups compete in time in distinct spaces with the peak of orogenic processes in the third group The introduction of the SHRIMP U-Pb methodology was fundamental to separate the Tonian and post-Tonian orogenic groups and their respective divisions in time and space Thus there are still many open points/problems which lead to expectations of addressing these issues in the near future with the more Intense use of this methodology (C) 2010 Elsevier B V All rights reserved

Chemostratigraphy of the Tamengo Formation (Corumba Group, Brazil) A contribution to the calibration of the Ediacaran carbon-isotope curve

The Corumba Group cropping out in the southern Paraguay Belt in Brazil is one of the most complete Ediacaran sedimentary archives of palaeogeographic climatic biogeochemical and biotic evolution in southwestern Gondwana The unit hosts a rich fossil record including acritarchs vendotaenids (Vendo taenia Eoholynia) soft-bodied metazoans (Corumbella) and skeletal fossils (Cloudina Titanotheca) The Tamengo Formation made up mainly of limestones and marls provides a rich bio- and chemostratigraphic record Several outcrops formerly assigned to the Cuiaba Group are here included in the Tamengo Formation on the basis of lithological and chemostratigraphical criteria High-resolution carbon isotopic analyses are reported for the Tamengo Formation showing (from base to top) (1) a positive delta(13)C excursion to +4 parts per thousand PDB above post-glacial negative values (2) a negative excursion to -3 5 parts per thousand associated with a marked regression and subsequent transgression (3) a positive excursion to +5 5 parts per thousand and (4) a plateau characterized by delta(13)C around +3 parts per thousand A U-Pb SHRIMP zircon age of an ash bed Interbedded in the upper part of the delta(13)C positive plateau yielded 543 +/- 3 Ma which is considered as the depositional age (Babinski et al 2008a) The positive plateau in the upper Tamengo Formation and the preceding positive excursion are ubiquitous features in several successions worldwide including the Nama Group (Namibia) the Dengying Formation (South China) and the Nafun and Ara groups (Oman) This plateau is constrained between 542 and 551 Ma thus consistent with the age of the upper Tamengo Formation The negative excursion of the lower Tamengo Formation may be correlated to the Shuram-Wonoka negative anomaly although delta(13)C values do not fall beyond -3 5 parts per thousand in the Brazilian sections Sedimentary breccias occur just beneath this negative excursion in the lower Tamengo Formation One possible interpretation of the origin of these breccias is a glacioeustatic sea-level fall but a tectonic interpretation cannot be completely ruled out Published by Elsevier B V

The Cariris Velhos tectonic event in Northeast Brazil

The Borborema Province in northeastern South America is a typical Brasiliano-Pan-African branching system of Neoproterozoic orogens that forms part of the Western Gondwana assembly. The province is positioned between the Sao Luis-West Africa craton to the north and the Sao Francisco (Congo-Kasai) craton to the south. For this province the main characteristics are (a) its subdivision into five major tectonic domains, bounded mostly by long shear zones, as follows: Medio Coreau, Ceara Central, Rio Grande do Norte, Transversal, and Southern; (b) the alternation of supracrustal belts with reworked basement inliers (Archean nuclei + Paleoproterozoic belts); and (c) the diversity of granitic plutonism, from Neoproterozoic to Early Cambrian ages, that affect supracrustal rocks as well as basement inliers. Recently, orogenic rock assemblages of early Tonian (1000-920 Ma) orogenic evolution have been recognized, which are restricted to the Transversal and Southern domains of the Province. Within the Transversal Zone, the Alto Pajeu terrane locally includes some remnants of oceanic crust along with island arc and continental arc rock assemblages, but the dominant supracrustal rocks are mature and immature pelitic metasedimentary and metavolcaniclastic rocks. Contiguous and parallel to the Alto Pajeu terrane, the Riacho Gravata subterrane consists mainly of low-grade metamorphic successions of metarhythmites, some of which are clearly turbiditic in origin, metaconglomerates, and sporadic marbles, along with interbedded metarhyolitic and metadacitic volcanic or metavolcaniclastic rocks. Both terrane and subterrane are cut by syn-contractional intrusive sheets of dominantly peraluminous high-K calc-alkaline, granititic to granodioritic metaplutonic rocks. The geochemical patterns of both supracrustal and intrusive rocks show similarities with associations of mature continental arc volcano-sedimentary sequences, but some subordinate intra-plate characteristics are also found. In both the Alto Pajeu and Riacho Gravata terranes, TIMS and SHRIMP U-Pb isotopic data from zircons from both metavolcanic and metaplutonic rocks yield ages between 1.0 and 0.92 Ga, which define the time span for an event of orogenic character, the Cariris Velhos event. Less extensive occurrences of rocks of Cariris Velhos age are recognized mainly in the southernmost domains of the Province, as for example in the Polo Redondo-Maranco terrane, where arc-affinity migmatite-granitic and meta-volcano-sedimentary rocks show U-Pb ages (SHRIMP data) around 0.98-0.97 Ga. For all these domains, Sm-Nd data exhibit Tom model ages between 1.9 and 1.1 Ga with corresponding slightly negative to slightly positive epsilon(Nd)(t) values. These domains, along with the Borborema Province as a whole, were significantly affected by tectonic and magmatic events of the Brasiliano Cycle (0.7-0.5 Ga), so that it is possible that there are some other early Tonian rock assemblages which were completely masked and hidden by these later Brasiliano events. Cariris Velhos processes are younger than the majority of orogenic systems at the end of Mesoproterozoic Era and beginning of Neoproterozoic throughout the world, e.g. Irumide belt, Kibaride belt and Namaqua-Natal belt, and considerably younger than those of the youngest orogenic process (Ottawan) in the Grenvillian System. Therefore, they were probably not associated with the proposed assembly of Rodinia. We suggest, instead, that Cariris Velhos magmatism and tectonism could have been related to a continental margin magmatic arc, with possible back-arc associations, and that this margin may have been a short-lived (<100 m.y.) leading edge of the newly assembled Rodinia supercontinent. (C) 2009 Elsevier Ltd. All rights reserved.

P-T-Fluid evolution and graphite deposition during retrograde metamorphism in Ribeira Fold Belt, SE Brazil: Oxygen fugacity, fluid inclusions and C-O-H isotopic evidence

Combined fluid inclusion (FI) microthermometry, Raman spectroscopy, X-ray diffraction, C-O-H isotopes and oxygen fugacities of granulites from central Ribeira Fold Belt, SE Brazil, provided the following results: i) Magnetite-Hematite fO(2) estimates range from 10(-11.5) bar (QFM + 1) to 10(-18.3) bar (QFM - 1) for the temperature range of 896 degrees C-656 degrees C, implying fO(2) decrease from metamorphic peak temperatures to retrograde conditions; ii) 5 main types of fluid inclusions were observed: a) CO(2) and CO(2)-N(2) (0-11 mol%) high to medium density (1.01-0.59 g/cm(3)) FI; b) CO(2) and CO(2)-N(2) (0-36 mol%) low density (0.19-0.29 g/cm(3)) FI; c) CO(2) (94-95 mol%)-N(2) (3 mol%)-CH(4) (2-3 mol%)-H(2)O (water phi(v) (25 degrees C) = 0.1) FI; d) low-salinity H(2)O-CO(2) FI; and e) late low-salinity H(2)O FI; iii) Raman analyses evidence two graphite types in khondalites: an early highly ordered graphite (T similar to 450 degrees C) overgrown by a disordered kind (T similar to 330 degrees C); iv) delta(18)O quartz results of 10.3-10.7 parts per thousand, imply high-temperature CO(2) delta(18)O values of 14.4-14.8 parts per thousand, suggesting the involvement of a metamorphic fluid, whereas lower temperature biotite delta(18)O and delta D results of 7.5-8.5 parts per thousand and -54 to -67 parts per thousand respectively imply H(2)O delta(18)O values of 10-11 parts per thousand and delta D(H2O) of -23 to -36 parts per thousand suggesting delta(18)O depletion and increasing fluid/rock ratio from metamorphic peak to retrograde conditions. Isotopic results are compatible with low-temperature H(2)O influx and fO(2) decrease that promoted graphite deposition in retrograde granulites, simultaneous with low density CO(2), CO(2)-N(2) and CO(2)-N(2)-CH(4)-H(2)O fluid inclusions at T = 450-330 degrees C. Graphite delta(13)C results of -10.9 to -11.4 parts per thousand imply CO(2) delta(13)C values of -0.8 to -1.3 parts per thousand suggesting decarbonation of Cambrian marine carbonates with small admixture of lighter biogenic or mantle derived fluids. Based on these results, it is suggested that metamorphic fluids from the central segment of Ribeira Fold Belt evolved to CO(2)-N(2) fluids during granulitic metamorphism at high fO(2), followed by rapid pressure drop at T similar to 400-450 degrees C during late exhumation that caused fO(2) reduction induced by temperature decrease and water influx, turning carbonic fluids into CO(2)-H(2)O (depleting biotite delta(18)O and delta D values), and progressively into H(2)O. When fO(2) decreased substantially by mixture of carbonic and aqueous fluids, graphite deposited forming khondalites. (C) 2010 Elsevier Ltd. All rights reserved.

GEOCHEMISTRY AND U-PB ZIRCON AGE OF THE INTERNAL OSSA-MORENA ZONE OPHIOLITE SEQUENCES: A REMNANT OF RHEIC OCEAN IN SW IBERIA

The Early Paleozoic geodynamic evolution in SW Iberia is believed to have been dominated by the opening of the Rheic Ocean. The Rheic Ocean is generally accepted to have resulted from the drift of peri-Gondwanan terranes such as Avalonia from the northern margin of Gondwana during Late Cambrian-Early Ordovician times. The closure of the Rheic Ocean was the final result of a continent-continent collision between Gondwana and Laurussia that produced the Variscan orogen. The Ossa-Morena Zone is a peri-Gondwana terrane, which preserves spread fragments of ophiolites - the Internal Ossa-Morena Zones Ophiolite Sequences (IOMZOS). The final patchwork of the IOMZOS shows a complete oceanic lithospheric sequence with geochemical characteristics similar to the ocean-floor basalts, without any orogenic fingerprint and/or crustal contamination. The IOMZOS were obducted and imbricated with high pressure lithologies. Based on structural, petrological and whole-rock geochemical data, the authors argue that the IOMZOS represent fragments of the oceanic lithosphere from the Rheic Ocean. Zircon SHRIMP U-Pb geochronological data on metagabbros point to an age of ca. 480 Ma for IOMZOS, providing evidence of a well-developed ocean in SW Iberia during this period, reinforcing the interpretation of the Rheic Ocean as a wide ocean among the peri-Gondwanan terranes during Early Ordovician times.

Structural analysis of the Itapucumi Group in the Vallemi region, northern Paraguay: Evidence of a new Brasiliano/Pan-African mobile belt

The Neoproterozoic (Ediacaran) Itapucumi Group in northern Paraguay is composed of carbonate and siliciclastic rocks, including ooid grainstones, marls, shales and sandstones, containing Cloudina fossils in the eastern region. It is almost undeformed over the Rio Apa Cratonic Block but shows a strong deformational pattern at its western edge. A detailed structural analysis of the Itapucumi Group was conducted in the Vallemi Mine, along with a regional survey in other outcrops downstream in the Paraguay River and in the San Alfredo, Cerro Paiva and Sargent Jose E. Lopez regions. In the main Vallemi quarry, the structural style is characterized by an axial-plane slaty cleavage in open to isoclinal folds, sometimes overturned, associated with N-S trending thrust faults and shear zones of E-vergence and with a low-grade chlorite zone metamorphism. The structural data presented here are compatible with the hypothesis of a newly recognized mobile belt on the western side of the Rio Apa Cratonic Block, with opposite vergence to that of the Paraguay Mobile Belt in Brazil. Both belts are related to the Late Brasiliano/Pan-African tectonic cycle with a Lower Cambrian deformation and metamorphism age. The deformation could be due to the late collision of the Amazonian Craton with the remainder of Western Gondwana or to the western active plate boundary related to the Pampean Belt. The structural and lithologic differences between the western Itapucumi Group in the Vallemi and Paraguay River region and the eastern region, near San Alfredo and Cerro Paiva, suggest that this group could be divided into two lithostratigraphic units, but more stratigraphic and geochronological analyses are required to confirm this possibility. (C) 2010 Elsevier Ltd. All rights reserved.

U-Pb zircon and (40)Ar-(39)Ar K-feldspar dating of syn-sedimentary volcanism of the Neoproterozoic Marica Formation: constraining the age of foreland basin inception and inversion in the Camaqua Basin of southern Brazil

New U-Pb zircon and (40)Ar-(39)Ar K-feldspar data are presented for syn-sedimentary volcanogenic rocks from the Neoproterozoic Marica Formation, located in the southern Brazilian shield. Seven (of nine) U-Pb sensitive high-resolution ion microprobe analyses of zircons from pyroclastic cobbles yield an age of 630.2 +/- 3.4 Ma (2 sigma), interpreted as the age of syn-sedimentary volcanism, and thus of the deposition itself. This result indicates that the Marica Formation was deposited during the main collisional phase (640-620 Ma) of the Brasiliano II orogenic system, probably as a forebulge or back-bulge, craton-derived foreland succession. Thus, this unit is possibly correlative of younger portions of the Porongos, Brusque, Passo Feio, Abapa (Itaiacoca) and Lavalleja (Fuente del Puma) metamorphic complexes. Well-defined, step-heating (40)Ar-(39)Ar K-feldspar plateau ages obtained from volcanogenic beds and pyroclastic cobbles of the lower and upper successions of the Marica Formation yielded 507.3 +/- 1.8 Ma and 506.7 +/- 1.4 Ma (2 sigma), respectively. These data are interpreted to reflect total isotopic resetting during deep burial and thermal effects related to magmatic events. Late Middle Cambrian cooling below ca. 200 degrees C, probably related to uplift, is tentatively associated with intraplate effects of the Rio Doce and/or Pampean orogenies (Brasiliano III system). In the southern Brazilian shield, these intraplate stresses are possibly related to the dominantly extensional opening of a rift or a pull-apart basin, where sedimentary rocks of the Camaqua Group (Santa Barbara and Guaritas Formations) accumulated.