A Massively Parallel Approach to Automated Software Correctness Enhancement in Java

2021 ◽  
Author(s):  
Aleksandr Zakharchenko ◽  
Besma Khaireddine ◽  
Ali Mili

Software product faults are an inevitable and an undesirable byproduct of any software development. Often hard to detect they are a major contributing factor to the overall development and support costs and a source of technical risk for the application as a whole. The criticality of the impact has resulted in several decades of non-stop iterative improvements, aimed at avoiding and detecting the faults through development and application of sophisticated automated testing and validation systems, Finding the exact source of error, creating a patch to fix it and validating it for production release is still a highly manual activity. In this paper we build upon the theoretical framework of relative correctness, which we have laid out in our previous work, and present a massively parallel automated tool implementing it in order to support root cause analysis and patch generation.

2015 ◽  
Vol 6 (1) ◽  
pp. 50-57
Author(s):  
Rizqa Raaiqa Bintana ◽  
Putri Aisyiyah Rakhma Devi ◽  
Umi Laili Yuhana

The quality of the software can be measured by its return on investment. Factors which may affect the return on investment (ROI) is the tangible factors (such as the cost) dan intangible factors (such as the impact of software to the users or stakeholder). The factor of the software itself are assessed through reviewing, testing, process audit, and performance of software. This paper discusses the consideration of return on investment (ROI) assessment criteria derived from the software and its users. These criteria indicate that the approach may support a rational consideration of all relevant criteria when evaluating software, and shows examples of actual return on investment models. Conducted an analysis of the assessment criteria that affect the return on investment if these criteria have a disproportionate effort that resulted in a return on investment of a software decreased. Index Terms - Assessment criteria, Quality assurance, Return on Investment, Software product


Author(s):  
V.K. Grigoriev ◽  
A.A. Biryukova ◽  
A. Yu. Volk ◽  
A.S. Ilyushechkin

The article discusses the automation of the creation and use of e-learning programs. The impact of automating the learning of a large number of users on the effectiveness of the introduction of a new software product is analyzed. The methods and algorithms that increase the efficiency of creating electronic training programs on example of the author’s automated system “Tutor Builder” are described. The results of experimental verification of the automated system are provided.


2014 ◽  
Vol 660 ◽  
pp. 971-975 ◽  
Author(s):  
Mohd Norzaim bin Che Ani ◽  
Siti Aisyah Binti Abdul Hamid

Time study is the process of observation which concerned with the determination of the amount of time required to perform a unit of work involves of internal, external and machine time elements. Originally, time study was first starting to be used in Europe since 1760s in manufacturing fields. It is the flexible technique in lean manufacturing and suitable for a wide range of situations. Time study approach that enable of reducing or minimizing ‘non-value added activities’ in the process cycle time which contribute to bottleneck time. The impact on improving process cycle time for organization that it was increasing the productivity and reduce cost. This project paper focusing on time study at selected processes with bottleneck time and identify the possible root cause which was contribute to high time required to perform a unit of work.


2009 ◽  
Vol 55 (4) ◽  
pp. 641-658 ◽  
Author(s):  
Karl V Voelkerding ◽  
Shale A Dames ◽  
Jacob D Durtschi

Abstract Background: For the past 30 years, the Sanger method has been the dominant approach and gold standard for DNA sequencing. The commercial launch of the first massively parallel pyrosequencing platform in 2005 ushered in the new era of high-throughput genomic analysis now referred to as next-generation sequencing (NGS). Content: This review describes fundamental principles of commercially available NGS platforms. Although the platforms differ in their engineering configurations and sequencing chemistries, they share a technical paradigm in that sequencing of spatially separated, clonally amplified DNA templates or single DNA molecules is performed in a flow cell in a massively parallel manner. Through iterative cycles of polymerase-mediated nucleotide extensions or, in one approach, through successive oligonucleotide ligations, sequence outputs in the range of hundreds of megabases to gigabases are now obtained routinely. Highlighted in this review are the impact of NGS on basic research, bioinformatics considerations, and translation of this technology into clinical diagnostics. Also presented is a view into future technologies, including real-time single-molecule DNA sequencing and nanopore-based sequencing. Summary: In the relatively short time frame since 2005, NGS has fundamentally altered genomics research and allowed investigators to conduct experiments that were previously not technically feasible or affordable. The various technologies that constitute this new paradigm continue to evolve, and further improvements in technology robustness and process streamlining will pave the path for translation into clinical diagnostics.


