An EFSM-Based Test Data Generation Approach in Model-Based Testing

Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system developments speed.Model-based testing(MBT)is a technique that uses system models to generate and execute test cases automatically.It was identified that the test data generation(TDG)in many existing model-based test case generation(MB-TCG)approaches were still manual.An automatic and effective TDG can further reduce testing cost while detecting more faults.This study proposes an automated TDG approach in MB-TCG using the extended finite state machine model(EFSM).The proposed approach integrates MBT with combinatorial testing.The information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing approach.The results showed that the proposed approach was able to detect 6.62 percent more faults than the conventionalMB-TCG but at the same time generated 43 more tests.The proposed approach effectively detects faults,but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.

Model-based testing with UML applied to a roaming algorithm for Bluetooth devices

In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology on how to use the testing profile in order to modify and extend an existing UML design model for test issues. The application of the methodology will be explained by applying it to an existing UML Model for a Bluetooth device.

An Improved Approach for Generating Test Cases during Model-Based Testing Using Tree Traversal Algorithm

During the model-based software testing process, test cases are generated from modeled requirements to conduct acceptance testing. However, existing approaches generate erroneous test cases, lack full coverage criteria and prototype tools. Therefore, the aim of this research is to develop an approach capable of reducing erroneous test case generation based on full coverage criteria and a prototype tool. The method employed was to develop a parser to extract information from the XMI file of a modeling diagram where a tree is constructed and a traversal operation executed on the nodes and edges to generate test cases. The results obtained from the proposed approach showed that 97.35% of the generated test cases were precise and comprehensive enough to conduct testing because 99.01% of all the nodes and edges were fully covered during the traversal operations.

Design on Model-based Visualization System for Civil Aircraft Airborne Equipment Identification Test

To meet the needs of complex system equipment testing and realize the visual management of different test projects,this article establishes a test project management system based on the actual situation of aviation equipment testing system and the concept of big data,using visual data management and analysis techniques.This system solves the comprehensive management of multi-type test projects.Combined with the actual engineering verification process,it can be found that the system can realize the visual management of test projects and effectively ensure the smooth completion of the identification test project of a certain type of aircraft′s complex system.

A Parallel Hybrid Testing Technique for Tri-Programming Model-Based Software Systems

Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple levels.Combining different programming paradigms,such as Message Passing Interface(MPI),Open Multiple Processing(OpenMP),and Open Accelerators(OpenACC),can increase computation speed and improve performance.During the integration of multiple models,the probability of runtime errors increases,making their detection difficult,especially in the absence of testing techniques that can detect these errors.Numerous studies have been conducted to identify these errors,but no technique exists for detecting errors in three-level programming models.Despite the increasing research that integrates the three programming models,MPI,OpenMP,and OpenACC,a testing technology to detect runtime errors,such as deadlocks and race conditions,which can arise from this integration has not been developed.Therefore,this paper begins with a definition and explanation of runtime errors that result fromintegrating the three programming models that compilers cannot detect.For the first time,this paper presents a classification of operational errors that can result from the integration of the three models.This paper also proposes a parallel hybrid testing technique for detecting runtime errors in systems built in the C++programming language that uses the triple programming models MPI,OpenMP,and OpenACC.This hybrid technology combines static technology and dynamic technology,given that some errors can be detected using static techniques,whereas others can be detected using dynamic technology.The hybrid technique can detect more errors because it combines two distinct technologies.The proposed static technology detects a wide range of error types in less time,whereas a portion of the potential errors that may or may not occur depending on the 4502 CMC,2023,vol.74,no.2 operating environment are left to the dynamic technology,which completes the validation.

