Unit Testing Research Articles

أثر استخدام استراتيجية الصف المقلوب في تنمية النمو المعرفي بوحدة الغذاء لدى أطفال الروضة

This study aimed to reveal the effect of using the flipped classroom strategy in developing the cognitive growth of the food unit among kindergarten children. The experimental method was used with a semi-experimental design, one-group, on a research sample consisting of (22) children from the third level from the Kindergarten Teachers Training Center in the city of Jeddah. The two researchers prepared a pre-post cognitive test for the food unit. The results of the study revealed that there are statistically significant differences between the mean scores of the children of the experimental group in the pre and post applications to measure the growth of basic and higher thinking skills among kindergarten children in the food unit, and the differences came in favor of the post application. The study also recommends training and encouraging kindergarten and early childhood teachers to use the flipped classroom strategy in the educational process.

Transfusion support and pre-transfusion testing in autoimmune haemolytic anaemia.

Autoimmune haemolytic anaemia (AIHA) is characterized by an increased destruction of red blood cells due to immune dysfunction and auto-antibody production. Clinical manifestations are mainly related to anaemia, which can become life-threatening in case of acute haemolysis. Aiming at counterbalancing severe anaemia, supportive treatments for these patients frequently include transfusions. Unfortunately, free serum auto-antibodies greatly interfere in pre-transfusion testing, and the identification of compatible red blood cell units for AIHA patients can be challenging or even impossible. Problems faced in pre-transfusion testing often lead to delay or abandonment of transfusions for AIHA patients. In this review, we discuss publications concerning global transfusion management in AIHA, with a focus on pre-transfusion testing, and practical clues to manage the selection of transfusion units for these patients. Depending on the degree of transfusion emergency, we propose an algorithm for the selection and laboratory testing of units to be transfused to AIHA patients.

Development of the ITSJava Application as a Computer-assisted Learning Media in Object-Oriented Programming Courses

This research aims to develop ITSJava application as an interactive learning media for object-oriented programming (OOP) course in information technology education programme at Gorontalo State University. ITSJava was developed using the Personal Xtreme Programming (PXP) development method which consists of six stages: needs identification, planning, initial iteration, design, implementation, and system testing. The results of system testing show that the ITSJava application is suitable for use as a medium for learning OOP. This system can help students learn OOP in an interactive and adaptive way to students' learning styles. Hopefully, this system can be further developed by adding a unit test function to ensure the accuracy of the program code written by students and ensure that the code runs according to the expectations and logic expected by the lecturer.

A Control Flow Graph Generation Method for Java Projects

Many software quality assurance methods depend on the control flow graph (CFG) for theanalyzing process. However, existing methods for Java projects have not described details of the CFGgeneration process, which is critical for having a fully automatic analysis method. This paper presentsa novel method, named CFG4J, for generating CFG associated with a given Java unit. The generatedCFG will be used in many other software quality assurance methods such as test data generation forunit testing, unit debugging, code coverage computation, etc. We have implemented CFG4J in a tooland performed some initial experiments with some common units with potential results. Finally, wegive some discussions about the experimental results at the end of the paper.Keywords: Control flow graph, unit testing, test data generation, Java projects.

Latch: Enabling large-scale automated testing on constrained systems