2021 ◽  
Vol 20 (10) ◽  
pp. 1933-1950
Author(s):  
Nikolai V. FIROV ◽  
Sergei A. SOROKIN

Subject. The article addresses scientific and technical risk and financial losses of the customer in the process of research and development works on the creation of complex technical systems. Objectives. The study aims at constructing and analyzing the dependence of scientific and technical risk and financial losses of the customer on the planned volume of development works and the financial resources invested in them. Methods. We apply methods of probability theory and mathematical statistics, system and regression analysis, risk assessment and management. The paper rests on data on completed development projects for complex technical systems creation. Results. We formulated methodological provisions for assessing scientific and technical risk, arising in the process of development works on complex technical systems. The paper presents an algorithm for calculating the expected financial losses from works implementation. The problem of minimizing financial losses associated with scientific and technical risk is formulated and formalized. The feasibility of proposed provisions and recommendations is confirmed by a practical example. Conclusions. To assess risks, it is important to consider the impact of the degree of difference between the main characteristics of developed product and its prototype on the required amount of works at development stage. This enables to build regression dependencies of the volume of works at the development stage on a specified factor, which are later used to assess the scientific and technical risk and associated financial losses.


2020 ◽  
Author(s):  
Santiago Papini ◽  
Mikael Rubin ◽  
Michael J Telch ◽  
Jasper A. J. Smits

Background. The application of psychopathological symptom networks requires reconciliation of the observed cross-sample heterogeneity. We leveraged the largest sample to be used in a PTSD network analysis (N = 28,594) to examine the impact of criteria-based and data-driven sampling approaches on the heterogeneity and interpretability of networks.Methods. Severity and diagnostic criteria identified four overlapping subsamples and cluster analysis identified three distinct data-derived profiles. Networks estimated on each subsample were compared to a respective benchmark network at the symptom-relation level by calculating sensitivity, specificity, correlation, and density of the edges. Negative edges were assessed for Berkson’s bias, a source of error that can be induced by threshold samples on severity.Results. Criteria-based networks showed reduced sensitivity, specificity, and density but edges remained highly correlated and a meaningfully higher proportion of negative edges was not observed relative to the benchmark network of all cases. Among the data-derived profile networks, the Low Severity network had the highest proportion of negative edges not present in the benchmark network of symptomatic cases. The High Severity profile also showed a higher proportion of negative edges, whereas the Medium Severity profile did not. Conclusion. Although networks showed differences, Berkson’s bias did not appear to be a meaningful source of systematic error. These results can guide expectations about the generalizability of symptom networks across samples that vary in their ranges of severity. Future work should continue to explore whether network heterogeneity is reflective of meaningful and interpretable differences in the symptom relations from which they are composed.


Author(s):  
Sang-Nyung Kim ◽  
Sang-Gyu Lim