Failure characterization of fully grouted rock bolts under triaxial testing

Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic stress conditions.Under these conditions,it is assumed that the intermediate principal stress(σ_(2))equals the minimum principal stress(σ_(3)).This assumption overlooks the potential variations in magnitudes of in situ stress conditions along all three directions near an underground opening where a rock bolt is installed.In this study,a series of push tests was meticulously conducted under triaxial conditions.These tests involved applying non-uniform confining stresses(σ_(2)≠σ_(3))to cubic specimens,aiming to unveil the previously overlooked influence of intermediate principal stresses on the strength properties of rock bolts.The results show that as the confining stresses increase from zero to higher levels,the pre-failure behavior changes from linear to nonlinear forms,resulting in an increase in initial stiffness from 2.08 kN/mm to 32.51 kN/mm.The load-displacement curves further illuminate distinct post-failure behavior at elevated levels of confining stresses,characterized by enhanced stiffness.Notably,the peak load capacity ranged from 27.9 kN to 46.5 kN as confining stresses advanced from σ_(2)=σ_(3)=0 to σ_(2)=20 MPa and σ_(3)=10 MPa.Additionally,the outcomes highlight an influence of confining stress on the lateral deformation of samples.Lower levels of confinement prompt overall dilation in lateral deformation,while higher confinements maintain a state of shrinkage.Furthermore,diverse failure modes have been identified,intricately tied to the arrangement of confining stresses.Lower confinements tend to induce a splitting mode of failure,whereas higher loads bring about a shift towards a pure interfacial shear-off and shear-crushed failure mechanism.

Unbound^(28)O,the heaviest oxygen isotope observed:a cutting-edge probe for testing nuclear models

The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an excellent test for stateof-the-art nuclear models.The atomic nucleus is a self-organized quantum manybody system comprising specific numbers of protons Z and neutrons N.

Electrochemical biosensors for point-of-care testing

Point-of-care testing(POCT)is the practice of diagnosing and monitoring diseases where the patient is located,as opposed to traditional treatment conducted solely in a medical laboratory or other clinical setting.POCT has been less common in the recent past due to a lack of portable medical devices capable of facilitating effective medical testing.However,recent growth has occurred in this field due to advances in diagnostic technologies,device miniaturization,and progress in wearable electronics.Among these developments,electrochemical sensors have attracted interest in the POCT field due to their high sensitivity,compact size,and affordability.They are used in various applications,from disease diagnosis to health status monitoring.In this paper we explore recent advancements in electrochemical sensors,the methods of fabricating them,and the various types of sensing mechanisms that can be used.Furthermore,we delve into methods for immobilizing specific biorecognition elements,including enzymes,antibodies,and aptamers,onto electrode surfaces and how these sensors are used in real-world POCT settings.

Micromechanical testing and property upscaling of planetary rocks:A critical review

Knowledge of the mechanical behavior of planetary rocks is indispensable for space explorations.The scarcity of pristine samples and the irregular shapes of planetary meteorites make it difficult to obtain representative samples for conventional macroscale rock mechanics experiments(macro-RMEs).This critical review discusses recent advances in microscale RMEs(micro-RMEs)techniques and the upscaling methods for extracting mechanical parameters.Methods of mineralogical and microstructural analyses,along with non-destructive mechanical techniques,have provided new opportunities for studying planetary rocks with unprecedented precision and capabilities.First,we summarize several mainstream methods for obtaining the mineralogy and microstructure of planetary rocks.Then,nondestructive micromechanical testing methods,nanoindentation and atomic force microscopy(AFM),are detailed reviewed,illustrating the principles,advantages,influencing factors,and available testing results from literature.Subsequently,several feasible upscaling methods that bridge the micro-measurements of meteorite pieces to the strength of the intact body are introduced.Finally,the potential applications of planetary rock mechanics research to guiding the design and execution of space missions are environed,ranging from sample return missions and planetary defense to extraterrestrial construction.These discussions are expected to broaden the understanding of the microscale mechanical properties of planetary rocks and their significant role in deep space exploration.

C-CORE:Clustering by Code Representation to Prioritize Test Cases in Compiler Testing

Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.

Improved reservoir characterization by means of supervised machine learning and model-based seismic impedance inversion in the Penobscot field,Scotian Basin

