Published proof test coverage(PTC)estimates for emergency shutdown valves(ESDVs)show only moderate agreement and are predominantly opinion-based.A Failure Modes,Effects,and Diagnostics Analysis(FMEDA)was undertaken us...Published proof test coverage(PTC)estimates for emergency shutdown valves(ESDVs)show only moderate agreement and are predominantly opinion-based.A Failure Modes,Effects,and Diagnostics Analysis(FMEDA)was undertaken using component failure rate data to predict PTC for a full stroke test and a partial stroke test.Given the subjective and uncertain aspects of the FMEDA approach,specifically the selection of component failure rates and the determination of the probability of detecting failure modes,a Fuzzy Inference System(FIS)was proposed to manage the data,addressing the inherent uncertainties.Fuzzy inference systems have been used previously for various FMEA type assessments,but this is the first time an FIS has been employed for use with FMEDA.ESDV PTC values were generated from both the standard FMEDA and the fuzzy-FMEDA approaches using data provided by FMEDA experts.This work demonstrates that fuzzy inference systems can address the subjectivity inherent in FMEDA data,enabling reliable estimates of ESDV proof test coverage for both full and partial stroke tests.This facilitates optimized maintenance planning while ensuring safety is not compromised.展开更多
BACKGROUND Human immunodeficiency virus(HIV)recency testing provides data that can be used to monitor the trend of new HIV infections.The effectiveness of using people identified with recent infection to identify part...BACKGROUND Human immunodeficiency virus(HIV)recency testing provides data that can be used to monitor the trend of new HIV infections.The effectiveness of using people identified with recent infection to identify partners with new HIV infection through partner notification services(PNS)is not well documented.AIM To determine the pooled prevalence of recency testing coverage,recent infection,reclassification(recent to longterm infection)and PNS cascade among newly diagnosed people living with HIV.METHODS PubMed,Cochrane Library and Embase were searched for articles published between January 2018 and November 2024.Studies were included if they reported recency coverage and/or PNS among people newly diagnosed with HIV and used recent infection testing algorithm(RITA).Recency coverage was defined as proportion of people tested using rapid testing for recent infection(RTRI)among those newly diagnosed with HIV.RITA further classifies RTRI results using viral load results(≥1000 copies/mL vs<1000 copies/mL)to confirm recency status.For studies with PNS,we evaluated the cascade:Number of partners elicited,successfully contacted,eligible for HIV testing,tested and HIV diagnosis.PNS effectiveness was measured by proportion of new HIV diagnoses from tested partners.Using random effects models,we computed the pooled estimate of recency outcomes and 95%confidence intervals(CIs).RESULTS Twenty-five studies from 17-low-and middle-income countries were included.Of 276315 newly diagnosed people living with HIV,79864 underwent RTRI with an overall pooled recency coverage of 87%(95%CI:67-96).The pooled prevalence of RTRI and RITA recency were 12%(95%CI:9-16)and 7%(95%CI:4-10),respectively.Pooled prevalence of RTRI reclassification was 34%(95%CI:22-49).Of the recent cases who agreed to PNS,253 partners were elicited with an estimated elicitation ratio of 1:1.6.Among partners elicited,99%were successfully contacted,75%were eligible for testing,68%tested for HIV,and 15%were diagnosed with HIV.CONCLUSION High recency testing coverage among newly diagnosed individuals demonstrates the feasibility of monitoring new HIV infections in LMIC.While PNS yielded moderate HIV diagnoses,its targeted approach remains a critical strategy for identifying undiagnosed cases.展开更多
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.展开更多
Unmanned aerial vehicles(UAVs)are widely utilized in area coverage tasks due to their flexibility and efficiency in geo-graphic information acquisition.However,complex boundary conditions in actual water area maps oft...Unmanned aerial vehicles(UAVs)are widely utilized in area coverage tasks due to their flexibility and efficiency in geo-graphic information acquisition.However,complex boundary conditions in actual water area maps often reduce coverage efficiency.To address this issue,this paper proposes a map preprocessing algorithm that linearizes boundary lines and processes concave areas into concave polygons,followed by gridding the map.Additionally,a collaborative area coverage method for UAV swarms is introduced based on region partitioning,which considers the comprehensive cost of energy consumption and time.An improved Hungarian algorithm is utilized for region partitioning,and a Dubins-A*-based plow-ing area full coverage path planning method is proposed to achieve path smoothing and collaborative coverage of each partition.Two sets of simulation experiments are conducted.The first experiment verifies the effectiveness of the map preprocessing algorithm,and the second compares the proposed collaborative area coverage algorithm with other methods,demonstrating its performance advantages.展开更多
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.展开更多
Cloud services,favored by many enterprises due to their high flexibility and easy operation,are widely used for data storage and processing.However,the high latency,together with transmission overheads of the cloud ar...Cloud services,favored by many enterprises due to their high flexibility and easy operation,are widely used for data storage and processing.However,the high latency,together with transmission overheads of the cloud architecture,makes it difficult to quickly respond to the demands of IoT applications and local computation.To make up for these deficiencies in the cloud,fog computing has emerged as a critical role in the IoT applications.It decentralizes the computing power to various lower nodes close to data sources,so as to achieve the goal of low latency and distributed processing.With the data being frequently exchanged and shared between multiple nodes,it becomes a challenge to authorize data securely and efficiently while protecting user privacy.To address this challenge,proxy re-encryption(PRE)schemes provide a feasible way allowing an intermediary proxy node to re-encrypt ciphertext designated for different authorized data requesters without compromising any plaintext information.Since the proxy is viewed as a semi-trusted party,it should be taken to prevent malicious behaviors and reduce the risk of data leakage when implementing PRE schemes.This paper proposes a new fog-assisted identity-based PRE scheme supporting anonymous key generation,equality test,and user revocation to fulfill various IoT application requirements.Specifically,in a traditional identity-based public key architecture,the key escrow problem and the necessity of a secure channel are major security concerns.We utilize an anonymous key generation technique to solve these problems.The equality test functionality further enables a cloud server to inspect whether two candidate trapdoors contain an identical keyword.In particular,the proposed scheme realizes fine-grained user-level authorization while maintaining strong key confidentiality.To revoke an invalid user identity,we add a revocation list to the system flows to restrict access privileges without increasing additional computation cost.To ensure security,it is shown that our system meets the security notion of IND-PrID-CCA and OW-ID-CCA under the Decisional Bilinear Diffie-Hellman(DBDH)assumption.展开更多
The dynamic characteristics of the track system can directly affect its service performance and failure process.To explore the load characteristics and dynamic response of the track system under the dynamic loads from...The dynamic characteristics of the track system can directly affect its service performance and failure process.To explore the load characteristics and dynamic response of the track system under the dynamic loads from the rack vehicle in traction conditions,a systematic test of the track subsystem was carried out on a large-slope test line.In the test,the bending stress of the rack teeth,the wheel-rail forces,and the acceleration of crucial components in the track system were measured.Subsequently,a detailed analysis was conducted on the tested signals of the rack railway track system in the time domain and the time-frequency domains.The test results indicate that the traction force significantly affects the rack tooth bending stress and the wheel-rail forces.The vibrations of the track system under the traction conditions are mainly caused by the impacts generated from the gear-rack engagement,which are then transferred to the sleepers,the rails,and the ballast beds.Furthermore,both the maximum stress on the racks and the wheel-rail forces measured on the rails remain below their allowable values.This experimental study evaluates the load characteristics and reveals the vibration characteristics of the rack railway track system under the vehicle’s ultimate load,which is very important for the load-strengthening design of the key components such as racks and the vibration and noise reduction of the track system.展开更多
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.展开更多
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.展开更多
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.展开更多
Underwater gas-liquid two-phase propulsion technology is an emerging propulsion method that offers high efficiency and unrestricted navigation speed.The integration of this technology into water ramjet engines can sig...Underwater gas-liquid two-phase propulsion technology is an emerging propulsion method that offers high efficiency and unrestricted navigation speed.The integration of this technology into water ramjet engines can significantly enhance propulsion efficiency and holds substantial potential for broad applications.However,forming a gas-liquid two-phase flow within the nozzle requires introducing a large amount of rammed seawater.At this time,there is a complex phase transition problem of combustion products in the combustion chamber,which makes the thermodynamic calculation for gas-liquid two-phase water ramjet engines particularly challenging.This paper proposes a thermodynamic calculation method for gas-liquid two-phase water ramjet engines,based on the energy equation for gas-liquid two-phase flow and traditional thermodynamic principles,enabling thermodynamic calculations under conditions of ultra-high water-fuel ratios.Additionally,ground ignition tests of the gas-liquid two-phase engine were conducted,yielding critical engine test parameters.The results demonstrate that the gas-liquid two-phase water ramjet engine achieves a high specific impulse,with a theoretical maximum specific impulse of up to 7000(N s)/kg.The multiphase flow effects significantly impact engine performance,with specific impulse losses reaching up to 25.86%.The error between the thrust and specific impulse in the ground test and the theoretical values is within 10%,validating the proposed thermodynamic calculation method as a reliable reference for further research on gas-liquid two-phase water ramjet engines.展开更多
In real-world autonomous driving tests,unexpected events such as pedestrians or wild animals suddenly entering the driving path can occur.Conducting actual test drives under various weather conditions may also lead to...In real-world autonomous driving tests,unexpected events such as pedestrians or wild animals suddenly entering the driving path can occur.Conducting actual test drives under various weather conditions may also lead to dangerous situations.Furthermore,autonomous vehicles may operate abnormally in bad weather due to limitations of their sensors and GPS.Driving simulators,which replicate driving conditions nearly identical to those in the real world,can drastically reduce the time and cost required for market entry validation;consequently,they have become widely used.In this paper,we design a virtual driving test environment capable of collecting and verifying SiLS data under adverse weather conditions using multi-source images.The proposed method generates a virtual testing environment that incorporates various events,including weather,time of day,and moving objects,that cannot be easily verified in real-world autonomous driving tests.By setting up scenario-based virtual environment events,multi-source image analysis and verification using real-world DCUs(Data Concentrator Units)with V2X-Car edge cloud can effectively address risk factors that may arise in real-world situations.We tested and validated the proposed method with scenarios employing V2X communication and multi-source image analysis.展开更多
High geo-stress and high temperature in deep rock engineering increase the possibility of engineering and geological disasters in discontinuous rocks.However,the influence of thermomechanical coupling on the shear beh...High geo-stress and high temperature in deep rock engineering increase the possibility of engineering and geological disasters in discontinuous rocks.However,the influence of thermomechanical coupling on the shear behavior and damage evolution of prefractured granite remains immature.In this context,true triaxial laboratory tests and discrete element method simulations under different confining pressures(σ3=3 MPa,σ2=4 MPa,andσ3=80 MPa,σ2=100 MPa)and temperatures(25℃-500℃)were carried out on rough granite fractures with two different orientations.Results indicate that high temperature and high confining pressure increase the peak strength of the prefractured specimen,leading to more microcracks in the host rock and more gouges between the surfaces.Thermal strengthening at low temperatures(<300℃)and residual stick-slip only occur under a greater confining pressure for prefractured specimens.High confining pressure suppresses generation of the thermal microcracks in the heating stage.Cracks first initiate in the asperities on the fracture surfaces,and then propagate into the rock matrix during the mechanical loading stage.In addition,prefractured granite with a larger fracture angle is characterized by smaller peak and residual strength,faster residual slip,fewer new cracks on the specimen surface,and a more pronounced thermal strengthening effect on peak strength.The slip tendency analysis indicates that a higher maximum principal stress(s1)and a large fracture angle(45°-75°)generally result in a higher potential for fracture slip or activation.This study will contribute to a better understanding of the fracture shear mechanism under true triaxial thermomechanical coupling conditions and provides new insights into the stability evaluation of deep dynamic geological hazards.展开更多
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.展开更多
It is challenging to diagnose isolated hyperbilirubinemia with rare and complex etiologies under the constraints of traditional testing conditions.Herein,we present a rare case of coexisting Gilbert syndrome(GS)and er...It is challenging to diagnose isolated hyperbilirubinemia with rare and complex etiologies under the constraints of traditional testing conditions.Herein,we present a rare case of coexisting Gilbert syndrome(GS)and erythropoietic protoporphyria(EPP),which has not been previously documented.CASE SUMMARY We present a rare case of coexisting GS and EPP in a 23-year-old Chinese male with a long history of jaundice and recently found splenomegaly.Serial nonspecific hemolysis screening tests yielded inconsistent results,and investigations for common hemolytic etiologies were negative.However,Levitt’s carbon monoxide breath test,which measures erythrocyte lifespan(the gold-standard marker of hemolysis),demonstrated significant hemolysis,revealing a markedly shortened erythrocyte lifespan of 11 days(normal average 120 days).Genetic testing subsequently confirmed EPP with a homozygous ferrochelatase gene mutation and GS with a heterozygous uridine diphosphate glucuronosyl trans-ferase 1A1 gene mutation.CONCLUSION The rapid,non-invasive Levitt’s carbon monoxide breath test resolved the diagnostic challenge posed by a rare and complex cause of hyperbilirubinemia.展开更多
Highlights By conjugating the same anti-N monoclonal antibody(mAb4-mAb1)with colloidal gold or fluorescent microspheres,this study developed two rapid point-of-care antigen immunochromatographic strips for the detecti...Highlights By conjugating the same anti-N monoclonal antibody(mAb4-mAb1)with colloidal gold or fluorescent microspheres,this study developed two rapid point-of-care antigen immunochromatographic strips for the detection of porcine deltacoronavirus.The fluorescent microsphere-based lateral flow test strip demonstrated a sensitivity of 10^(1.7)TCID_(50)/0.1 mL,which is fourfold higher than that of the colloidal gold-based assay.Porcine deltacoronavirus(PDCoV)is a recently identified enteric coronavirus that causes an acute infectious disease in piglets,leading to diarrhea,vomiting,dehydration,and mortality(Hu et al.2015).展开更多
Hydraulic stimulation technology is widely employed to enhance the permeability of geothermal reservoirs.Nevertheless,accurately predicting hydraulic fracture propagation in complex geological conditions remains chall...Hydraulic stimulation technology is widely employed to enhance the permeability of geothermal reservoirs.Nevertheless,accurately predicting hydraulic fracture propagation in complex geological conditions remains challenging,thereby hindering the effective utilization of existing natural fractures.In this study,a phase field model was developed utilizing the finite element method to examine the influence of fluid presence,stress conditions,and natural fractures on the initiation and propagation of hydraulic fractures.The model employs Biot's poroelasticity theory to establish the coupling between the displacement field and the fluid field,while the phase field theory is applied to simulate fracture behavior.The results show that whenσ_(x0)/σ_(y0)<3 or qf<20 kg/(m^(3)·s),the presence of natural fractures can alter the original propagation direction of hydraulic fractures.Conversely,in the absence of these conditions,the propagation path of natural fractures is predominantly influenced by the initial stress field.Furthermore,based on the analysis of breakdown pressure and damage area,the optimal intersection angle between natural fractures and hydraulic fractures is determined to range from 45°to 60°.Finally,once a dominant channel forms,initiating and propagating hydraulic fractures in other directions becomes increasingly difficult,even in highly fractured areas.This method tackles the challenges of initiating and propagating hydraulic fractures in complex geological conditions,providing a theoretical basis for optimizing Enhanced Geothermal System(EGS)projects.展开更多
In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy...In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph（WADDGraph）which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.展开更多
文摘Published proof test coverage(PTC)estimates for emergency shutdown valves(ESDVs)show only moderate agreement and are predominantly opinion-based.A Failure Modes,Effects,and Diagnostics Analysis(FMEDA)was undertaken using component failure rate data to predict PTC for a full stroke test and a partial stroke test.Given the subjective and uncertain aspects of the FMEDA approach,specifically the selection of component failure rates and the determination of the probability of detecting failure modes,a Fuzzy Inference System(FIS)was proposed to manage the data,addressing the inherent uncertainties.Fuzzy inference systems have been used previously for various FMEA type assessments,but this is the first time an FIS has been employed for use with FMEDA.ESDV PTC values were generated from both the standard FMEDA and the fuzzy-FMEDA approaches using data provided by FMEDA experts.This work demonstrates that fuzzy inference systems can address the subjectivity inherent in FMEDA data,enabling reliable estimates of ESDV proof test coverage for both full and partial stroke tests.This facilitates optimized maintenance planning while ensuring safety is not compromised.
文摘BACKGROUND Human immunodeficiency virus(HIV)recency testing provides data that can be used to monitor the trend of new HIV infections.The effectiveness of using people identified with recent infection to identify partners with new HIV infection through partner notification services(PNS)is not well documented.AIM To determine the pooled prevalence of recency testing coverage,recent infection,reclassification(recent to longterm infection)and PNS cascade among newly diagnosed people living with HIV.METHODS PubMed,Cochrane Library and Embase were searched for articles published between January 2018 and November 2024.Studies were included if they reported recency coverage and/or PNS among people newly diagnosed with HIV and used recent infection testing algorithm(RITA).Recency coverage was defined as proportion of people tested using rapid testing for recent infection(RTRI)among those newly diagnosed with HIV.RITA further classifies RTRI results using viral load results(≥1000 copies/mL vs<1000 copies/mL)to confirm recency status.For studies with PNS,we evaluated the cascade:Number of partners elicited,successfully contacted,eligible for HIV testing,tested and HIV diagnosis.PNS effectiveness was measured by proportion of new HIV diagnoses from tested partners.Using random effects models,we computed the pooled estimate of recency outcomes and 95%confidence intervals(CIs).RESULTS Twenty-five studies from 17-low-and middle-income countries were included.Of 276315 newly diagnosed people living with HIV,79864 underwent RTRI with an overall pooled recency coverage of 87%(95%CI:67-96).The pooled prevalence of RTRI and RITA recency were 12%(95%CI:9-16)and 7%(95%CI:4-10),respectively.Pooled prevalence of RTRI reclassification was 34%(95%CI:22-49).Of the recent cases who agreed to PNS,253 partners were elicited with an estimated elicitation ratio of 1:1.6.Among partners elicited,99%were successfully contacted,75%were eligible for testing,68%tested for HIV,and 15%were diagnosed with HIV.CONCLUSION High recency testing coverage among newly diagnosed individuals demonstrates the feasibility of monitoring new HIV infections in LMIC.While PNS yielded moderate HIV diagnoses,its targeted approach remains a critical strategy for identifying undiagnosed cases.
文摘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.
基金National Natural Science Foundation of China(62402020,62303022)Beijing Nova Program(20240484720)+1 种基金Project of Cultivation for Young Top-Notch Talents of Beijing Municipal Institutions(BPHR202203043)BTBU Digital Business Platform Project byBMEC.
文摘Unmanned aerial vehicles(UAVs)are widely utilized in area coverage tasks due to their flexibility and efficiency in geo-graphic information acquisition.However,complex boundary conditions in actual water area maps often reduce coverage efficiency.To address this issue,this paper proposes a map preprocessing algorithm that linearizes boundary lines and processes concave areas into concave polygons,followed by gridding the map.Additionally,a collaborative area coverage method for UAV swarms is introduced based on region partitioning,which considers the comprehensive cost of energy consumption and time.An improved Hungarian algorithm is utilized for region partitioning,and a Dubins-A*-based plow-ing area full coverage path planning method is proposed to achieve path smoothing and collaborative coverage of each partition.Two sets of simulation experiments are conducted.The first experiment verifies the effectiveness of the map preprocessing algorithm,and the second compares the proposed collaborative area coverage algorithm with other methods,demonstrating its performance advantages.
文摘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.
基金supported in part by the National Science and Technology Council of Taiwan under the contract numbers NSTC 114-2221-E-019-055-MY2 and NSTC 114-2221-E-019-069.
文摘Cloud services,favored by many enterprises due to their high flexibility and easy operation,are widely used for data storage and processing.However,the high latency,together with transmission overheads of the cloud architecture,makes it difficult to quickly respond to the demands of IoT applications and local computation.To make up for these deficiencies in the cloud,fog computing has emerged as a critical role in the IoT applications.It decentralizes the computing power to various lower nodes close to data sources,so as to achieve the goal of low latency and distributed processing.With the data being frequently exchanged and shared between multiple nodes,it becomes a challenge to authorize data securely and efficiently while protecting user privacy.To address this challenge,proxy re-encryption(PRE)schemes provide a feasible way allowing an intermediary proxy node to re-encrypt ciphertext designated for different authorized data requesters without compromising any plaintext information.Since the proxy is viewed as a semi-trusted party,it should be taken to prevent malicious behaviors and reduce the risk of data leakage when implementing PRE schemes.This paper proposes a new fog-assisted identity-based PRE scheme supporting anonymous key generation,equality test,and user revocation to fulfill various IoT application requirements.Specifically,in a traditional identity-based public key architecture,the key escrow problem and the necessity of a secure channel are major security concerns.We utilize an anonymous key generation technique to solve these problems.The equality test functionality further enables a cloud server to inspect whether two candidate trapdoors contain an identical keyword.In particular,the proposed scheme realizes fine-grained user-level authorization while maintaining strong key confidentiality.To revoke an invalid user identity,we add a revocation list to the system flows to restrict access privileges without increasing additional computation cost.To ensure security,it is shown that our system meets the security notion of IND-PrID-CCA and OW-ID-CCA under the Decisional Bilinear Diffie-Hellman(DBDH)assumption.
基金supported by the National Natural Science Foundation of China(No.52388102)the Sichuan Science and Technology Program(No.2024NSFTD0011)the Fundamental Research Funds for the State Key Laboratory of Rail Transit Vehicle System of Southwest Jiaotong University(No.2023TPL-T11).
文摘The dynamic characteristics of the track system can directly affect its service performance and failure process.To explore the load characteristics and dynamic response of the track system under the dynamic loads from the rack vehicle in traction conditions,a systematic test of the track subsystem was carried out on a large-slope test line.In the test,the bending stress of the rack teeth,the wheel-rail forces,and the acceleration of crucial components in the track system were measured.Subsequently,a detailed analysis was conducted on the tested signals of the rack railway track system in the time domain and the time-frequency domains.The test results indicate that the traction force significantly affects the rack tooth bending stress and the wheel-rail forces.The vibrations of the track system under the traction conditions are mainly caused by the impacts generated from the gear-rack engagement,which are then transferred to the sleepers,the rails,and the ballast beds.Furthermore,both the maximum stress on the racks and the wheel-rail forces measured on the rails remain below their allowable values.This experimental study evaluates the load characteristics and reveals the vibration characteristics of the rack railway track system under the vehicle’s ultimate load,which is very important for the load-strengthening design of the key components such as racks and the vibration and noise reduction of the track system.
基金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 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.
基金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 Stable Support Fund forBasic Disciplines,China(No.3072024WD0201)。
文摘Underwater gas-liquid two-phase propulsion technology is an emerging propulsion method that offers high efficiency and unrestricted navigation speed.The integration of this technology into water ramjet engines can significantly enhance propulsion efficiency and holds substantial potential for broad applications.However,forming a gas-liquid two-phase flow within the nozzle requires introducing a large amount of rammed seawater.At this time,there is a complex phase transition problem of combustion products in the combustion chamber,which makes the thermodynamic calculation for gas-liquid two-phase water ramjet engines particularly challenging.This paper proposes a thermodynamic calculation method for gas-liquid two-phase water ramjet engines,based on the energy equation for gas-liquid two-phase flow and traditional thermodynamic principles,enabling thermodynamic calculations under conditions of ultra-high water-fuel ratios.Additionally,ground ignition tests of the gas-liquid two-phase engine were conducted,yielding critical engine test parameters.The results demonstrate that the gas-liquid two-phase water ramjet engine achieves a high specific impulse,with a theoretical maximum specific impulse of up to 7000(N s)/kg.The multiphase flow effects significantly impact engine performance,with specific impulse losses reaching up to 25.86%.The error between the thrust and specific impulse in the ground test and the theoretical values is within 10%,validating the proposed thermodynamic calculation method as a reliable reference for further research on gas-liquid two-phase water ramjet engines.
基金supported by Institute of Information and Communications Technology Planning and Evaluation(IITP)grant funded by the Korean government(MSIT)(No.2019-0-01842,Artificial Intelligence Graduate School Program(GIST))supported by Korea Planning&Evaluation Institute of Industrial Technology(KEIT)grant funded by the Ministry of Trade,Industry&Energy(MOTIE,Republic of Korea)(RS-2025-25448249+1 种基金Automotive Industry Technology Development(R&D)Program)supported by the Regional Innovation System&Education(RISE)programthrough the(Gwangju RISE Center),funded by the Ministry of Education(MOE)and the Gwangju Metropolitan City,Republic of Korea(2025-RISE-05-001).
文摘In real-world autonomous driving tests,unexpected events such as pedestrians or wild animals suddenly entering the driving path can occur.Conducting actual test drives under various weather conditions may also lead to dangerous situations.Furthermore,autonomous vehicles may operate abnormally in bad weather due to limitations of their sensors and GPS.Driving simulators,which replicate driving conditions nearly identical to those in the real world,can drastically reduce the time and cost required for market entry validation;consequently,they have become widely used.In this paper,we design a virtual driving test environment capable of collecting and verifying SiLS data under adverse weather conditions using multi-source images.The proposed method generates a virtual testing environment that incorporates various events,including weather,time of day,and moving objects,that cannot be easily verified in real-world autonomous driving tests.By setting up scenario-based virtual environment events,multi-source image analysis and verification using real-world DCUs(Data Concentrator Units)with V2X-Car edge cloud can effectively address risk factors that may arise in real-world situations.We tested and validated the proposed method with scenarios employing V2X communication and multi-source image analysis.
基金support from the National Key Research and Development Program of China(Grant No.2022YFE0137200)supported by the Taishan Scholars Program and Open Research Fund of State Key Laboratory of Geomechanics and Geotechnical Engineering Safety(Grant No.SKLGME023003).
文摘High geo-stress and high temperature in deep rock engineering increase the possibility of engineering and geological disasters in discontinuous rocks.However,the influence of thermomechanical coupling on the shear behavior and damage evolution of prefractured granite remains immature.In this context,true triaxial laboratory tests and discrete element method simulations under different confining pressures(σ3=3 MPa,σ2=4 MPa,andσ3=80 MPa,σ2=100 MPa)and temperatures(25℃-500℃)were carried out on rough granite fractures with two different orientations.Results indicate that high temperature and high confining pressure increase the peak strength of the prefractured specimen,leading to more microcracks in the host rock and more gouges between the surfaces.Thermal strengthening at low temperatures(<300℃)and residual stick-slip only occur under a greater confining pressure for prefractured specimens.High confining pressure suppresses generation of the thermal microcracks in the heating stage.Cracks first initiate in the asperities on the fracture surfaces,and then propagate into the rock matrix during the mechanical loading stage.In addition,prefractured granite with a larger fracture angle is characterized by smaller peak and residual strength,faster residual slip,fewer new cracks on the specimen surface,and a more pronounced thermal strengthening effect on peak strength.The slip tendency analysis indicates that a higher maximum principal stress(s1)and a large fracture angle(45°-75°)generally result in a higher potential for fracture slip or activation.This study will contribute to a better understanding of the fracture shear mechanism under true triaxial thermomechanical coupling conditions and provides new insights into the stability evaluation of deep dynamic geological hazards.
基金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.
文摘It is challenging to diagnose isolated hyperbilirubinemia with rare and complex etiologies under the constraints of traditional testing conditions.Herein,we present a rare case of coexisting Gilbert syndrome(GS)and erythropoietic protoporphyria(EPP),which has not been previously documented.CASE SUMMARY We present a rare case of coexisting GS and EPP in a 23-year-old Chinese male with a long history of jaundice and recently found splenomegaly.Serial nonspecific hemolysis screening tests yielded inconsistent results,and investigations for common hemolytic etiologies were negative.However,Levitt’s carbon monoxide breath test,which measures erythrocyte lifespan(the gold-standard marker of hemolysis),demonstrated significant hemolysis,revealing a markedly shortened erythrocyte lifespan of 11 days(normal average 120 days).Genetic testing subsequently confirmed EPP with a homozygous ferrochelatase gene mutation and GS with a heterozygous uridine diphosphate glucuronosyl trans-ferase 1A1 gene mutation.CONCLUSION The rapid,non-invasive Levitt’s carbon monoxide breath test resolved the diagnostic challenge posed by a rare and complex cause of hyperbilirubinemia.
基金financially supported by the National Key Research and Development Program of China(2021YFF0703600)。
文摘Highlights By conjugating the same anti-N monoclonal antibody(mAb4-mAb1)with colloidal gold or fluorescent microspheres,this study developed two rapid point-of-care antigen immunochromatographic strips for the detection of porcine deltacoronavirus.The fluorescent microsphere-based lateral flow test strip demonstrated a sensitivity of 10^(1.7)TCID_(50)/0.1 mL,which is fourfold higher than that of the colloidal gold-based assay.Porcine deltacoronavirus(PDCoV)is a recently identified enteric coronavirus that causes an acute infectious disease in piglets,leading to diarrhea,vomiting,dehydration,and mortality(Hu et al.2015).
基金supported by the National Key Research and Development Program(2021YFB150740401)National Natural Science Foundation of China(42202336)the CAS Pioneer Hundred Talents Program in China(Y826031C01)。
文摘Hydraulic stimulation technology is widely employed to enhance the permeability of geothermal reservoirs.Nevertheless,accurately predicting hydraulic fracture propagation in complex geological conditions remains challenging,thereby hindering the effective utilization of existing natural fractures.In this study,a phase field model was developed utilizing the finite element method to examine the influence of fluid presence,stress conditions,and natural fractures on the initiation and propagation of hydraulic fractures.The model employs Biot's poroelasticity theory to establish the coupling between the displacement field and the fluid field,while the phase field theory is applied to simulate fracture behavior.The results show that whenσ_(x0)/σ_(y0)<3 or qf<20 kg/(m^(3)·s),the presence of natural fractures can alter the original propagation direction of hydraulic fractures.Conversely,in the absence of these conditions,the propagation path of natural fractures is predominantly influenced by the initial stress field.Furthermore,based on the analysis of breakdown pressure and damage area,the optimal intersection angle between natural fractures and hydraulic fractures is determined to range from 45°to 60°.Finally,once a dominant channel forms,initiating and propagating hydraulic fractures in other directions becomes increasingly difficult,even in highly fractured areas.This method tackles the challenges of initiating and propagating hydraulic fractures in complex geological conditions,providing a theoretical basis for optimizing Enhanced Geothermal System(EGS)projects.
基金The National Natural Science Foundation of China(No.90818027,60873050)the National High Technology Research andDevelopment Program of China (863 Program) (No.2009AA01Z147)+2 种基金Opening Foundation of State Key Laboratory Software Engineering in Wu-han University(No.SKLSE20080717)Opening Foundation of State KeyLaboratory for Novel Software Technology in Nanjing University(No.ZZ-KT2008F12)the Key Laboratory Foundation of Shanghai Municipal Science and Technology Commission (No.09DZ2272600)
文摘In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph（WADDGraph）which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.
