Developing an Embedded Model for Test suite prioritization process to optimize consistency rules for inconsistencies detection and model changes

Software form typically contains a lot of contradiction and uniformity checkers help engineers find them. Even if engineers are willing to tolerate inconsistencies, they are better off knowing about their existence to avoid follow-on errors and unnecessary rework. However, current approaches do not detect or track inconsistencies fast enough. This paper presents an automated approach for detecting and tracking inconsistencies in real time (while the model changes). Engineers only need to define consistency rules-in any language-and our approach automatically identifies how model changes affect these consistency rules. It does this by observing the behavior of consistency rules to understand how they affect the model. The approach is quick, correct, scalable, fully automated, and easy to use as it does not require any special skills from the engineers using it. We use this model to define generic prioritization criteria that are applicable to GUI, Web applications and Embedded Model. We evolve the model and use it to develop a unified theory. Within the context of this model, we develop and empirically evaluate several prioritization criteria and apply them to four stand-alone GUI and three Web-based applications, their existing test suites and mainly embedded systems. In this model we only run our data collection and test suite prioritization process on seven programs and their existing test suites. An experiment that would be more readily generalized would include multiple programs of different sizes and from different domains. We may conduct additional empirical studies with larger EDS to address this threat each test case has a uniform cost of running (processor time) monitoring (human time); these assumptions may not hold in practice. Second, we assume that each fault contributes uniformly to the overall cost, which again may not hold in practice

NEW INSIGHT INTO THE MIDDLE EOCENE CALCAREOUS NANNOPLANKTON BIOSTRATIGRAPHY AND PALEOENVIRONMENT FROM FAYOUM AND BENI SUEF AREAS, EGYPT

The present study deals with calcareous nannoplankton paleoenvironmental and biostratigraphic implications as well as the genesis and the stratigraphic significance of an event bed recognized from the middle Eocene Beni Suef Formation in the sections of Gebel Na’alun (Fayoum area) and Gebel Homret Shaibun (Beni Suef area), Egypt. Calcareous nannoplankton biostratigraphy indicates that the Beni Suef Formation in the two areas is synchronous, covering an interval that may be correlated with the calcareous nannoplankton Zone NP17. Paleoenvironmental implications from calcareous nannoplankton suggests deposition of sediments in the Beni Suef Formation under relatively stable, temperate and mesotrophic conditions, with a short interval of eutrophication in the basal part of the Homret Shaibun section

A record of spontaneous subduction initiation in the Izu–Bonin–Mariana arc

The initiation of tectonic plate subduction into the mantle is poorly understood. If subduction is induced by the push of a distant mid-ocean ridge or subducted slab pull, we expect compression and uplift of the overriding plate. In contrast, spontaneous subduction initiation, driven by subsidence of dense lithosphere along faults adjacent to buoyant lithosphere, would result in extension and magmatism. The rock record of subduction initiation is typically obscured by younger deposits, so evaluating these possibilities has proved elusive. Here we analyse the geochemical characteristics of igneous basement rocks and overlying sediments, sampled from the Amami Sankaku Basin in the northwest Philippine Sea. The uppermost basement rocks are areally widespread and supplied via dykes. They are similar in composition and age—as constrained by the biostratigraphy of the overlying sediments—to the 52–48-million-year-old basalts in the adjacent Izu–Bonin–Mariana fore-arc. The geochemical characteristics of the basement lavas indicate that a component of subducted lithosphere was involved in their genesis, and the lavas were derived from mantle source rocks that were more melt-depleted than those tapped at mid-ocean ridges. We propose that the basement lavas formed during the inception of Izu–Bonin–Mariana subduction in a mode consistent with the spontaneous initiation of subduction

Calibration of the depth invariant algorithm to monitor the tidal action of Rabigh City at the Red Sea Coast, Saudi Arabia

Rabigh is a thriving coastal city located at the eastern bank of the Red Sea, Saudi Arabia. The city has suffered from shoreline destruction because of the invasive tidal action powered principally by the wind speed and direction over shallow waters. This study was carried out to calibrate the water column depth in the vicinity of Rabigh. Optical and microwave remote sensing data from the European Space Agency were collected over 2 years (2017–2018) along with the analog daily monitoring of tidal data collected from the marine station of Rabigh. Depth invariant index (DII) was implemented utilizing the optical data, while the Wind Field Estimation algorithm was implemented utilizing the microwave data. The findings of the current research emphasis on the oscillation behavior of the depth invariant mean values and the mean astronomical tides resulted in R2 of 0.75 and 0.79, respectively. Robust linear regression was established between the astronomical tide and the mean values of the normalized DII (R2 = 0.81). The findings also indicated that January had the strongest wind speed solidly correlated with the depth invariant values (R2 = 0.92). Therefore, decision-makers can depend on remote sensing data as an efficient tool to monitor natural phenomena and also to regulate human activities in fragile ecosystems

Major Factors Controlling the Elemental Composition of Al-Kharrar Lagoon Bottom Sediments, Rabigh, Saudi Arabia

Bottom sediments of Al-Kharrar Lagoon, Rabigh area, Saudi Arabia were analyzed for mineralogical (26 samples) and major oxides, minor, and trace elements (46 samples). The prime objective is to document the controlling factors of the mineralogical and chemical composition of the lagoon bottom sediments. Hierarchical cluster (HCA) and the principal component (PCA) analyses are used to disclose the degree of similarities among elements to distinguish them into statistically significant groups. Results clarified the interplay of terrestrial sediment influx through the temporarily active Wadi Rabigh, hydrological regime and the autochthonous biogenic sedimentation, and to a lesser extent rare anthropogenic influence that impacted the lagoon sediments. The spatial distribution of minerals shows a southward increase in the siliciclastic-related minerals (quartz, clay minerals, k-feldspars, and plagioclase along with traces of amphiboles), whereas carbonate minerals (high Mg-calcite and aragonite) dominate the northern sector of the lagoon in areas far from the influence of detrital influx. The concentrations levels of oxides, minor, and trace elements display spatial variability. Three main distinctive elemental groups were delineated appraising the analysis of the elemental interrelationships and associated statistical analysis. The first group includes the positively correlated SiO2, TiO2, Al2O3, Fe2O3, MnO, MgO, K2O, Na2O, V, Cr, Ni, Zn, Rb, and Ba, which are concentrated in the southern sector of the lagoon. The second group is the carbonate-related elements (CaO and Sr) that dominate the northern sector. The distribution patterns of P2O5 and Cu varied highly across the lagoon. Enrichment factors revealed moderate levels of Cu in some sites supporting the anthropogenic source. The results showed the hospitable bottom ecological status of the lagoon despite local anthropogenic stressors such as an influx of flood water that contain a mixture of lithogenic and dissolved Cu from local farming

Relationship between C % and δ¹³C of the macrophytes (mangroves, halophytes, macroalgae and seagrasses), sediments and sponges in/around the Al-Kharrar Lagoon.

Red solid line indicates the fitted regression line between all studied samples. The 95% confidence interval is indicated by black solid lines. For samples symbols see Figs 2–4.</p

A list of the surveyed stations and their coordinates and the representative samples of macrophytes (mangroves, halophytes, macroalgae and seagrasses), sponges and sediments at each station.

Letter P indicates the presence of taxa and sediments samples.</p

Location map of Al-Kharrar Lagoon showing the station sites (solid black circle).

Dense mangrove areas indicated by green colour and supratidal areas are indicated by dark grey colour. The map outline was taken from the national geological database portal licensed to the Saudi Geological Survey (https://ngp.sgs.gov.sa/).</p