scholarly journals Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

2020 ◽  
Vol 2020 ◽  
pp. 1-12 ◽  
Author(s):  
Yang Song ◽  
Xuzhou Zhang ◽  
Yun-Zhan Gong
Keyword(s):  
Program Analysis ◽  
Symbolic Execution ◽  
Test Case ◽  
Code Coverage ◽  
Detection Techniques ◽  
Coverage Analysis ◽  
Low Efficiency ◽  
The Relationship ◽  
Selection Of ◽  
Path Detection

This paper sets out to reveal the relationship between code pattern and infeasible paths and gives advices to the selection of infeasible path detection techniques. Lots of program paths are proved to be infeasible, which leads to imprecision and low efficiency of program analysis. Detection of infeasible paths is required in many areas of software engineering including test coverage analysis, test case generation, and security vulnerability analysis. The immediate cause of path infeasibility is the contradiction of path constraints, whose distribution will affect the performance of different program analysis techniques. But there is a lack of research on the distribution of contradict constraints currently. We propose a code pattern based on the empirical study of infeasible paths; the statistical result proves the correlation of the pattern with contradict constraints. We then develop a path feasibility detection method based on backward symbolic execution. Performance of the proposed technique is evaluated from two aspects: the efficiency of detecting infeasibility paths for specific program element and the improvement of applying the technique on code coverage testing.

scholarly journals A Stochastic Method for Test Case Selection in Software Testing

2020 ◽  
Vol 8 (4S5) ◽  
pp. 265-271
Keyword(s):  
Software Development ◽  
Software Testing ◽  
Test Case ◽  
Test Cases ◽  
Nsga Ii ◽  
Code Coverage ◽  
Test Case Selection ◽  
Redundant Data ◽  
Case Selection ◽  
Selection Of

The quality of the software is a very important aspect in the development of software application. In order to make sure there is the software of good quality, testing is a critical activity of software development. Thus, software testing is the activity which focuses on the computation of an attribute or the ability of either a system or program that decides if user requirements are met. There is a proper strategy for the design of software for which testing has to be adopted. The techniques of test case selection attempt at reduction of the test cases that need to be executed at the same time satisfying the needs of testing that has been denoted by the test criteria. In the time of software testing, and the resource will be the primary constraints at the time of testing since this has been a highly neglected phase in the Software Development Life Cycle (SDLC). The optimizing of a test suite is very critical for the reduction of the testing phase and also the selection of the test cases that eliminate unwanted or redundant data. All work in literature will make use of techniques of single objective optimization that does not have to be efficient as the code coverage will play an important role at the time of selection of test case. As the test case choice is Non-Deterministic, the work also proposes a novel and multi-objective algorithm like the Non-Dominated Sorting Genetic Algorithm II (NSGA II) and the Stochastic Diffusion Search (SDS) algorithm that makes use of the cost of execution and code coverage as its objective function. The results prove a faster level of convergence of the algorithm with better coverage of code in comparison to the NSGA II.

IMPROVEMENT OF SPRING DURUM WHEAT SELECTION METHODOLOGIES UNDER CLIMATE CHANGE CONDITIONS

1970 ◽  
pp. 33-36
Author(s):  
А. I. Grabovets ◽  
V. P. Kadushkina ◽  
S. А. Kovalenko
Keyword(s):  
Grain Yield ◽  
Durum Wheat ◽  
Correlation Coefficient ◽  
Harvest Index ◽  
Unit Area ◽  
Correlation Coefficients ◽  
Chemical Mutagenesis ◽  
Main Method ◽  
The Relationship ◽  
Selection Of

With the growing aridity of the climate on the Don, it became necessary to improve the methodology for conducting the  breeding of spring durum wheat. The main method of obtaining the source material remains intraspecific step hybridization. Crossings were performed between genetically distant forms, differing in origin and required traits and properties. The use of chemical mutagenesis was a productive way to change the heredity of genotypes in terms of drought tolerance. When breeding for productivity, both in dry years of research and in favorable years, the most objective markers were identified — the size of the aerial mass, the mass of grain per plant, spike, and harvest index. The magnitude of the correlation coefficients between the yield per unit area and the elements of its structure is established. It was most closely associated with them in dry years, while in wet years it decreased. Power the correlation of the characteristics of the pair - the grain yield per square meter - the aboveground biomass averaged r = 0.73, and in dry years it was higher (0.91) than in favorable ones (0.61 - 0.70) , between the harvest and the harvest index - r = 0.81 (on average). In dry years, the correlation coefficient increased to 0.92. Research data confirms the greatest importance of the mass of grain from one ear and the plant in the formation of grain yield per unit area in both dry and wet years. In dry years, the correlation coefficient between yield and grain mass per plant was on average r = 0.80; in favorable years, r = 0.69. The relationship between yield and grain mass from the ear was greater — r = 0.84 and r = 0.82, respectively. Consequently, the breeding significance of the aboveground mass and the productivity of the ear, as a criterion for the selection of the crop, especially increases in the dry years. They were basic in the selection.