The present research work attempted to delineate and characterize the reservoir facies from the Dawson Canyon Formation in the Penobscot field,Scotian Basin.An integrated study of instantaneous frequency,P-impedance,volume of clay and neutron-porosity attributes,and structural framework was done to unravel the Late Cretaceous depositional system and reservoir facies distribution patterns within the study area.Fault strikes were found in the EW and NEE-SWW directions indicating the dominant course of tectonic activities during the Late Cretaceous period in the region.P-impedance was estimated using model-based seismic inversion.Petrophysical properties such as the neutron porosity(NPHI)and volume of clay(VCL)were estimated using the multilayer perceptron neural network with high accuracy.Comparatively,a combination of low instantaneous frequency(15-30 Hz),moderate to high impedance(7000-9500 gm/cc*m/s),low neutron porosity(27%-40%)and low volume of clay(40%-60%),suggests fair-to-good sandstone development in the Dawson Canyon Formation.After calibration with the welllog data,it is found that further lowering in these attribute responses signifies the clean sandstone facies possibly containing hydrocarbons.The present study suggests that the shale lithofacies dominates the Late Cretaceous deposition(Dawson Canyon Formation)in the Penobscot field,Scotian Basin.Major faults and overlying shale facies provide structural and stratigraphic seals and act as a suitable hydrocarbon entrapment mechanism in the Dawson Canyon Formation's reservoirs.The present research advocates the integrated analysis of multi-attributes estimated using different methods to minimize the risk involved in hydrocarbon exploration.

Field testing of shear strength of granite residual soils

The characteristics of residual soils are very different from those of sedimentary soils.Although the strength characteristics of sedimentary soils have been studied extensively,the shear strength characteristics of granitic residual soils(GRS)subjected to the weathering of parent rocks have rarely been investigated.In this study,the shear strength characteristics of GRS in the Taishan area of southeast China(TSGRS)were studied by field and laboratory tests.The field tests consisted of a cone penetration test(CPT),borehole shear test(BST),self-boring pressuremeter test(SBPT),and seismic dilatometer Marchetti test(SDMT).The shortcomings of laboratory testing are obvious,with potential disturbances arising through the sampling,transportation,and preparation of soil samples.Due to the special structure of GRS samples and the ease of disturbance,the results obtained from laboratory tests were generally lower than those obtained from situ tests.The CPT and scanning electron microscopy(SEM)results indicated significant weathering and crustal hardening in the shallow TSGRS.This resulted in significant differences in the strength and strength parameters of shallow soil obtained by the BST.Based on the SDMT and SBPT results,a comprehensive evaluation method of shear strength for TSGRS was proposed.The SBPT was suitable for evaluating the strength of shallow GRS.The material index(ID)and horizontal stress index(KD)values obtained by the SDMT satisfied the empirical relationship proposed by Marchetti based on the ID index,and were therefore considered suitable for the evaluation of the shear strength of deep GRS.

Efficient Penetration Testing Path Planning Based on Reinforcement Learning with Episodic Memory

Intelligent penetration testing is of great significance for the improvement of the security of information systems,and the critical issue is the planning of penetration test paths.In view of the difficulty for attackers to obtain complete network information in realistic network scenarios,Reinforcement Learning(RL)is a promising solution to discover the optimal penetration path under incomplete information about the target network.Existing RL-based methods are challenged by the sizeable discrete action space,which leads to difficulties in the convergence.Moreover,most methods still rely on experts’knowledge.To address these issues,this paper proposes a penetration path planning method based on reinforcement learning with episodic memory.First,the penetration testing problem is formally described in terms of reinforcement learning.To speed up the training process without specific prior knowledge,the proposed algorithm introduces episodic memory to store experienced advantageous strategies for the first time.Furthermore,the method offers an exploration strategy based on episodic memory to guide the agents in learning.The design makes full use of historical experience to achieve the purpose of reducing blind exploration and improving planning efficiency.Ultimately,comparison experiments are carried out with the existing RL-based methods.The results reveal that the proposed method has better convergence performance.The running time is reduced by more than 20%.

SARS-CoV-2 Pooled Testing Methodology for PCR Testing Applied in Private Laboratory in Armenia