Testing is an essential part of the software development cycle. Unfortunately, testing on constrained devices is currently very challenging. First, the limited memory of constrained devices severely restricts the size of test suites. Second, the limited processing power causes test suites to execute slowly, preventing a fast feedback loop. Third, when the constrained device becomes unresponsive, it is impossible to distinguish between the test failing or taking very long, forcing the developer to work with timeouts. Unfortunately, timeouts can cause tests to be flaky, i.e., have unpredictable outcomes independent of code changes. Given these problems, most IoT developers rely on laborious manual testing.In this paper, we propose the novel testing framework Latch (Large-scale Automated Testing on Constrained Hardware) to overcome the three main challenges of running large test suites on constrained hardware, as well as automate manual testing scenarios through a novel testing methodology based on debugger-like operations—we call this new testing approach managed testing.The core idea of Latch is to enable testing on constrained devices without those devices maintaining the whole test suite in memory. Therefore, programmers script and run tests on a workstation which then step-wise instructs the constrained device to execute each test, thereby overcoming the memory constraints. Our testing framework further allows developers to mark tests as depending on other tests. This way, Latch can skip tests that depend on previously failing tests resulting in a faster feedback loop. Finally, Latch addresses the issue of timeouts and flaky tests by including an analysis mode that provides feedback on timeouts and the flakiness of tests.To illustrate the expressiveness of Latch, we present testing scenarios representing unit testing, integration testing, and end-to-end testing. We evaluate the performance of Latch by testing a virtual machine against the WebAssembly specification, with a large test suite consisting of 10,213 tests running on an ESP32 microcontroller. Our experience shows that the testing framework is expressive, reliable and reasonably fast, making it suitable to run large test suites on constrained devices. Furthermore, the debugger-like operations enable to closely mimic manual testing.

A Knowledge-Guided Multi-Objective Shuffled Frog Leaping Algorithm for Dynamic Multi-Depot Multi-Trip Vehicle Routing Problem

Optimization algorithms have a wide range of applications in symmetry problems, such as graphs, networks, and pattern recognition. In this paper, a dynamic periodic multi-depot multi-trip vehicle routing model for scheduling test samples is constructed, which considers the differences in testing unit price and testing capacity of various agencies and introduces a cross-depot collaborative transport method. Both the cost and the testing time are minimized by determining the optimal sampling routes and testing agencies, subjecting to the constraints of vehicle capacity, number of vehicles, and delivery time. To solve the model, a knowledge-guided multi-objective shuffled frog leaping algorithm (KMOSFLA) is proposed. KMOSFLA adopts a convertible encoding mechanism to realize the diversified search in different search spaces. Three novel strategies are designed: the population initialization with historical information reuse, the leaping rule based on the greedy crossover and genetic recombination, and the objective-driven enhanced search. Systematic experimental studies are implemented. First, feasibility analyses of the model are carried out, where effectiveness of the cross-depot collaborative transport is validated and sensitivity analyses on two parameters (vehicle capacity and proportion of the third-party testing agencies) are performed. Then, the proposed algorithm KMOSFLA is compared with five state-of-the-art algorithms. Experimental results indicate that KMOSFLA can provide a set of non-dominated schedules with lower cost and shorter testing time in each scheduling period, which provides a reference for the dispatcher to make a final decision.

Opioid-free anaesthesia with dexmedetomidine and lidocaine versus remifentanil-based anaesthesia in cardiac surgery: study protocol of a French randomised, multicentre and single-blinded OFACS trial

IntroductionIntraoperative opioids have been used for decades to reduce negative responses to nociception. However, opioids may have several, and sometimes serious, adverse effects. Cardiac surgery exposes patients to a high...

A Prototype Software Framework for Transferable Computational Health Economic Models and Its Early Application in Youth Mental Health.

We are developing an economic model to explore multiple topics in Australian youth mental health policy. To help make that model more readily transferable to other jurisdictions, we developed a software framework for authoring modular computational health economic models (CHEMs) (the software files that implement health economic models). We specified framework user requirements for: a simple programming syntax; a template CHEM module; tools for authoring new CHEM modules; search tools for finding existing CHEM modules; tools for supplying CHEM modules with data; reproducible analysis and reporting tools; and tools to help maintain a CHEM project website. We implemented the framework as six development version code libraries in the programming language R that integrate with online services for software development and research data archiving. We used the framework to author five development version R libraries of CHEM modules focussed on utility mapping in youth mental health. These modules provide tools for variable validation, dataset description, multi-attribute instrument scoring, construction of mapping models, reporting of mapping studies and making out of sample predictions. We assessed these CHEM module libraries as mostly meeting transparency, reusability and updatability criteria that we have previously developed, but requiring more detailed documentation and unit testing of individual modules. Our software framework has potential value as a prototype for future tools to support the development of transferable CHEMs.Code: Visit https://www.ready4-dev.com for more information about how to find, install and apply the prototype software framework.