Analisa Pemilihan Moda Transportasi Umum Rute Tanjung Karang – Bandara Radin Inten II Dengan Stated Preference dan Uji Crame’s V

2018 ◽  
Vol 2 (2) ◽  
pp. 137
Author(s):  
Muhammad Abi Berkah Nadi
Keyword(s):  
Regression Analysis ◽  
Utility Function ◽  
Stated Preference ◽  
Technical Analysis ◽  
Chi Square ◽  
Time Headway ◽  
Independent Variable ◽  
The Relationship ◽  
Selection Of

Radin Inten II Airport is a national flight in Lampung Province. In this study using the technical analysis stated preference which is the approach by conveying the choice statement in the form of hypotheses to be assessed by the respondent. By using these techniques the researcher can fully control the hypothesized factors. To determine utility function for model forecasting in fulfilling request of traveler is used regression analysis with SPSS program. The analysis results obtained that the passengers of the dominant airport in the selection of modes of cost attributes than on other attributes. From the result of regression analysis, the influence of independent variable to the highest dependent variable is when the five attributes are used together with the R square value of 8.8%. The relationship between cost, time, headway, time acces and service with the selection of modes, the provision that states whether or not there is a decision. The significance of α = 0.05 with chi-square. And the result of Crame's V test average of 0.298 is around the middle, then the relationship is moderate enough.

A Biomarker Combining Imaging and Neuropsychological Assessment for Tracking Early Alzheimer's Disease in Clinical Trials

2018 ◽  
Vol 15 (5) ◽  
pp. 429-442 ◽  
Author(s):  
Nishant Verma ◽  
S. Natasha Beretvas ◽  
Belen Pascual ◽  
Joseph C. Masdeu ◽  
Mia K. Markey ◽  
...  
Keyword(s):  
Alzheimer’S Disease ◽  
Alzheimer's Disease ◽  
Clinical Trials ◽  
Cognitive Impairment ◽  
Latent Variable ◽  
Brain Regions ◽  
Disease Assessment ◽  
Latent Variable Analysis ◽  
The Relationship ◽  
Selection Of