Since the beginning of COVID-19 pandemics many countries were facing challenges with testing capacity recourse limitations. Throughout the waves of the pandemic countries were trying to address the existing constrains exploring solutions to increase the testing capacity with more cost-effective approaches. Pooled methodology was one of the methods which many have validated and used. It is evident that in case of pooled sample testing the sensitivity becomes lower, however the variation highly depends on the pool size as well as the incidence rate at the certain point. Armenia as well as many other countries has adopted regulations for mandatory COVID-19 PCR testing for all the travelers. Current study aimed to explore the efficiency of COVID-19 pooled PCR testing for nasopharyngeal swabs of individuals with no symptoms in a time period with good epidemiological state of the infection. Nasopharingeal swab samples from individuals were collected. The manual extraction of RNAs of samples was performed after pooling up to 5 samples. The pools with Cycle Threshold (CT) of < 37 were considered positive and were retested individually. In total 28,015 samples were grouped in 667 pools of which 57 were positive. The total number of positive samples was 65. The median difference (CT-pool–CT samples) was 2.4 (ranging from–3.0 to 8.9). The correlation of CT of pools and positive samples was positive. The correlation coefficient r = 0.84, P < 0.000, 95% CI range 0.7423 to 0.9243). The total economic saving when using pools compared to the individual testing was 72%. The minor difference between CT values of pools and samples can be explained by the dilution effect in the pool. However, the positive correlation between the values as well as the amount of cost saving demonstrate that pooling on nasopharyngeal samples for COVID-19 PCR testing can be a good method for efficient screening with significant resource saving. One of the most important advantages of the proposed method is the fact that samples are pooled prior extraction, which avoids the possibilities with misinterpretation of IC due to low yield of RNA in the extraction process.

Contribution of Stress Testing to the Management of Ischemic Heart Disease in Mali

Introduction: Exercise stress testing (on a treadmill or ergometer bicycle) is an important test in cardiology for diagnosing myocardial ischemia. This test in Mali is still in its beginning compared to other countries in the sub-region. The lack of data in Mali prompted this study, which aimed to evaluate the indications of this activity and its diagnostic contribution to cardiology in Mali. Materials and Methods: This was a retrospective, descriptive study. The study was conducted at the “TOUCAM” medical clinic in Kati based on the analysis of stress test reports between January 2016 and August 2022. Result: During the study period, we documented 73 patients who underwent exercise testing on a bicycle ergometer for suspected coronary heart disease. The mean age of our patients was 47.5 ± 13.8 years (14 and 79 years). Males accounted for the majority (78.1%). The sex ratio is 3.5. More than half of our patients were overweight or obese (77.1%). Hypertension and diabetes affected 52.1% and 25.8% of patients, respectively. 20.8% of patients had coronary artery disease. renin-angiotensin-aldosterone system blockers (56.8%) and beta-blockers (51.3%). The main indications were chest pain (63.0%) and ischemia detection (15.1%). A modified STEEP protocol was used. The majority of our patients (71.2%) achieved at least 85% of their maximum theoretical heart rate. The main reason for the termination of the study was fatigue (57.3%). The average duration was 11.3 ± 4.2 minutes. 24.7% thought the stress tests were positive and 17.8% thought they were controversial. Conclusion: This study demonstrates the importance of stress testing in the diagnosis and treatment of ischemic heart disease, especially in settings where we have very limited access to coronary angiography.

Assessing the Spatial Equality of COVID Testing Sites Maintaining Zero COVID Policy

Rapid and timely testing is essential to minimize the COVID-19 spread. Decision makers and policy planners need to determine the equal distribution and accessibility of testing sites. This study mainly examines the spatial equality of COVID-19 testing sites that maintain a zero COVID policy in Guangzhou City. The study has identified the spatial disparities of COVID testing sites, characteristics of testing locations, and accessibility. The study has obtained information on COVID testing sites in Guangzhou City and population data. Point pattern analyses, Euclidian distance and allocation, and network analyses are the main methods used to achieve the research objectives, and 1183 total COVID testing sites can be recognized in Guangzhou City. Results revealed that spatial disparities could be noticed over the study area. Testing locations of Guangzhou City are highly clustered. The most significant testing sites are located in Haizhu District, which has the third largest population. The highest population density can be identified in Yuexiu District. However, only 94 testing sites are located there. According to all the results, higher disparities can be identified, and a lack of testing sites is located in the north part of the study area. Some people in the northern part have to travel more than 10 km to reach a testing site. Finally, this paper suggests increasing the number of testing sites in the north and south parts of the study area and keeping the same distribution, considering the area, total population, and population density. This kind of research will be helpful to decision-makers in making proper decisions to maintain a zero COVID policy.

Effectiveness of Co-Testing in Cervical Cancer Screening Program in Macao SAR