Toward granular search-based automatic unit test case generation

Unit testing verifies the presence of faults in individual software components. Previous research has been targeting the automatic generation of unit tests through the adoption of random or search-based algorithms. Despite their effectiveness, these approaches aim at creating tests by solely optimizing metrics like code coverage, without ensuring that the resulting tests have granularities that would allow them to verify both the behavior of individual production methods and the interaction between methods of the class under test. To address this limitation, we propose a two-step systematic approach to the generation of unit tests: we first force search-based algorithms to create tests that cover individual methods of the production code, hence implementing the so-called intra-method tests; then, we relax the constraints to enable the creation of intra-class tests that target the interactions among production code methods. The assessment of our approach is conducted through a mixed-method research design that combines statistical analyses with a user study. The key results report that our approach is able to keep the same level of code and mutation coverage while providing test suites that are more structured, more understandable and aligned to the design principles of unit testing.

Gamifying software engineering subject to enhance the quality of knowledge

AbstractGamification has been widely used in education in recent years. Gamification has been proven to be a useful tool for students, as it motivates them and helps them to learn. The lack of motivation on the part of the students and their poor perception of the importance of software engineering has led to the definition of SESGA. This game has been designed and carried out on third year students of the computer science degree. SESGA has been designed for students to improve their knowledge of static code analysis, unit testing and Git. A software engineering project was carried out in groups, in which each of the students had to perform common software development tasks. The evaluation has measured the accomplishment, challenge, competence, guidance, immersion, playfulness and social involvement of SESGA obtaining remarkable results. It has also shown that SESGA has allowed students to have better academic results and the number of failures has decreased.

Mongolian Education Resource Platform Based on Springmvc+Hibernate+Spring Integration Framework

With the popularization of educational informatization and the advancement of computer technology and multimedia playback, the process of educational networking has reached new heights nationwide. The education networking in Inner Mongolia Autonomous Region is currently in a rapid development stage. In order to provide Mongolian-speaking students with the benefits of educational networking, it is imperative to design and implement a Mongolian language educational resource platform. The designed Mongolian Language Educational Resource Platform in this paper adopts a B/S architecture and utilizes the SpringMVC, Hibernate, and Spring frameworks for overall development. Firstly, the relevant technical knowledge used is introduced, including the B/S architecture, the main frameworks used, and CSS technology, among others. Then, the requirements specification and detailed design plan of the platform are elaborated, including the database design. Finally, the implementation process of the core functionalities of this Mongolian language educational resource platform is described, and unit testing methods are employed to test these core modules. The system in this paper achieves the basic functionalities of the Mongolian language educational resource platform, and the entire platform's functionalities have met the expected goals.

Unit Test Generation Using Large Language Models: A Systematic Literature Review

Unit Test Generation Using Large Language Models: A Systematic Literature Review

Case report of anti JMH: A high-titer, low-avidity antibody posing difficulty in immunohematological tests

This report presents a patient with anti-John Milton Hagen (JMH) posing difficulties in the immunohematological test in the Blood Bank Unit of Universiti Kebangsaan Malaysia Medical Center. A 1-year-8-month-old boy was referred to our center to rule out acute leukemia from a private hospital. A crossmatch request was sent to the Blood Bank before the bone marrow biopsy. Our testing revealed his blood grouping as O Rh-D positive. His Direct Antiglobulin Test was positive, and his antibody screening and antibody identification showed weak pan-reactivity. However, reactions were negative with enzyme-treated cells. Red cell elution showed interestingly no reaction in the eluate, suspected to be due to drug-induced autoantibody. Further tests of antibody titration and neutralization test suggest it could be a high-titer low avidity (HTLA) antibody, most likely Anti-JMH. Although HTLA antibodies are clinically insignificant, they can cause confusion and delay in issuance of blood products. There are also cases of clinically significant HTLA antibodies. Determining the type of HTLA antibody may guide the extent of further testing required to utilize resources best and, most importantly, to assure patient safety.

A numerical method for calculating the long-term settlement of three-dimensional subgrade under numerous traffic loads

