Logarithm and program testing

Randomized property-based testing has gained much attention recently, but most frameworks stop short at polymorphic properties. Although Bernardy et al. have developed a theory to reduce a wide range of polymorphic properties to monomorphic ones, it relies upon ad-hoc embedding-projection pairs to massage the types into a particular form. This paper skips the embedding-projection pairs and presents a mechanical monomorphization for a general class of polymorphic functions, a step towards automatic testing for polymorphic properties. The calculation of suitable types for monomorphization turns out to be logarithm .

Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

A methodology for automatic simulation-based testing of control systems for autonomous vessels is proposed. The work is motivated by the need for increased test coverage and formalism in the verification efforts. It aims to achieve this by formulating requirements in the formal logic Signal Temporal Logic (STL). This enables automatic evaluation of simulations against requirements using the STL robustness metric, resulting in a robustness score for requirements satisfaction. Furthermore, the proposed method uses a Gaussian Process (GP) model for estimating robustness scores including levels of uncertainty for untested cases. The GP model is updated by running simulations and observing the resulting robustness, and its estimates are used to automatically guide the test case selection toward cases with low robustness or high uncertainty. The main scientific contribution is the development of an automatic testing method which incrementally runs new simulations until the entire parameter space of the case is covered to the desired confidence level, or until a case which falsifies the requirement is identified. The methodology is demonstrated through a case study, where the test object is a Collision Avoidance (CA) system for a small high-speed vessel. STL requirements for safety distance, mission compliance, and COLREG compliance are developed. The proposed method shows promise, by both achieving verification in feasible time and identifying falsifying behaviors which would be difficult to detect manually or using brute-force methods. An additional contribution of this work is a formalization of COLREG using temporal logic, which appears to be an interesting direction for future work.

Using Moodle in an Information Educational Environment of HEIs under Distance Learning

The article dwells upon the problem of distance learning using the Moodle Learning Management System (LMS). Importantly, the article analyzes the use of LMS or virtual learning environments (VLE) at universities, designed to store learning materials, conduct automatic testing of students’ knowledge, support remote communication, generate information on progress and reports on working with distance learning courses. The most well-known paid systems (according to Google Trends service) include Blackboard Learning System, Edmodo, Glow, Ning, SharePoint LMS. At the same time, the most popular free LMS is Moodle, as evidenced by both the results of Google Trends statistics and the data obtained from the ListEdTech resource. The article determines the features of using this system in the professional training of pedagogy students. It describes the challenges (problems) faced by students when taking distance learning courses, the time frame of students’ work on this learning platform and students’ assessment of the quality of distance learning courses developed in the Moodle system. It shows that the use of this system saves time spent on training, freeing it up for personal life, self-education, hobbies and entertainment. Students with higher academic performance spend more time working in the Moodle system. Indeed, they intend to acquire knowledge, obtain a diploma of higher education and further pursue their professional careers. More than half of the respondents rate distance learning courses positively. In their opinion, such courses are creative, valuable, exciting, effective, clear, innovative, meeting expectations, unconventional, innovative, easy to learn and enjoyable.

A Cost-Effective and Non-Invasive pfeRNA-Based Test Differentiates Benign and Suspicious Pulmonary Nodules from Malignant Ones

The ability to differentiate between benign, suspicious, and malignant pulmonary nodules is imperative for definitive intervention in patients with early stage lung cancers. Here, we report that plasma protein functional effector sncRNAs (pfeRNAs) serve as non-invasive biomarkers for determining both the existence and the nature of pulmonary nodules in a three-stage study that included the healthy group, patients with benign pulmonary nodules, patients with suspicious nodules, and patients with malignant nodules. Following the standards required for a clinical laboratory improvement amendments (CLIA)-compliant laboratory-developed test (LDT), we identified a pfeRNA classifier containing 8 pfeRNAs in 108 biospecimens from 60 patients by sncRNA deep sequencing, deduced prediction rules using a separate training cohort of 198 plasma specimens, and then applied the prediction rules to another 230 plasma specimens in an independent validation cohort. The pfeRNA classifier could (1) differentiate patients with or without pulmonary nodules with an average sensitivity and specificity of 96.2% and 97.35% and (2) differentiate malignant versus benign pulmonary nodules with an average sensitivity and specificity of 77.1% and 74.25%. Our biomarkers are cost-effective, non-invasive, sensitive, and specific, and the qPCR-based method provides the possibility for automatic testing of robotic applications.

Cloud based Agile Methodology Test Automation for Web Application by Using Tanh Activated Clustering and Classification Model (TACC) in Machine Learning

Automatic functional tests are a long-standing issue in software development projects, and they are still carried out manually. The Selenium testing framework has gained popularity as an active community and standard environment for automated assessment of web applications. As a result, the trend setting of web services is evolving on a daily basis, and there is a need to improve automatic testing. The study involves to make the system to understand the experiences of previous test cases and apply new cases to predict the status of test case using Tanh activated Clustering and Classification model (TACC). The primary goal is to improve the model's clustering and classification output. The outcomes show that the TACC model has increased performance and demonstrated that automated testing results can be predicted, which is cost effective and reduces manual effort to a greater extent.

The method of student's query analysis while intelligent computer tutoring in SQL

Recently, IT specialties have become one of the most demanded specialties in the world labor market. Simultaneously the traditional teaching in conditions of mass production, even with a professional teacher, has a significant drawback – the fundamental impossibility of adapting to each student. Since the 60s of the twentieth century, researchers worldwide have been developing various computer-tutoring tools that have, less or more, adaptive functions. Nevertheless, the task of the perfect computer tutor development is still far from being solved. The article's research subject is the process of student requests analyzing during intelligent computer tutoring in SQL. The main goal is to develop a method for analyzing the student's SQL queries. The purposes: to form a general scheme and features of the method for analyzing student’s SQL queries based on the principles of technical diagnostics and methods of lexical, syntactic analysis of computer programs; to develop methods for parse tree construction; to create methods for comparing reference and real SQL queries according to their similarity rate; to demonstrate the function ability of the developed methods on specific examples. The methods used computer programs the automatic testing method, the computer programs lexical and syntactic analysis methods, the computer programs parsing trees construction methods, the objects diagnosing method based on comparison with a reference, the strings analysis methods, the method of q-grams. The following results were obtained: the student’s SQL queries analysis method was formed based on a system approach including automatic testing on real data, building query-parsing trees, comparison with a reference, and comprehensive determination of the queries similarity rate. The scientific novelty is the improvement of the method for the student's SQL query analysis during intelligent computer training in SQL query composition.