Background: Cervical cancer remains a significant public health concern in Macao SAR despite the implementation of a cervical cancer screening program and HPV vaccination. To improve early detection, Macao SAR introduced HPV DNA testing alongside cytology (co-testing) as the primary screening method in 2019. This study evaluates the effectiveness of co-testing in identifying cervical precancerous lesions (CIN2+) compared to cytology alone. Methods: We conducted a retrospective analysis of women aged 30 - 65 years who participated in the routine cervical cancer screening program in Macao SAR Primary Healthcare Centers from 2019 to 2022. Data from over 70,000 women were analyzed, comparing the detection rates of CIN2+ through co-testing and cytology alone. Women with abnormal cytology or positive HPV results were referred for colposcopy. Results: The introduction of co-testing led to a significant increase in the detection of CIN2+, particularly in women with atypical squamous cells of undetermined significance (ASCUS) or negative for intraepithelial lesion or malignancy (NILM) cytology results. Between 2019 and 2022, the percentage of women with ASCUS/NILM and any high-risk HPV (hrHPV) positive who were diagnosed with CIN2+ after colposcopy were 24%, 13%, 10% and 7.5% respectively. This highlights the ability of co-testing to identify high-risk individuals who would have been missed by cytology alone. Discussion: Our findings demonstrate the effectiveness of co-testing in improving the sensitivity of cervical cancer screening in Macao SAR. The inclusion of HPV DNA testing allows for better risk stratification of women with ASCUS/NILM cytology, leading to more targeted referrals for colposcopy and timely detection of precancerous lesions. The initial high positive rate in 2019 (24%) might be attributed to the small sample size and potentially reflects a backlog of undiagnosed cases prior to co-testing implementation. Conclusion: The implementation of co-testing in Macao SAR’s cervical cancer screening program significantly improves the early detection of precancerous lesions, particularly in women with ambiguous cytology results. This proactive approach contributes to reducing cervical cancer morbidity and mortality and improving women’s health outcomes in Macao SAR.

Cautionary Remarks When Testing Agreement between Two Raters for Continuous Scale Measurements: A Tutorial in Clinical Epidemiology with Implementation Using R

Background: When continuous scale measurements are available, agreements between two measuring devices are assessed both graphically and analytically. In clinical investigations, Bland and Altman proposed plotting subject-wise differences between raters against subject-wise averages. In order to scientifically assess agreement, Bartko recommended combining the graphical approach with the statistical analytic procedure suggested by Bradley and Blackwood. The advantage of using this approach is that it enables significance testing and sample size estimation. We noted that the direct use of the results of the regression is misleading and we provide a correction in this regard. Methods: Graphical and linear models are used to assess agreements for continuous scale measurements. We demonstrate that software linear regression results should not be readily used and we provided correct analytic procedures. The degrees of freedom of the F-statistics are incorrectly reported, and we propose methods to overcome this problem by introducing the correct analytic form of the F statistic. Methods for sample size estimation using R-functions are also given. Results: We believe that the tutorial and the R-codes are useful tools for testing and estimating agreement between two rating protocols for continuous scale measurements. The interested reader may use the codes and apply them to their available data when the issue of agreement between two raters is the subject of interest.

Large-scale model testing of high-pressure grouting reinforcement for bedding slope with rapid-setting polyurethane

Bedding slope is a typical heterogeneous slope consisting of different soil/rock layers and is likely to slide along the weakest interface.Conventional slope protection methods for bedding slopes,such as retaining walls,stabilizing piles,and anchors,are time-consuming and labor-and energy-intensive.This study proposes an innovative polymer grout method to improve the bearing capacity and reduce the displacement of bedding slopes.A series of large-scale model tests were carried out to verify the effectiveness of polymer grout in protecting bedding slopes.Specifically,load-displacement relationships and failure patterns were analyzed for different testing slopes with various dosages of polymer.Results show the great potential of polymer grout in improving bearing capacity,reducing settlement,and protecting slopes from being crushed under shearing.The polymer-treated slopes remained structurally intact,while the untreated slope exhibited considerable damage when subjected to loads surpassing the bearing capacity.It is also found that polymer-cemented soils concentrate around the injection pipe,forming a fan-shaped sheet-like structure.This study proves the improvement of polymer grouting for bedding slope treatment and will contribute to the development of a fast method to protect bedding slopes from landslides.