Settlement problems caused by various traffic loads significantly impact infrastructure sustainability. Accurately predicting the long-term settlement of subgrade is crucial for improving infrastructure resilience. This study determined the element strain of soil using an explicit strain model, based on the bounding surface model and associated flow rules. Using the method of generalized shear strain equivalent, a cyclic cumulative factor is proposed for determining the magnitude of cumulative strain increment. The direction of plastic strain increment was determined using the bounding surface model combined with associated flow rules. A cumulative strain calculation method integrating the bounding surface and explicit strain models under general stress states was established. This computational method, combined with equivalent finite elements, can be used for calculating the long-term settlement of three-dimensional subgrade under numerous cyclic loads at general stress states through a user-defined subroutine provided by the commercial finite element modeling (FEM) software. The reliability of the method was verified through unit tests.

MARITIME DEPLOYMENT PLANNING AND EXECUTION FOR FIELD TESTING OF OCEAN CURRENT POWER GENERATOR

To develop ocean current power generation, this study explored the planning and execution of the installation and deployment of a 20kW Floating Kuroshio Turbine (FKT) system and anchoring system for field-testing in the southwest coast of Liuqiu Island. During the experiment, the 20kW FKT and anchoring system were loaded onto a vessel from the Kaohsiung Port Intercontinental Container Center by a barge and tugboat for deployment in the southwest coast of Liuqiu Island. The field testing of the 20kW FKT was conducted during this period, and upon completion, the unit will be retrieved. The deployment and retrieval of marine devices are easily affected by wave conditions, which increase the difficulty of the operation. Therefore, when designing the hanging and unhooking system, under the consideration of safety, the convenience of operation for the operators should be simplified as much as possible and safety, The study aims to further develop Taiwan's domestic ocean current power generation technology and provides maritime engineering experience through the installation of the 20kW FKT unit and field mooring tests. Additionally, this research seeks to facilitate a local marine green energy industry development through the economic benefits and commercialization of ocean current power generation.

MARITIME DEPLOYMENT PLANNING AND EXECUTION FOR FIELD TESTING OF OCEAN CURRENT POWER GENERATOR

To develop ocean current power generation, this study explored the planning and execution of the installation and deployment of a 20kW Floating Kuroshio Turbine (FKT) system and anchoring system for field testing in the southwest coast of Liuqiu Island. During the experiment, the 20kW FKT and anchoring system were loaded onto a vessel from the Kaohsiung Port Intercontinental Container Center by a barge and tugboat for deployment in the southwest coast of Liuqiu Island. The field testing of the 20kW FKT was conducted during this period, and upon completion, the unit will be retrieved. The deployment and retrieval of marine devices are easily affected by wave conditions, which increase the difficulty of the operation. Therefore, when designing the hanging and unhooking system, under the consideration of safety, the convenience of operation for the operators should be simplified as much as possible and safety, The study aims to further develop Taiwan's domestic ocean current power generation technology and provides maritime engineering experience through the installation of the 20kW FKT unit and field mooring tests. Additionally, this research seeks to facilitate a local marine green energy industry development through the economic benefits and commercialization of ocean current power generation.

Architectural Patterns in Android Development: Comparing MVP, MVVM, and MVI

Abstract: This technical article provides an in-depth exploration of three prominent architectural patterns in Android development: Model-View-Presenter (MVP), Model-View-ViewModel (MVVM), and the more recent Model-View-Intent (MVI). By dissecting the core components, advantages, and trade-offs of each pattern through the lens of a hypothetical "Jetpack Composer" app, the article aims to provide developers with a comprehensive understanding of their suitability for different application scenarios. The MVP pattern separates the application's data layer from the UI, promoting maintainability and testability. The MVVM pattern, tailored for frameworks supporting two-way data binding, facilitates cleaner UI code and simplifies unit testing. The MVI pattern, well-suited for reactive programming environments, enforces a unidirectional data flow, aiding in predictable state management while introducing additional complexity. Through comparative analysis and examination of real-world examples, this article equips developers with the knowledge and insights necessary to navigate the architectural landscape of Android development, enabling informed decisions that align with project requirements and development philosophies, ultimately leading to more maintainable, scalable, and robust Android applications.