Background: Combining optimized cognitive (Alzheimer's Disease Assessment Scale- Cognitive subscale, ADAS-Cog) and atrophy markers of Alzheimer's disease for tracking progression in clinical trials may provide greater sensitivity than currently used methods, which have yielded negative results in multiple recent trials. Furthermore, it is critical to clarify the relationship among the subcomponents yielded by cognitive and imaging testing, to address the symptomatic and anatomical variability of Alzheimer's disease. Method: Using latent variable analysis, we thoroughly investigated the relationship between cognitive impairment, as assessed on the ADAS-Cog, and cerebral atrophy. A biomarker was developed for Alzheimer's clinical trials that combines cognitive and atrophy markers. Results: Atrophy within specific brain regions was found to be closely related with impairment in cognitive domains of memory, language, and praxis. The proposed biomarker showed significantly better sensitivity in tracking progression of cognitive impairment than the ADAS-Cog in simulated trials and a real world problem. The biomarker also improved the selection of MCI patients (78.8±4.9% specificity at 80% sensitivity) that will evolve to Alzheimer's disease for clinical trials. Conclusion: The proposed biomarker provides a boost to the efficacy of clinical trials focused in the mild cognitive impairment (MCI) stage by significantly improving the sensitivity to detect treatment effects and improving the selection of MCI patients that will evolve to Alzheimer’s disease.

Excessive Belching: a Separate Syndrome or Another Symptom of Functional Dyspepsia?

2020 ◽  
Vol 30 (3) ◽  
pp. 55-60 ◽  
Author(s):  
A. A. Sheptulin ◽  
O. A. Storonova
Keyword(s):  
Functional Dyspepsia ◽  
Functional Gastrointestinal Disorders ◽  
High Resolution Manometry ◽  
Published Evidence ◽  
Key Points ◽  
Dyspeptic Symptoms ◽  
The Relationship ◽  
Rome Iv ◽  
Selection Of ◽  
Optimal Treatment Strategy

Aim of review. Interpretation of published evidence on the relationship between the excessive belching syndrome and functional dyspepsia (FD) and their management in patient care.Key points. According to the Rome IV criteria of functional gastrointestinal disorders (FGID), excessive belching in the absence of other dyspeptic symptoms is to be considered a manifestation of the excessive belching syndrome, which can be of gastric or supragastric nature. Combination of high-resolution manometry and impedancemetry allows an accurate diagnosis of belching and selection of optimal treatment strategy. Belching complicated by other symptoms of dyspepsia is to be considered yet another FD symptom according to the Rome IV criteria of FGID. Prokinetics are recommended to relieve belching in such cases.Conclusion. Understanding the relationship between the excessive belching syndrome and FD requires further research.

scholarly journals The Impact of Alkaloid-Producing Epichloë Endophyte on Forage Ryegrass Breeding: A New Zealand Perspective

Toxins ◽  
2021 ◽  
Vol 13 (2) ◽  
pp. 158
Author(s):  
Colin Eady
Keyword(s):  
Seed Production ◽  
Health Issues ◽  
Abiotic Stressors ◽  
Livestock Health ◽  
The Right ◽  
The Impact ◽  
The Relationship ◽  
And Storage ◽  
Selection Of ◽  
Epichloë Endophyte

For 30 years, forage ryegrass breeding has known that the germplasm may contain a maternally inherited symbiotic Epichloë endophyte. These endophytes produce a suite of secondary alkaloid compounds, dependent upon strain. Many produce ergot and other alkaloids, which are associated with both insect deterrence and livestock health issues. The levels of alkaloids and other endophyte characteristics are influenced by strain, host germplasm, and environmental conditions. Some strains in the right host germplasm can confer an advantage over biotic and abiotic stressors, thus acting as a maternally inherited desirable ‘trait’. Through seed production, these mutualistic endophytes do not transmit into 100% of the crop seed and are less vigorous than the grass seed itself. This causes stability and longevity issues for seed production and storage should the ‘trait’ be desired in the germplasm. This makes understanding the precise nature of the relationship vitally important to the plant breeder. These Epichloë endophytes cannot be ‘bred’ in the conventional sense, as they are asexual. Instead, the breeder may modulate endophyte characteristics through selection of host germplasm, a sort of breeding by proxy. This article explores, from a forage seed company perspective, the issues that endophyte characteristics and breeding them by proxy have on ryegrass breeding, and outlines the methods used to assess the ‘trait’, and the application of these through the breeding, production, and deployment processes. Finally, this article investigates opportunities for enhancing the utilisation of alkaloid-producing endophytes within pastures, with a focus on balancing alkaloid levels to further enhance pest deterrence and improving livestock outcomes.

Selection of Materials and Sensors for Health Monitoring of Composite Structures

2003 ◽  
Vol 785 ◽  
Author(s):  
Seth S. Kessler ◽  
S. Mark Spearing
Keyword(s):  
Health Monitoring ◽  
Lamb Wave ◽  
Composite Structures ◽  
Structural Damage ◽  
Performance Metrics ◽  
Full Range ◽  
Transportation Systems ◽  
Health Monitoring Systems ◽  
The Relationship ◽  
Selection Of

ABSTRACTEmbedded structural health monitoring systems are envisioned to be an important component of future transportation systems. One of the key challenges in designing an SHM system is the choice of sensors, and a sensor layout, which can detect unambiguously relevant structural damage. This paper focuses on the relationship between sensors, the materials of which they are made, and their ability to detect structural damage. Sensor selection maps have been produced which plot the capabilities of the full range of available sensor types vs. the key performance metrics (power consumption, resolution, range, sensor size, coverage). This exercise resulted in the identification of piezoceramic Lamb wave transducers as the sensor of choice. Experimental results are presented for the detailed selection of piezoceramic materials to be used as Lamb wave transducers.

scholarly journals Influence of Selected Model Parameters on the Electromagnetic Levitation Melting Efficiency

2021 ◽  
Vol 11 (9) ◽  
pp. 3827
Author(s):  
Blazej Nycz ◽  
Lukasz Malinski ◽  
Roman Przylucki
Keyword(s):  
Electromagnetic Levitation ◽  
Optimization Methods ◽  
Calculation Model ◽  
Model Parameters ◽  
Starting Point ◽  
Low Efficiency ◽  
The Relationship ◽  
Reactive Metals ◽  
Electromagnetic Levitation Melting ◽  
Metal Melting

The article presents the results of multivariate calculations for the levitation metal melting system. The research had two main goals. The first goal of the multivariate calculations was to find the relationship between the basic electrical and geometric parameters of the selected calculation model and the maximum electromagnetic buoyancy force and the maximum power dissipated in the charge. The second goal was to find quasi-optimal conditions for levitation. The choice of the model with the highest melting efficiency is very important because electromagnetic levitation is essentially a low-efficiency process. Despite the low efficiency of this method, it is worth dealing with it because is one of the few methods that allow melting and obtaining alloys of refractory reactive metals. The research was limited to the analysis of the electromagnetic field modeled three-dimensionally. From among of 245 variants considered in the article, the most promising one was selected characterized by the highest efficiency. This variant will be a starting point for further work with the use of optimization methods.

Sign in / Sign up

Export Citation Format

Share Document