The safety injection (SI) nozzle of a 1000MWe-class Korean standard nuclear power plant (KSNP) is fitted with thermal sleeves (T/S) to alleviate thermal fatigue. Thermal sleeves in KSNP #3 & #4 in Yeonggwang (YG) & Ulchin (UC) are manufactured out of In-600 and fitted solidly without any problem, whereas KSNP #5 & #6 in the same nuclear power plants, also fitted with thermal sleeves made of In-690 for increased corrosion resistance, experienced a loosening of thermal sleeves in all reactors except KSNP YG #5-1A, resulting in significant loss of generation availability. An investigation into the cause of the loosening of the thermal sleeves only found out that the thermal sleeves were subject to severe vibration and rotation, failing to uncover the root cause and mechanism of the loosening. In an effort to identify the root cause of T/S loosening, three suspected causes were analyzed: (1) the impact force of flow on the T/S when the safety SI nozzle was in operation, (2) the differences between In-600 and In-690 in terms of physical and chemical properties (notably the thermal expansion coefficient), and (3) the positioning error after explosive expansion of the T/S as well as the asymmetric expansion of T/S. It was confirmed that none of the three suspected causes could be considered as the root cause. However, after reviewing design changes applied to the Palo Verde nuclear plant predating KSNP YG #3 & #4 to KSNP #5 & #6, it was realized that the second design modification (in terms of groove depth & material) had required an additional explosive energy by 150% in aggregate, but the amount of gunpowder and the explosive expansion method were the same as before, resulting in insufficient explosive force that led to poor thermal sleeve expansion. T/S measurement data and rubbing copies also support this conclusion. In addition, it is our judgment that the acceptance criteria applicable to T/S fitting was not strict enough, failing to single out thermal sleeves that were not expanded sufficiently. Furthermore, the T/S loosening was also attributable to lenient quality control before and after fitting the T/S that resulted in significant uncertainty. Lastly, in a flow-induced vibration test planned to account for the flow mechanism that had a direct impact upon the loosening of the thermal sleeves that were not fitted completely, it was discovered that the T/S loosening was attributable to RCS main flow. In addition, it was proven theoretically that the rotation of the T/S was induced by vibration.


Author(s):  
A. V. Kurlov ◽  
S. V. Vinogradova

The article describes the impact of the introduction of digital technologies on changes in the training of teaching staff, as well as the ability to manage the professional development trajectory of teaching staff through obtaining operational data on their competence profile using the software product 1C:Register of personnel. The basic requirements for the functionality and capabilities of automated information systems, with the help of which human resources management should be carried out, are analyzed and systematized. The results of using the software product, including the example of the implemented project in the executive authorities, in the framework of which the curator of the project was the 1С company, and the developer of the project was the Omega company, are given. The practical results of the implementation of the software product are reflected, related to the objectivity and reliability of data on the staff, with data on the amount of remuneration of employees of government bodies, sectoral departments and their subordinate institutions. The features of the functioning of information tools presented in the article allow you to manage access to the personnel management system, increase the productivity of personnel services and reduce the costs of organizing their work. It also becomes possible to manage the talent pool based on objective data on the development of competencies and updating the professional development trajectory of employees.


Author(s):  
Svitlana Oneshko ◽  
◽  
Оlena Poіdо ◽  

In the researched identified features of services of ship management companies and it is proved that the modern model of commercial management can effectively exist only in the presence of complex system of such tools as estimation and the account of navigation, actual calculations of results of navigation, calculation of full loading, consultation of the shortest routes for the vessel, crew hire calculation, control of accounts and cash from charterers, efficiency analysis in the form of an equivalent time charter for any required period. According to the criterion of efficiency of results of activity the systematization is carried out and the estimation of the basic external and internal factors which the company on management of courts faces is given. It is determined that the increase in investment and cash flow of the company complicates the accounting of business transactions and requires new approaches to the formation and accounting of data processing. The directions on increase of profitability of the companies on management of vessels are offered, namely: a choice of additional directions of activity (maintenance of port repair works, creation of additional specially equipped fleet); analysis of long-term charterers and selection of optimal organizational management structures, search for opportunities to maximize the strengths of companies, reduce the impact of weaknesses and threats. It is determined that an effective way to solve the identified problems in the study and increase the profitability of shipping companies is to purchase software products that provide effective management of remote production facilities, asset management and reduce the risk of local repairs and emergencies. The introduction of computerization from the standpoint of improving efficiency has the following positive consequences: minimization of management errors; increasing the efficiency of management decisions; strengthening office control over the maintenance of ships and the use of materials and spare parts; reduction of unproductive downtime of courts; optimization of ship's stocks and volumes of purchases, elimination of erroneous purchases; facilitating the certification of a shipping company in accordance with the requirements of the International Code for the Safe Management of Ships and for Pollution Prevention and in accordance with quality standards and reducing the duration of surveying of ships etc. Among the wide list of various software the software product BASSnet is allocated, its characteristics for achievement of the purpose of increase of efficiency are resulted.


Sign in / Sign up

Export Citation Format

Share Document