Rancang Bangun Aksaranesia.Co Berbasis Waterfall Model Sebagai Media Gerakan Literasi Sekolah SMPN 4 Kota Yogyakarta

Literacy is important to master in the 21st century. However, in reality, students' low literacy skills are exacerbated by the use of conventional media and the implementation of the School Literacy Movement (GLS) which is not yet optimal. This research aims to (1) analyze the validity of Aksaranesia.co as GLS media at SMPN 4 Yogyakarta City; (2) analyzing the compatibility of Aksaranesia.co as GLS media at SMPN 4 Yogyakarta City; and (3) analyzing the usability of Aksaranesia.co as GLS media at SMPN 4 Yogyakarta City. This research is Research and Development (R&D), with a waterfall model consisting of 5 stages, namely requirements and definition, system and software design, implementation and unit testing, integration and system testing, and operation and maintenance. The results of this R&D are: (1) Aksaranesia.co obtained a mean score of 3.30 on content validity, and 3.66 on construct validity, so it is very valid; (2) Compatibility testing on Android 10.0-13.0, as well as Google Developer tools shows that Aksaranesia.co is 100% compatible; and (3) Aksaranesia.co through usability testing with a percentage of 96.68% or very feasible. Aksaranesia.co is expected to provide implications in efforts to develop literacy media to support the 2030 SDGs.

Detecting semantic conflicts with unit tests

While modern merge techniques, such as 3-way and structured merge, can resolve textual conflicts automatically, they fail when the conflict arises not at the syntactic, but at the semantic level. Detecting such semantic conflicts requires understanding the behavior of the software, which is beyond the capabilities of most existing merge tools. Although semantic merge tools have been proposed, they are usually based on heavyweight static analyses, or need explicit specifications of program behavior. In this work, we take a different route and propose SAM (SemAntic Merge), a semantic merge tool based on the automated generation of unit tests that are used as partial specifications of the changes to be merged, and that drive the detection of unwanted behavior changes (conflicts) when merging software. To evaluate SAM’s feasibility for detecting conflicts, we perform an empirical study relying on a dataset of more than 80 pairs of changes integrated to common class elements (constructors, methods, and fields) from 51 merge scenarios. We also assess how the four unit test generation tools used by SAM individually contribute to conflict identification. Our results show that SAM performs best when combining only the tests generated by Differential EvoSuite and EvoSuite, and using our proposed testability transformations (nine detected conflicts out of 29). These results reinforce previous findings about the potential of using test-case generation to detect conflicts as a method that is versatile and requires only limited deployment effort in practice.

Redesign roadmap to support driving awareness at level railway crossings

The number of accidents at level railway crossings, especially crossings without gate barriers/attendants, is still very high due to technical problems, driving culture, and human error. The aim of this research is to provide road maps application based on ergonomic visual displays design that can increase awareness level for drivers before crossing railway crossings. The double awareness driving (DAD) map information system was built based on the waterfall method, which has 4 steps: defining requirements, system and software design, unit testing, and implementation. User needs to include origin-destination location, geolocation, distance & travel time, directions, crossing information, and crossing notifications. The DAD map application was tested using a usability test to determine the ease of using the application used the System Usability Scale (SUS) questionnaire and an Electroencephalogram (EEG) test to determine the increase in concentration in drivers before and immediately crossing a railway crossing. Periodically, the application provides information on the driving zone being passed; green zone for driving distances > 500 m to the crossing, the yellow zone for distances 500m to 100m, and the red zone for distances < 100 m. The DAD map also provides information on the position and speed of the nearest train that will cross the railway crossing. The usability test for 10 respondents giving SUS score = 97.5 (satisfaction category) with a time-based efficiency value = 0.29 goals/s, error rate = 0%, and a success rate of 93.33%. The cognitive ergonomic testing via Electroencephalogram (EEG) produced a focus level of 21.66%. Based on the results of DAD map testing can be implemented to improve the safety of level railroad crossings in an effort to reduce the number of driving accidents.