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...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.展开更多
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 ...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.展开更多
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,...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.展开更多
<p align="left"> <span style="font-family:Verdana;">During the model-based software testing process, test cases are generated from modeled requirements to conduct acceptance testing. Ho...<p align="left"> <span style="font-family:Verdana;">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.</span> </p>展开更多
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness t...Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.展开更多
Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for opti...Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for optimal coverage,ranking further refines their execution order to detect critical faults earlier.This study investigates machine learning techniques to enhance both prioritization and ranking,contributing to more effective and efficient testing processes.We first employ advanced feature engineering alongside ensemble models,including Gradient Boosted,Support Vector Machines,Random Forests,and Naive Bayes classifiers to optimize test case prioritization,achieving an accuracy score of 0.98847 and significantly improving the Average Percentage of Fault Detection(APFD).Subsequently,we introduce a deep Q-learning framework combined with a Genetic Algorithm(GA)to refine test case ranking within priority levels.This approach achieves a rank accuracy of 0.9172,demonstrating robust performance despite the increasing computational demands of specialized variation operators.Our findings highlight the effectiveness of stacked ensemble learning and reinforcement learning in optimizing test case prioritization and ranking.This integrated approach improves testing efficiency,reduces late-stage defects,and improves overall software stability.The study provides valuable information for AI-driven testing frameworks,paving the way for more intelligent and adaptive software quality assurance methodologies.展开更多
With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent ...With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent customer service,and medical diagnosis,is constructed based on complex technologies like machine learning and deep learning.Its uncertain behavior and data dependence pose unprecedented challenges to software testing.However,existing software testing courses mainly focus on conventional contents and are unable to meet the requirements of intelligent software testing.Therefore,this work deeply analyzed the relevant technologies of intelligent software testing,including reliability evaluation indicator system,neuron coverage,and test case generation.It also systematically designed an intelligent software testing course,covering teaching objectives,teaching content,teaching methods,and a teaching case.Verified by the practical teaching in four classes,this course has achieved remarkable results,providing practical experience for the reform of software testing courses.展开更多
Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our ...Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our members have been very active over the past 12 months and this has resulted in new technologies for the production of technical fibres and fabrics,the introduction of AI and machine learning into process control systems and significant advances in materials testing,”says BTMA CEO Jason Kent.“There’s real excitement about what can be achieved in 2026 as we look ahead to upcoming exhibitions such as JEC Composites in Paris in March and Techtextil in Frankfurt in April.”展开更多
With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raisin...With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raising increasing concerns about their security.Existing fuzz testing methods include random or dictionary-based input generation,which often fail to ensure both syntactic and semantic correctness,and OpenAPIbased approaches,which offer better accuracy but typically lack detailed descriptions of endpoints,parameters,or data formats.To address these issues,this paper proposes the APIDocX fuzz testing framework.It introduces a crawler tailored for dynamic web pages that automatically simulates user interactions to trigger APIs,capturing and extracting parameter information from communication packets.A multi-endpoint parameter adaptation method based on improved Jaccard similarity is then used to generalize these parameters to other potential API endpoints,filling in gaps in OpenAPI specifications.Experimental results demonstrate that the extracted parameters can be generalized with 79.61%accuracy.Fuzz testing using the enriched OpenAPI documents leads to improvements in test coverage,the number of valid test cases generated,and fault detection capabilities.This approach offers an effective enhancement to automated REST API security testing.展开更多
Lateral flow immunoassays(LFIAs)are low-cost,rapid,and easy to use for pointof-care testing(POCT),but the majority of the available LFIA tests are indicative,rather than quantitative,and their sensitivity in antigen t...Lateral flow immunoassays(LFIAs)are low-cost,rapid,and easy to use for pointof-care testing(POCT),but the majority of the available LFIA tests are indicative,rather than quantitative,and their sensitivity in antigen tests are usually limited at the nanogram range,which is primarily due to the passive capillary fluidics through nitrocellulose membranes,often associated with non-specific bindings and high background noise.To overcome this challenge,we report a Beads-on-a-Tip design by replacing nitrocellulose membranes with a pipette tip loaded with magnetic beads.The beads are pre-conjugated with capture antibodies that support a typical sandwich immunoassay.This design enriches the low-abundant antigen proteins and allows an active washing process to significantly reduce non-specific bindings.To further improve the detection sensitivity,we employed upconversion nanoparticles(UCNPs)as luminescent reporters and SARS-CoV-2 spike(S)antigen as a model analyte to benchmark the performance of this design against our previously reported methods.We found that the key to enhance the immunocomplex formation and signal-to-noise ratio lay in optimizing incubation time and the UCNP-to-bead ratio.We therefore successfully demonstrated that the new method can achieve a very large dynamic range from 500 fg/mL to 10μg/mL,across over 7 digits,and a limit of detection of 706 fg/mL,nearly another order of magnitude lower than the best reported LFIA using UCNPs in COVID-19 spike antigen detection.Our system offers a promising solution for ultra-sensitive and quantitative POCT diagnostics.展开更多
To address the insufficient prediction accuracy of multi-state parameters in electro-hydraulic servo material fatigue testing machines under complex loading and nonlinear coupling conditions,this paper proposes a mult...To address the insufficient prediction accuracy of multi-state parameters in electro-hydraulic servo material fatigue testing machines under complex loading and nonlinear coupling conditions,this paper proposes a multivariate sequence-to-sequence prediction model integrating a Long Short-Term Memory(LSTM)encoder,a Gated Recurrent Unit(GRU)decoder,and a multi-head attention mechanism.This approach enhances prediction accuracy and robustness across different control modes and load spectra by leveraging multi-channel inputs and cross-variable feature interactions,thereby capturing both short-term high-frequency dynamics and long-term slow drift characteristics.Experiments using long-term data from real test benches demonstrate that the model achieves a stable MSE below 0.01 on the validation set,with MAE and RMSE of approximately 0.018 and 0.052,respectively,and a coefficient of determination reaching 0.98.This significantly outperforms traditional identification methods and single RNN models.Sensitivity analysis indicates that a prediction stride of 10 achieves an optimal balance between accuracy and computational overhead.Ablation experiments validated the contribution of multi-head attention and decoder architecture to enhancing cross-variable coupling modeling capabilities.This model can be applied to residualdriven early warning in health monitoring,and risk assessment with scheme optimization in test design.It enables near-real-time deployment feasibility,providing a practical data-driven technical pathway for reliability assurance in advanced equipment.展开更多
Patients affected by monogenic diseases impose a substantial burden on both themselves and their families.The primary preventive measure,i.e.,invasive prenatal diagnosis,carries a risk of miscarriage and cannot be per...Patients affected by monogenic diseases impose a substantial burden on both themselves and their families.The primary preventive measure,i.e.,invasive prenatal diagnosis,carries a risk of miscarriage and cannot be performed early in pregnancy.Hence,there is a need for non-invasive prenatal testing(NIPT)for monogenic diseases.By utilizing enriched cell-free fetal DNA(cffDNA)from maternal plasma,we refine the NIPT method,which combines targeted region capture technology,haplotyping,and analysis of informative site frequency.We apply this method to 93 clinical families at genetic risk for thalassemia,encompassing various genetic variant types,to establish a workflow and evaluate its efficiency.Our approach requires only 3 ng of DNA input to generate 0.1 Gb informative target genomic data and leverages a minimum of 3%cffDNA.This method has a 98.16%success rate and 100%concordance with conventional invasive methods.Furthermore,we demonstrate the ability to analyze fetal genotypes as early as eight weeks of gestation.This study establishes an optimized NIPT method for the early detection of various thalassemia disorders during pregnancy.This technique demonstrates high accuracy and potential for clinical application in prenatal diagnosis.展开更多
As deep learning(DL)models are increasingly deployed in sensitive domains(e.g.,healthcare),concerns over privacy and security have intensified.Conventional penetration testing frameworks,such asOWASP and NIST,are effe...As deep learning(DL)models are increasingly deployed in sensitive domains(e.g.,healthcare),concerns over privacy and security have intensified.Conventional penetration testing frameworks,such asOWASP and NIST,are effective for traditional networks and applications but lack the capabilities to address DL-specific threats,such asmodel inversion,membership inference,and adversarial attacks.This review provides a comprehensive analysis of penetration testing for the privacy of DL models,examining the shortfalls of existing frameworks,tools,and testing methodologies.Through systematic evaluation of existing literature and empirical analysis,we identify three major contributions:(i)a critical assessment of traditional penetration testing frameworks’inadequacies when applied to DL-specific privacy vulnerabilities,(ii)a comprehensive evaluation of state-of-the-art privacy-preserving methods and their integration with penetration testing workflows,and(iii)the development of a structured framework that combines reconnaissance,threat modeling,exploitation,and post-exploitation phases specifically tailored for DL privacy assessment.Moreover,this review evaluates popular solutions such as IBMAdversarial Robustness Toolbox and TensorFlowPrivacy,alongside privacy-preserving techniques(e.g.,Differential Privacy,Homomorphic Encryption,and Federated Learning),which we systematically analyze through comparative studies of their effectiveness,computational overhead,and practical deployment constraints.While these techniques offer promising safeguards,their adoption is hindered by accuracy loss,performance overheads,and the rapid evolution of attack strategies.Our findings reveal that no single existing solution provides comprehensive protection,which leads us to propose a hybrid approach that strategically combines multiple privacy-preserving mechanisms.The findings of this survey underscore an urgent need for automated,regulationcompliant penetration testing frameworks specifically tailored to DL systems.We argue for hybrid privacy solutions that combinemultiple protectivemechanisms to ensure bothmodel accuracy and privacy.Building on our analysis,we present actionable recommendations for developing adaptive penetration testing strategies that incorporate automated vulnerability assessment,continuous monitoring,and regulatory compliance verification.展开更多
Smartphone-based electrocardiograms(ECGs)are increasingly utilized for monitoring atrial fibrillation(AF)recurrence after catheter ablation(CA),referred to as smartphone AF burden(SMURDEN).The SMURDEN data often exhib...Smartphone-based electrocardiograms(ECGs)are increasingly utilized for monitoring atrial fibrillation(AF)recurrence after catheter ablation(CA),referred to as smartphone AF burden(SMURDEN).The SMURDEN data often exhibit complex patterns of zero AF episodes,which may arise from either true AF-free status(structural zeros)or missed AF episodes due to intermittent monitoring(random zeros).Such a mixture of AF-free and at-risk patients can lead to zero-inflation in the data.The authors propose a novel zero-inflation test for binomial regression models to identify recurrence-free AF populations.Unlike traditional approaches requiring fully specified zero-inflated models,the proposed test utilizes a weighted average of the discrepancies between observed and expected zero proportions,with weights determined by binomial sizes.A closed-form test statistic is developed,and its asymptotic distribution is derived using estimating equations.Simulations demonstrate superior performance over existing methods,and real-world AF monitoring data validate the practical utility of our proposed test.展开更多
The stress-strain behavior of calcareous sand is significantly influencedby particle breakage(B)and initial relative density(Dri),but few constitutive models consider their combined effects.To bridge this gap,we condu...The stress-strain behavior of calcareous sand is significantly influencedby particle breakage(B)and initial relative density(Dri),but few constitutive models consider their combined effects.To bridge this gap,we conducted a series of triaxial tests on calcareous sand with varying Dri and stress paths,examining particle breakage and critical state behavior.Key findingsinclude:(1)At a constant stress ratio(η),B follows a hyperbolic relationship with mean effective stress(p'),and for a given p',B increases proportionally withη;(2)The critical state line(CSL)moves downward with increasing Dri,whereas the critical state friction angle(φcs)decreases with increasing B.Based on these findings,we propose a unifiedbreakage evolution model to quantify particle breakage in calcareous sand under various loading conditions.Integrating this model with the Normal Consolidation Line(NCL)and CSL equations,we successfully simulate the steepening of NCL and CSL slopes as B increases with the onset of particle breakage.Furthermore,we quantitatively evaluate the effect of B onφcs.Finally,within the framework of Critical State Soil Mechanics and Hypoplasticity theory,we develop a hypoplastic model incorporating B and Dri.The model is validated through strong agreement with experimental results across various initial relative densities,stress paths and drainage conditions.展开更多
X-rays are widely used in the non-destructive testing(NDT)of electrical equipment.Radio frequency(RF)electron linear accelerators can generate MeV high-energy X-rays with strong penetrating ability;however,the system ...X-rays are widely used in the non-destructive testing(NDT)of electrical equipment.Radio frequency(RF)electron linear accelerators can generate MeV high-energy X-rays with strong penetrating ability;however,the system generally has a large scale,which is not suitable for on-site testing.Compared with the S-band(S-linac)at the same stage of beam energy,the accelerator working in the X-band(X-linac)can compress the facility scale by over 2/3 in the longitudinal direction,which is convenient for the on-site NDT of electrical equipment.To address the beam quality and design complexity simultaneously,the non-dominated sorting genetic algorithmⅡ(NSGA-Ⅱ),which is a multi-objective genetic algorithm(MOGA),was developed to optimize the cavity chain design of the X-linac.Additionally,the designs of the focusing coils,electron gun,and RF couplers,which are other key components of the X-linac,were introduced in this context.In particular,the focusing coil distributions were optimized using a genetic algorithm.Furthermore,after designing such key components,PARMELA software was adopted to perform beam dynamics calculations with the optimized accelerating fields and magnetic fields.The results show that the beam performance was obtained with a capture ratio of more than 90%,an energy spread of less than 10%,and an average energy of approximately 3 MeV.The design and simulation results indicate that the proposed NSGAⅡ-based approach is feasible for X-linac accelerator design.Furthermore,it can be generalized as a universal technique for industrial electron linear accelerators provided that specific optimization objectives and constraints are set according to different application scenarios and requirements.展开更多
Small extracellular vesicles(sEVs)membrane protein profile(sEVpp)is a novel biomarker for cancer,and it can reveal the in-depth phenotype information.The point-of-care testing(POCT)of sEVpp holds great significance fo...Small extracellular vesicles(sEVs)membrane protein profile(sEVpp)is a novel biomarker for cancer,and it can reveal the in-depth phenotype information.The point-of-care testing(POCT)of sEVpp holds great significance for mass screening of cancer,so the cost-effective and simple detection methods of sEVpp are urgently demanded.Herein,we constructed a paper-based multichannel sEVpp POCT device(sEVpp-PAD)enabled by functional DNA probes and metal-organic framework(MOF).The core components are aptamer/MOF-modified paper chips.The modified aptamers can immunocapture the sEV expressing corresponding proteins,while the modified MOF can provide abundant sites for aptamer-modification,reduce the nonspecific protein absorption,and act as reference for ratiometric detection.Simply powered by two syringes,the sEVpp-PAD can efficiently capture sEVs expressing corresponding protein from cell culture media and sera.Furthermore,a detection probe(DP)consisted of CD63 aptamer and G-quadruplex was developed for the colorimetric detection of captured sEVs.Utilizing this device,the sEVpp in various hepatocellular carcinoma cell culture medium and,more importantly,in human sera can be accurately determined,only with$2 device,$0.2 detection reagents and 1.8 h procedure.This simple strategy for sEVpp detection can innovatively promote the POCT and subtyping of cancer based on sEV-related liquid biopsy.展开更多
As environmental concerns drive shifts in construction materials,rock is increasingly considered as an alternative to sand,reinforcing the importance of understanding its dynamic properties.This study investigates the...As environmental concerns drive shifts in construction materials,rock is increasingly considered as an alternative to sand,reinforcing the importance of understanding its dynamic properties.This study investigates the effect of water content on the small-strain dynamic properties of basalt samples using free-free laboratory testing.Free-free testing,which requires minimal equipment and preparation,provides an efficient and low-cost method for determining key dynamic properties,including three wave velocities(V_(s),V_(p),and V_(c)),material damping ratios,and Poisson's ratios.These properties are crucial for numerical modeling in earthquake analyses and geotechnical site characterization.The test consists of three components:(1)direct travel-time measurement,(2)torsional resonance testing,and(3)compressional resonance testing.A total of 20 rock samples were tested under systematically controlled water contents,ranging from fully dried to saturated,to quantify the effects on Poisson's ratio and material damping ratios.The results showed significant increases in both parameters with rising water content.The Poisson's ratio increased by up to 320%for aphanitic basalt and 150%for vesicular basalt,while the damping ratio rose up to 30-fold(D_(c,min))and 16-fold(D_(s,min)).These findings highlight the critical need to incorporate consideration of water content when characterizing dynamic rock properties for seismic and geotechnical analyses.The practical applicability of this research lies in improving in situ property interpretation and enhancing seismic design reliability by providing engineers with precise relationships between water content and dynamic rock behavior.展开更多
Objective:Non-diagnostic thyroid nodules(Bethesda I)account for 5%-20%of all thyroid nodules.Accurate differentiation of benign and malignant nodules can reduce unnecessary surgeries and repeat biopsies.Herein we eval...Objective:Non-diagnostic thyroid nodules(Bethesda I)account for 5%-20%of all thyroid nodules.Accurate differentiation of benign and malignant nodules can reduce unnecessary surgeries and repeat biopsies.Herein we evaluated the diagnostic efficacy of multigene testing in non-diagnostic thyroid nodules and developed a predictive model integrating molecular and clinical data.Methods:In this prospective cohort study,1,175 patients with thyroid nodules were evaluated for inclusion,of which 218 patients with Bethesda I nodules met our inclusion criteria.The primary outcome was diagnostic accuracy of molecular testing,and the secondary outcome was the performance of a predictive model integrating molecular and clinical data.Results:Final histopathology identified 165 benign and 53 malignant nodules.Molecular testing detected 10distinct point mutations and seven gene fusions.Among benign nodules,147 tested negative and 18 tested positive,whereas 44 malignant nodules tested positive and nine tested negative.In nodules with ultrasound grades 4-5 and fine-needle aspiration cytology(FNAC)results categorized as non-diagnostic,molecular testing achieved sensitivity of 83.00%,specificity of 89.00%,positive predictive value(PPV)of 71.00%,negative predictive value(NPV)of94.20%,and overall accuracy of 87.60%.The predictive model incorporated 18 clinical and 19 molecular features.Eleven non-zero predictors were selected via least absolute shrinkage and selection operator(LASSO),and the model achieved area under curve(AUC)of 0.95 in the training set and 0.96 in the testing set.Decision curve analysis indicated greater net benefit compared with conventional diagnostic approaches.Conclusions:Molecular testing significantly improved diagnostic accuracy for Bethesda I thyroid nodules.Integrating molecular and clinical data enabled the development of a robust predictive model,facilitating precise,individualized patient management and reducing the need for repeat FNAC and unnecessary surgeries.展开更多
Joining dissimilar materials encounters significant engineering challenges due to the contrast in material properties that makes conventional welding not feasible.Magnetic Pulse Welding(MPW)offers a solidstate joining...Joining dissimilar materials encounters significant engineering challenges due to the contrast in material properties that makes conventional welding not feasible.Magnetic Pulse Welding(MPW)offers a solidstate joining technique that overcomes these issues by using impact to create strong bonds without melting the substrate materials.This study investigates the weldability of aluminum alloy Al-5754 with Al-7075 and MARS 380 steel,used in armouring solutions of defense systems,by the use of MPW.In this work,weldability windows are investigated by varying standoff distances between the coating material and its substrate(0.25-4.5 mm)and discharge energies(5-13 kJ)with both O-shape and U-shape inductors.Mechanical strength of the welded joints were assessed through single lap shear tests,identifying optimal welding parameters.Then,the velocity profiles of the flyer plates were measured using heterodyne velocimetry to understand the dynamics of the impact.Then,substructures assembled with the optimal welding conditions were subjected to ballistic testing using 7.62 mm×51 mm NATO and 9 mm×19 mm Parabellum munitions to evaluate the resilience of the welds under ballistic impact.The outcomes demonstrate that MPW effectively joins Al-5754 with both Al-7075 and MARS 380,producing robust welds capable of withstanding ballistic impacts under certain conditions.This research advances the application of MPW in lightweight ballistic protection of defense systems,contributing to the development of more resilient and lighter protective structures.展开更多
基金The research was funded by Universiti Teknologi Malaysia(UTM)and the MalaysianMinistry of Higher Education(MOHE)under the Industry-International Incentive Grant Scheme(IIIGS)(Vote Number:Q.J130000.3651.02M67 and Q.J130000.3051.01M86)the Aca-demic Fellowship Scheme(SLAM).
文摘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.
文摘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.
文摘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.
文摘<p align="left"> <span style="font-family:Verdana;">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.</span> </p>
基金the Aeronautics Science Foundation of China(No.2011ZD51055)Science and Technology on Reliability&Environmental Engineering Laboratory(No.302367)the National Pre-Research Foundation of China(No.51319080201)
文摘Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.
文摘Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for optimal coverage,ranking further refines their execution order to detect critical faults earlier.This study investigates machine learning techniques to enhance both prioritization and ranking,contributing to more effective and efficient testing processes.We first employ advanced feature engineering alongside ensemble models,including Gradient Boosted,Support Vector Machines,Random Forests,and Naive Bayes classifiers to optimize test case prioritization,achieving an accuracy score of 0.98847 and significantly improving the Average Percentage of Fault Detection(APFD).Subsequently,we introduce a deep Q-learning framework combined with a Genetic Algorithm(GA)to refine test case ranking within priority levels.This approach achieves a rank accuracy of 0.9172,demonstrating robust performance despite the increasing computational demands of specialized variation operators.Our findings highlight the effectiveness of stacked ensemble learning and reinforcement learning in optimizing test case prioritization and ranking.This integrated approach improves testing efficiency,reduces late-stage defects,and improves overall software stability.The study provides valuable information for AI-driven testing frameworks,paving the way for more intelligent and adaptive software quality assurance methodologies.
基金Computer Basic Education Teaching Research Project of Association of Fundamental Computing Education in Chinese Universities(Nos.2025-AFCEC-527 and 2024-AFCEC-088)Research on the Reform of Public Course Teaching at Nantong College of Science and Technology(No.2024JGG015).
文摘With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent customer service,and medical diagnosis,is constructed based on complex technologies like machine learning and deep learning.Its uncertain behavior and data dependence pose unprecedented challenges to software testing.However,existing software testing courses mainly focus on conventional contents and are unable to meet the requirements of intelligent software testing.Therefore,this work deeply analyzed the relevant technologies of intelligent software testing,including reliability evaluation indicator system,neuron coverage,and test case generation.It also systematically designed an intelligent software testing course,covering teaching objectives,teaching content,teaching methods,and a teaching case.Verified by the practical teaching in four classes,this course has achieved remarkable results,providing practical experience for the reform of software testing courses.
文摘Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our members have been very active over the past 12 months and this has resulted in new technologies for the production of technical fibres and fabrics,the introduction of AI and machine learning into process control systems and significant advances in materials testing,”says BTMA CEO Jason Kent.“There’s real excitement about what can be achieved in 2026 as we look ahead to upcoming exhibitions such as JEC Composites in Paris in March and Techtextil in Frankfurt in April.”
基金supported by the Open Foundation of Key Laboratory of Cyberspace Security,Ministry of Education of China(KLCS20240211)。
文摘With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raising increasing concerns about their security.Existing fuzz testing methods include random or dictionary-based input generation,which often fail to ensure both syntactic and semantic correctness,and OpenAPIbased approaches,which offer better accuracy but typically lack detailed descriptions of endpoints,parameters,or data formats.To address these issues,this paper proposes the APIDocX fuzz testing framework.It introduces a crawler tailored for dynamic web pages that automatically simulates user interactions to trigger APIs,capturing and extracting parameter information from communication packets.A multi-endpoint parameter adaptation method based on improved Jaccard similarity is then used to generalize these parameters to other potential API endpoints,filling in gaps in OpenAPI specifications.Experimental results demonstrate that the extracted parameters can be generalized with 79.61%accuracy.Fuzz testing using the enriched OpenAPI documents leads to improvements in test coverage,the number of valid test cases generated,and fault detection capabilities.This approach offers an effective enhancement to automated REST API security testing.
基金financially supported by ARC Linkage project(LP210200642)ARC Center of Excellence for Quantum Biotechnology(grant no.CE230100021)+1 种基金National Health and Medical Research Council Investigator Fellowship—(grant no.APP2017499)Chan Zuckerberg Initiative Deep Tissue Imaging Phase 2(grant no.DT12-0000000182).
文摘Lateral flow immunoassays(LFIAs)are low-cost,rapid,and easy to use for pointof-care testing(POCT),but the majority of the available LFIA tests are indicative,rather than quantitative,and their sensitivity in antigen tests are usually limited at the nanogram range,which is primarily due to the passive capillary fluidics through nitrocellulose membranes,often associated with non-specific bindings and high background noise.To overcome this challenge,we report a Beads-on-a-Tip design by replacing nitrocellulose membranes with a pipette tip loaded with magnetic beads.The beads are pre-conjugated with capture antibodies that support a typical sandwich immunoassay.This design enriches the low-abundant antigen proteins and allows an active washing process to significantly reduce non-specific bindings.To further improve the detection sensitivity,we employed upconversion nanoparticles(UCNPs)as luminescent reporters and SARS-CoV-2 spike(S)antigen as a model analyte to benchmark the performance of this design against our previously reported methods.We found that the key to enhance the immunocomplex formation and signal-to-noise ratio lay in optimizing incubation time and the UCNP-to-bead ratio.We therefore successfully demonstrated that the new method can achieve a very large dynamic range from 500 fg/mL to 10μg/mL,across over 7 digits,and a limit of detection of 706 fg/mL,nearly another order of magnitude lower than the best reported LFIA using UCNPs in COVID-19 spike antigen detection.Our system offers a promising solution for ultra-sensitive and quantitative POCT diagnostics.
基金supported by Natural Science Foundation of China(NSFC),Grant number 5247052693.
文摘To address the insufficient prediction accuracy of multi-state parameters in electro-hydraulic servo material fatigue testing machines under complex loading and nonlinear coupling conditions,this paper proposes a multivariate sequence-to-sequence prediction model integrating a Long Short-Term Memory(LSTM)encoder,a Gated Recurrent Unit(GRU)decoder,and a multi-head attention mechanism.This approach enhances prediction accuracy and robustness across different control modes and load spectra by leveraging multi-channel inputs and cross-variable feature interactions,thereby capturing both short-term high-frequency dynamics and long-term slow drift characteristics.Experiments using long-term data from real test benches demonstrate that the model achieves a stable MSE below 0.01 on the validation set,with MAE and RMSE of approximately 0.018 and 0.052,respectively,and a coefficient of determination reaching 0.98.This significantly outperforms traditional identification methods and single RNN models.Sensitivity analysis indicates that a prediction stride of 10 achieves an optimal balance between accuracy and computational overhead.Ablation experiments validated the contribution of multi-head attention and decoder architecture to enhancing cross-variable coupling modeling capabilities.This model can be applied to residualdriven early warning in health monitoring,and risk assessment with scheme optimization in test design.It enables near-real-time deployment feasibility,providing a practical data-driven technical pathway for reliability assurance in advanced equipment.
基金supported by the National Key R&D Program of China(2024YFA1802300)the Major Science and Technology Program of Hainan Province(ZDKJ2021037)+4 种基金the Regional Innovation and Development Joint Fund of the National Natural Science Foundation of China(U24A20677)Hainan Province Science and Technology Special Fund(ZDYF2020117,ZDY2024SHFZ143)Hainan Province Science and TechnologyProject(LCXY202102,LCYX202203,LCYX202301,LCYx202502)Innovative research project for postgraduate students in Hainan Medical University(HYYB2021A05)the Hainan Province Clinical Medical Center,and the specific research fund of The Innovation Platform for Academicians of Hainan Province(YSPTZX202310).
文摘Patients affected by monogenic diseases impose a substantial burden on both themselves and their families.The primary preventive measure,i.e.,invasive prenatal diagnosis,carries a risk of miscarriage and cannot be performed early in pregnancy.Hence,there is a need for non-invasive prenatal testing(NIPT)for monogenic diseases.By utilizing enriched cell-free fetal DNA(cffDNA)from maternal plasma,we refine the NIPT method,which combines targeted region capture technology,haplotyping,and analysis of informative site frequency.We apply this method to 93 clinical families at genetic risk for thalassemia,encompassing various genetic variant types,to establish a workflow and evaluate its efficiency.Our approach requires only 3 ng of DNA input to generate 0.1 Gb informative target genomic data and leverages a minimum of 3%cffDNA.This method has a 98.16%success rate and 100%concordance with conventional invasive methods.Furthermore,we demonstrate the ability to analyze fetal genotypes as early as eight weeks of gestation.This study establishes an optimized NIPT method for the early detection of various thalassemia disorders during pregnancy.This technique demonstrates high accuracy and potential for clinical application in prenatal diagnosis.
基金supported in part by the Tianjin Natural Science Foundation Project(24JCZDJC01000)the Fundamental Research Funds for the Central Universities of China(No.3122025091).
文摘As deep learning(DL)models are increasingly deployed in sensitive domains(e.g.,healthcare),concerns over privacy and security have intensified.Conventional penetration testing frameworks,such asOWASP and NIST,are effective for traditional networks and applications but lack the capabilities to address DL-specific threats,such asmodel inversion,membership inference,and adversarial attacks.This review provides a comprehensive analysis of penetration testing for the privacy of DL models,examining the shortfalls of existing frameworks,tools,and testing methodologies.Through systematic evaluation of existing literature and empirical analysis,we identify three major contributions:(i)a critical assessment of traditional penetration testing frameworks’inadequacies when applied to DL-specific privacy vulnerabilities,(ii)a comprehensive evaluation of state-of-the-art privacy-preserving methods and their integration with penetration testing workflows,and(iii)the development of a structured framework that combines reconnaissance,threat modeling,exploitation,and post-exploitation phases specifically tailored for DL privacy assessment.Moreover,this review evaluates popular solutions such as IBMAdversarial Robustness Toolbox and TensorFlowPrivacy,alongside privacy-preserving techniques(e.g.,Differential Privacy,Homomorphic Encryption,and Federated Learning),which we systematically analyze through comparative studies of their effectiveness,computational overhead,and practical deployment constraints.While these techniques offer promising safeguards,their adoption is hindered by accuracy loss,performance overheads,and the rapid evolution of attack strategies.Our findings reveal that no single existing solution provides comprehensive protection,which leads us to propose a hybrid approach that strategically combines multiple privacy-preserving mechanisms.The findings of this survey underscore an urgent need for automated,regulationcompliant penetration testing frameworks specifically tailored to DL systems.We argue for hybrid privacy solutions that combinemultiple protectivemechanisms to ensure bothmodel accuracy and privacy.Building on our analysis,we present actionable recommendations for developing adaptive penetration testing strategies that incorporate automated vulnerability assessment,continuous monitoring,and regulatory compliance verification.
基金supported by the Fundamental Research Funds for the Central Universities in UIBE under Grant No.CXTD14-05。
文摘Smartphone-based electrocardiograms(ECGs)are increasingly utilized for monitoring atrial fibrillation(AF)recurrence after catheter ablation(CA),referred to as smartphone AF burden(SMURDEN).The SMURDEN data often exhibit complex patterns of zero AF episodes,which may arise from either true AF-free status(structural zeros)or missed AF episodes due to intermittent monitoring(random zeros).Such a mixture of AF-free and at-risk patients can lead to zero-inflation in the data.The authors propose a novel zero-inflation test for binomial regression models to identify recurrence-free AF populations.Unlike traditional approaches requiring fully specified zero-inflated models,the proposed test utilizes a weighted average of the discrepancies between observed and expected zero proportions,with weights determined by binomial sizes.A closed-form test statistic is developed,and its asymptotic distribution is derived using estimating equations.Simulations demonstrate superior performance over existing methods,and real-world AF monitoring data validate the practical utility of our proposed test.
基金support to this study from the National Natural Science Foundation of China,NSFC(Grant No.52278367)The Belt and Road Special Foundation of the National Key Laboratory ofWater Disaster Prevention(Grant No.2024nkms08).
文摘The stress-strain behavior of calcareous sand is significantly influencedby particle breakage(B)and initial relative density(Dri),but few constitutive models consider their combined effects.To bridge this gap,we conducted a series of triaxial tests on calcareous sand with varying Dri and stress paths,examining particle breakage and critical state behavior.Key findingsinclude:(1)At a constant stress ratio(η),B follows a hyperbolic relationship with mean effective stress(p'),and for a given p',B increases proportionally withη;(2)The critical state line(CSL)moves downward with increasing Dri,whereas the critical state friction angle(φcs)decreases with increasing B.Based on these findings,we propose a unifiedbreakage evolution model to quantify particle breakage in calcareous sand under various loading conditions.Integrating this model with the Normal Consolidation Line(NCL)and CSL equations,we successfully simulate the steepening of NCL and CSL slopes as B increases with the onset of particle breakage.Furthermore,we quantitatively evaluate the effect of B onφcs.Finally,within the framework of Critical State Soil Mechanics and Hypoplasticity theory,we develop a hypoplastic model incorporating B and Dri.The model is validated through strong agreement with experimental results across various initial relative densities,stress paths and drainage conditions.
基金supported by the National Natural Science Foundation of China(Nos.12341501 and 12575164)。
文摘X-rays are widely used in the non-destructive testing(NDT)of electrical equipment.Radio frequency(RF)electron linear accelerators can generate MeV high-energy X-rays with strong penetrating ability;however,the system generally has a large scale,which is not suitable for on-site testing.Compared with the S-band(S-linac)at the same stage of beam energy,the accelerator working in the X-band(X-linac)can compress the facility scale by over 2/3 in the longitudinal direction,which is convenient for the on-site NDT of electrical equipment.To address the beam quality and design complexity simultaneously,the non-dominated sorting genetic algorithmⅡ(NSGA-Ⅱ),which is a multi-objective genetic algorithm(MOGA),was developed to optimize the cavity chain design of the X-linac.Additionally,the designs of the focusing coils,electron gun,and RF couplers,which are other key components of the X-linac,were introduced in this context.In particular,the focusing coil distributions were optimized using a genetic algorithm.Furthermore,after designing such key components,PARMELA software was adopted to perform beam dynamics calculations with the optimized accelerating fields and magnetic fields.The results show that the beam performance was obtained with a capture ratio of more than 90%,an energy spread of less than 10%,and an average energy of approximately 3 MeV.The design and simulation results indicate that the proposed NSGAⅡ-based approach is feasible for X-linac accelerator design.Furthermore,it can be generalized as a universal technique for industrial electron linear accelerators provided that specific optimization objectives and constraints are set according to different application scenarios and requirements.
基金supported by the National Key Research and Development Program of China(No.2022YFE0201800)the National Natural Science Foundation of China(Nos.22274169 and 22474161)+5 种基金Guangdong Basic and Applied Basic Research Foundation(No.2024A1515030160)the Science and Technology Program of Guangzhou City(No.2023B03J1380)Shenzhen Science and Technology Innovation Commission(No.GJHZ20210705142200001)the Scientific Technology Project of Guangzhou City(No.202103000003)the Guangdong Science and Technology Plan Project(No.2020B1212060077)the Open Research Fund of State Key Laboratory of Analytical Chemistry for Life Science,School of Chemistry and Chemical Engineering,Nanjing University.
文摘Small extracellular vesicles(sEVs)membrane protein profile(sEVpp)is a novel biomarker for cancer,and it can reveal the in-depth phenotype information.The point-of-care testing(POCT)of sEVpp holds great significance for mass screening of cancer,so the cost-effective and simple detection methods of sEVpp are urgently demanded.Herein,we constructed a paper-based multichannel sEVpp POCT device(sEVpp-PAD)enabled by functional DNA probes and metal-organic framework(MOF).The core components are aptamer/MOF-modified paper chips.The modified aptamers can immunocapture the sEV expressing corresponding proteins,while the modified MOF can provide abundant sites for aptamer-modification,reduce the nonspecific protein absorption,and act as reference for ratiometric detection.Simply powered by two syringes,the sEVpp-PAD can efficiently capture sEVs expressing corresponding protein from cell culture media and sera.Furthermore,a detection probe(DP)consisted of CD63 aptamer and G-quadruplex was developed for the colorimetric detection of captured sEVs.Utilizing this device,the sEVpp in various hepatocellular carcinoma cell culture medium and,more importantly,in human sera can be accurately determined,only with$2 device,$0.2 detection reagents and 1.8 h procedure.This simple strategy for sEVpp detection can innovatively promote the POCT and subtyping of cancer based on sEV-related liquid biopsy.
文摘As environmental concerns drive shifts in construction materials,rock is increasingly considered as an alternative to sand,reinforcing the importance of understanding its dynamic properties.This study investigates the effect of water content on the small-strain dynamic properties of basalt samples using free-free laboratory testing.Free-free testing,which requires minimal equipment and preparation,provides an efficient and low-cost method for determining key dynamic properties,including three wave velocities(V_(s),V_(p),and V_(c)),material damping ratios,and Poisson's ratios.These properties are crucial for numerical modeling in earthquake analyses and geotechnical site characterization.The test consists of three components:(1)direct travel-time measurement,(2)torsional resonance testing,and(3)compressional resonance testing.A total of 20 rock samples were tested under systematically controlled water contents,ranging from fully dried to saturated,to quantify the effects on Poisson's ratio and material damping ratios.The results showed significant increases in both parameters with rising water content.The Poisson's ratio increased by up to 320%for aphanitic basalt and 150%for vesicular basalt,while the damping ratio rose up to 30-fold(D_(c,min))and 16-fold(D_(s,min)).These findings highlight the critical need to incorporate consideration of water content when characterizing dynamic rock properties for seismic and geotechnical analyses.The practical applicability of this research lies in improving in situ property interpretation and enhancing seismic design reliability by providing engineers with precise relationships between water content and dynamic rock behavior.
基金supported by Military Key Clinical Speciality(No.51561Z23612)Chongqing Talents Project(No.cstc2022ycjh-bgzxm0091)。
文摘Objective:Non-diagnostic thyroid nodules(Bethesda I)account for 5%-20%of all thyroid nodules.Accurate differentiation of benign and malignant nodules can reduce unnecessary surgeries and repeat biopsies.Herein we evaluated the diagnostic efficacy of multigene testing in non-diagnostic thyroid nodules and developed a predictive model integrating molecular and clinical data.Methods:In this prospective cohort study,1,175 patients with thyroid nodules were evaluated for inclusion,of which 218 patients with Bethesda I nodules met our inclusion criteria.The primary outcome was diagnostic accuracy of molecular testing,and the secondary outcome was the performance of a predictive model integrating molecular and clinical data.Results:Final histopathology identified 165 benign and 53 malignant nodules.Molecular testing detected 10distinct point mutations and seven gene fusions.Among benign nodules,147 tested negative and 18 tested positive,whereas 44 malignant nodules tested positive and nine tested negative.In nodules with ultrasound grades 4-5 and fine-needle aspiration cytology(FNAC)results categorized as non-diagnostic,molecular testing achieved sensitivity of 83.00%,specificity of 89.00%,positive predictive value(PPV)of 71.00%,negative predictive value(NPV)of94.20%,and overall accuracy of 87.60%.The predictive model incorporated 18 clinical and 19 molecular features.Eleven non-zero predictors were selected via least absolute shrinkage and selection operator(LASSO),and the model achieved area under curve(AUC)of 0.95 in the training set and 0.96 in the testing set.Decision curve analysis indicated greater net benefit compared with conventional diagnostic approaches.Conclusions:Molecular testing significantly improved diagnostic accuracy for Bethesda I thyroid nodules.Integrating molecular and clinical data enabled the development of a robust predictive model,facilitating precise,individualized patient management and reducing the need for repeat FNAC and unnecessary surgeries.
基金funded on the one hand by Agence de l'Innovation de Défense(AID)grant reference number 2021650044on the other hand by Ecole Centrale de Nantes。
文摘Joining dissimilar materials encounters significant engineering challenges due to the contrast in material properties that makes conventional welding not feasible.Magnetic Pulse Welding(MPW)offers a solidstate joining technique that overcomes these issues by using impact to create strong bonds without melting the substrate materials.This study investigates the weldability of aluminum alloy Al-5754 with Al-7075 and MARS 380 steel,used in armouring solutions of defense systems,by the use of MPW.In this work,weldability windows are investigated by varying standoff distances between the coating material and its substrate(0.25-4.5 mm)and discharge energies(5-13 kJ)with both O-shape and U-shape inductors.Mechanical strength of the welded joints were assessed through single lap shear tests,identifying optimal welding parameters.Then,the velocity profiles of the flyer plates were measured using heterodyne velocimetry to understand the dynamics of the impact.Then,substructures assembled with the optimal welding conditions were subjected to ballistic testing using 7.62 mm×51 mm NATO and 9 mm×19 mm Parabellum munitions to evaluate the resilience of the welds under ballistic impact.The outcomes demonstrate that MPW effectively joins Al-5754 with both Al-7075 and MARS 380,producing robust welds capable of withstanding ballistic impacts under certain conditions.This research advances the application of MPW in lightweight ballistic protection of defense systems,contributing to the development of more resilient and lighter protective structures.
