Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount impo...Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.展开更多
In software testing,the quality of test cases is crucial,but manual generation is time-consuming.Various automatic test case generation methods exist,requiring careful selection based on program features.Current evalu...In software testing,the quality of test cases is crucial,but manual generation is time-consuming.Various automatic test case generation methods exist,requiring careful selection based on program features.Current evaluation methods compare a limited set of metrics,which does not support a larger number of metrics or consider the relative importance of each metric to the final assessment.To address this,we propose an evaluation tool,the Test Case Generation Evaluator(TCGE),based on the learning to rank(L2R)algorithm.Unlike previous approaches,our method comprehensively evaluates algorithms by considering multiple metrics,resulting in a more reasoned assessment.The main principle of the TCGE is the formation of feature vectors that are of concern by the tester.Through training,the feature vectors are sorted to generate a list,with the order of the methods on the list determined according to their effectiveness on the tested assembly.We implement TCGE using three L2R algorithms:Listnet,LambdaMART,and RFLambdaMART.Evaluation employs a dataset with features of classical test case generation algorithms and three metrics—Normalized Discounted Cumulative Gain(NDCG),Mean Average Precision(MAP),and Mean Reciprocal Rank(MRR).Results demonstrate the TCGE’s superior effectiveness in evaluating test case generation algorithms compared to other methods.Among the three L2R algorithms,RFLambdaMART proves the most effective,achieving an accuracy above 96.5%,surpassing LambdaMART by 2%and Listnet by 1.5%.Consequently,the TCGE framework exhibits significant application value in the evaluation of test case generation algorithms.展开更多
Introduction: Intestinal obstruction is a common cause of abdominal surgery in the neonate. Diagnosis is straightforward using standard radiology, and surgical technique depends on the underlying anatomical lesion. Pe...Introduction: Intestinal obstruction is a common cause of abdominal surgery in the neonate. Diagnosis is straightforward using standard radiology, and surgical technique depends on the underlying anatomical lesion. Peritoneal dialysis (PD) is an effective, albeit invasive, therapy for neonatal renal failure. We report a case of neonatal obstruction with severe renal failure treated by PD to highlight our hospital practice and possible remedies in a context of limited resources. Case Presentation: This was a female neonate of moderate prematurity admitted on day 4 of life for management of a flat neonatal obstruction. Radiological diagnosis suggested small bowel atresia. Biological tests revealed severe renal failure with creatinine levels of 416 micromoles per liter and blood urea of 27.1 micromoles per liter. Management consisted of preoperative peritoneal dialysis for 48 hours followed by laparotomy. The intraoperative diagnosis was GROSFELD type IIIa digestive atresia. The postoperative course was favourable, transit was resumed on day 5 and the patient returned home on day 12. Progress at 3 months was satisfactory. Conclusion: Neonatal intestinal obstruction with renal failure in premature infants is associated with a poor prognosis, even more so if there is a delay in treatment. Peritoneal dialysis seems to be a suitable alternative for this management in our working conditions with limited resources.展开更多
BACKGROUND Angioleiomyoma is a rare and benign stromal tumor typically found in subcutaneous tissue.It rarely occurs in the gastrointestinal tract.Among the reported cases,the most common complication was gastrointest...BACKGROUND Angioleiomyoma is a rare and benign stromal tumor typically found in subcutaneous tissue.It rarely occurs in the gastrointestinal tract.Among the reported cases,the most common complication was gastrointestinal bleeding.Perforation has only been reported as a complication in the last few decades.CASE SUMMARY This case report detailed the discovery of intestinal angioleiomyoma in a 47-yearold male presenting with abdominal pain that had persisted for 3 d.After suspecting hollow organ perforation,surgical intervention involving intestinal resection and anastomosis was performed.CONCLUSION The report underscores the significance of early surgical intervention in effectively treating angioleiomyoma while emphasizing the pivotal role of timely and appropriate measures for favorable outcomes.展开更多
BACKGROUND Intestinal obstruction is a common occurrence in clinical practice.However,the occurrence of herpes zoster complicated by intestinal obstruction after abdominal surgery is exceedingly rare.In the diagnostic...BACKGROUND Intestinal obstruction is a common occurrence in clinical practice.However,the occurrence of herpes zoster complicated by intestinal obstruction after abdominal surgery is exceedingly rare.In the diagnostic and treatment process,clinicians consider it crucial to identify the primary causes of its occurrence to ensure effective treatment and avoiding misdiagnosis.CASE SUMMARY Herein,we present the case of a 40-year-old female patient with intestinal obstruction who underwent laparoscopic appendectomy and developed herpes zoster after surgery.Combining the patient's clinical manifestations and relevant laboratory tests,it was suggested that the varicella zoster virus reactivated during the latent period after abdominal surgery,causing herpes zoster.Subsequently,the herpes virus invaded the visceral nerve fibers,causing gastrointestinal dysfunction and loss of intestinal peristalsis,which eventually led to intestinal obstruction.The patient was successfully treated through conservative treatment and antiviral therapy and subsequently discharged from the hospital.CONCLUSION Pseudo-intestinal obstruction secondary to herpes zoster infection is difficult to distinguish from mechanical intestinal obstruction owing to various causes.In cases of inexplicable intestinal obstructions,considering the possibility of a viral infection is essential to minimize misdiagnosis and missed diagnoses。展开更多
BACKGROUND Gastric IgG4-related disease(IgG4-RD)is rarely encountered in clinical practice,and especially more so among pediatric patients.To our knowledge,this is the first report of IgG4-RD presenting as a calcifyin...BACKGROUND Gastric IgG4-related disease(IgG4-RD)is rarely encountered in clinical practice,and especially more so among pediatric patients.To our knowledge,this is the first report of IgG4-RD presenting as a calcifying gastric mass in a child.We describe how this entity was difficult to differentiate from a gastrointestinal stromal tumor(GIST)imaging-based approaches.Therefore,this case highlights the importance of considering IgG4-RD in the differential diagnosis of gastric tumor before performing surgical resection,especially to distinguish it from malignancy to avoid unnecessary surgery.CASE SUMMARY The patient suffered from epigastric pain for several days.Panendoscopy and computed tomography scan revealed a submucosal tumor.Differential diagnoses included GIST,leiomyoma,teratoma,and mucinous adenocarcinoma.However,laparoscopic proximal gastrectomy allowed for the definitive diagnosis of IgG4-related stomach disease.CONCLUSION We emphasize the importance of considering IgG4-RD in the differential diagnosis of gastric submucosal tumors before performing surgical resection.展开更多
BACKGROUND Intestinal tuberculosis is a chronic disease caused by Mycobacterium tuberculosis that mainly affects the ileum and cecum.Small bowel tuberculosis,characterized by predominant involvement of the small intes...BACKGROUND Intestinal tuberculosis is a chronic disease caused by Mycobacterium tuberculosis that mainly affects the ileum and cecum.Small bowel tuberculosis,characterized by predominant involvement of the small intestine,is an extremely rare condition with highly atypical clinical presentations,making diagnosis even more challenging.CASE SUMMARY We report three cases of small intestinal tuberculosis,two of the patients pre-sented primarily with abdominal pain,and one presented with gastrointestinal bleeding.All patients underwent blood tests and imaging examinations.Small bowel endoscopy(SBE)revealed that the main lesions in these patients were in-testinal stenosis or gastrointestinal bleeding caused by small intestinal ulcers.One patient ultimately underwent surgical treatment.Following a complex diagnostic process and comprehensive analysis,all patients were confirmed to have small intestinal tuberculosis and received standard antituberculosis treatment,leading to an improvement in their condition.CONCLUSION Patients with SBTs present with nonspecific symptoms such as abdominal pain,weight loss,and occasional gastrointestinal bleeding.Accurate diagnosis requires a thorough evaluation of clinical symptoms and various tests to avoid misdiagno-sis and complications.展开更多
BACKGROUND Computed tomography(CT)small bowel three-dimensional(3D)reconstruction is a powerful tool for the diagnosis of small bowel disease and can clearly show the intestinal lumen and wall as well as the outside s...BACKGROUND Computed tomography(CT)small bowel three-dimensional(3D)reconstruction is a powerful tool for the diagnosis of small bowel disease and can clearly show the intestinal lumen and wall as well as the outside structure of the wall.The horizontal axis position can show the best adjacent intestinal tube and the lesion between the intestinal tubes,while the coronal position can show the overall view of the small bowel.The ileal end of the localization of the display of excellent,and easy to quantitative measurement of the affected intestinal segments,the sagittal position for the rectum and the pre-sacral lesions show the best,for the discovery of fistulae is also helpful.Sagittal view can show rectal and presacral lesions and is useful for fistula detection.It is suitable for the assessment of inflammatory bowel disease,such as assessment of disease severity and diagnosis and differential diagnosis of the small bowel and mesenteric space-occupying lesions as well as the judgment of small bowel obstruction points.CASE SUMMARY Bleeding caused by small intestinal polyps is often difficult to diagnose in clinical practice.This study reports a 29-year-old male patient who was admitted to the hospital with black stool and abdominal pain for 3 months.Using the combination of CT-3D reconstruction and capsule endoscopy,the condition was diagnosed correctly,and the polyps were removed using single-balloon enteroscopyendoscopic retrograde cholangiopancreatography without postoperative complications.CONCLUSION The role of CT-3D in gastrointestinal diseases was confirmed.CT-3D can assist in the diagnosis and treatment of gastrointestinal diseases in combination with capsule endoscopy and small intestinal microscopy.展开更多
BACKGROUND The gut microbiota is strongly associated with radiation-induced gut damage.This study aimed to assess the effectiveness and safety of intestinal microecological transplantation for treating patients with c...BACKGROUND The gut microbiota is strongly associated with radiation-induced gut damage.This study aimed to assess the effectiveness and safety of intestinal microecological transplantation for treating patients with chronic radiation enteritis.CASE SUMMARY A 64-year-old female with cervical cancer developed abdominal pain,diarrhea,and blood in the stool 1 year after radiotherapy.An electronic colonoscopy was performed to diagnose chronic radiation enteritis.Two courses of intestinal microecological transplantation and full-length 16S rRNA microbiological analysis were performed.The patient experienced short-and long-term relief from symptoms without adverse effects.Whole 16S rRNA sequencing revealed significant differences in the intestinal flora’s composition between patient and healthy donors.Pathogenic bacteria,such as Escherichia fergusonii and Romboutsia timonensis,were more in the patient.Beneficial bacteria such as Faecalibacterium prausnitzii,Fusicatenibacter saccharivorans,Ruminococcus bromii,and Bifidobacterium longum were more in the healthy donors.Intestinal microbiota transplantation resulted in a significant change in the patient's intestinal flora composition.The composition converged with the donor's flora,with an increase in core beneficial intestinal bacteria,such as Eubacterium rectale,and a decrease in pathogenic bacteria.Changes in the intestinal flora corresponded with the patients'alleviating clinical symptoms.CONCLUSION Intestinal microecological transplantation is an effective treatment for relieving the clinical symptoms of chronic radiation enteritis by altering the composition of the intestinal flora.This study provides a new approach for treating patients with chronic radiation enteritis.展开更多
BACKGROUND Monomorphic epithelial intestinal T-cell lymphoma(MEITL)is a rare type of peripheral T-cell lymphoma.The clinical manifestations are diarrhea,abdominal pain,perforation and an abdominal mass.CASE SUMMARY We...BACKGROUND Monomorphic epithelial intestinal T-cell lymphoma(MEITL)is a rare type of peripheral T-cell lymphoma.The clinical manifestations are diarrhea,abdominal pain,perforation and an abdominal mass.CASE SUMMARY We present a 52-year-old female patient who was diagnosed with MEITL.Further disease progression was observed after multiline chemotherapy.Eventually,the patient died of a severe infection.CONCLUSION MEITL is a rare intestinal primary T-cell lymphoma with aggressive behavior,a high risk of severe life-threatening complications,and a poor prognosis.展开更多
BACKGROUND Premature ovarian insufficiency(POI)is a condition that causes secondary amenorrhea owing to ovarian hypofunction at an early stage.Early follicular depletion results in intractable infertility,thereby cons...BACKGROUND Premature ovarian insufficiency(POI)is a condition that causes secondary amenorrhea owing to ovarian hypofunction at an early stage.Early follicular depletion results in intractable infertility,thereby considerably reducing the quality of life of females.Given the continuum in weakened ovarian function,progressing from incipient ovarian failure(IOF)to transitional ovarian failure and further to POI,it is necessary to develop biomarkers for predicting POI.The oxidative stress states in IOF and POI were comprehensively evaluated via oxidative stress[diacron-reactive oxygen metabolites(d-ROMs)]test and anti-oxidant capacity[biological antioxidant potential(BAP)].METHODS Females presenting with secondary amenorrhea over 4 mo and a follicle stimulating hormone level of>40 mIU/mL were categorized into the POI group.Females presenting with a normal menstrual cycle and a follicle stimulating hormone level of>10.2 mIU/mL were categorized into the IOF group.Healthy females without ovarian hypofunction were categorized into the control group.Among females aged<40 years who visited our hospital from January 2021 to June 2022,we recruited 11 patients into both POI and IOF groups.For the potential antioxidant capacity,the relative oxidative stress index(BAP/d-ROMs×100)was calculated,and the oxidative stress defense system was comprehensively evaluated.RESULTS d-ROMs were significantly higher in the POI and IOF groups than in the control group,(478.2±58.7 U.CARR,434.5±60.6 U.CARR,and 341.1±35.1 U.CARR,respectively)(U.CARR is equivalent to 0.08 mg/dL of hydrogen peroxide).However,no significant difference was found between the POI and IOF groups.Regarding BAP,no significant difference was found between the control,IOF,and POI groups(2078.5±157.4μmol/L,2116.2±240.2μmol/L,and 2029.0±186.4μmol/L,respectively).The oxidative stress index was significantly higher in the POI and IOF groups than in the control group(23.7±3.3,20.7±3.6,and 16.5±2.1,respectively).However,no significant difference was found between the POI and IOF groups.CONCLUSION High levels of oxidative stress suggest that evaluating the oxidative stress state may be a useful indicator for the early detection of POI.展开更多
BACKGROUND Collision tumors involving the small intestine,specifically the combination of a hamartomatous tumor and a lipoma,are extremely rare.To our knowledge,no previous case report has described a collision tumor ...BACKGROUND Collision tumors involving the small intestine,specifically the combination of a hamartomatous tumor and a lipoma,are extremely rare.To our knowledge,no previous case report has described a collision tumor composed of two benign tumors of different origins in the small intestine.CASE SUMMARY Here,we present the case of an 82-year-old woman who presented with hemorrhagic shock and was found to have a mass measuring approximately 50 mm×32 mm×30 mm in the terminal ileum.Based on computed tomography scan findings,the mass was initially suspected to be a lipoma.A subsequent colonoscopy revealed a pedunculated submucosal elevation consisting of two distinct parts with a visible demarcation line.A biopsy of the upper portion suggested a juvenile polyp(JP).Owing to the patient’s advanced age,multiple comorbidities,and poor surgical tolerance,a modified endoscopic submucosal dissection was performed.Histopathological examination of the excised mucosal mass revealed a lipoma at the base and a JP at the top,demonstrating evidence of rupture and associated bleeding.The patient’s overall health remained satisfactory,with no recurrence of hematochezia during the six-month follow-up period.CONCLUSION This case report provides new evidence for the understanding of gastrointestinal collision tumors,emphasizing their diverse clinical presentations and histopathological characteristics.It also offers diagnostic and therapeutic insights as well as an approach for managing benign collision tumors.展开更多
BACKGROUND Acute upper gastrointestinal bleeding is a common medical emergency that has a 10%hospital mortality rate.According to the etiology,this disease can be divided into acute varicose veins and nonvaricose vein...BACKGROUND Acute upper gastrointestinal bleeding is a common medical emergency that has a 10%hospital mortality rate.According to the etiology,this disease can be divided into acute varicose veins and nonvaricose veins.Bleeding from esophageal varices is a life-threatening complication of portal hypertension.Portal hypertension is a clinical syndrome defined as a portal venous pressure that exceeds 10 mmHg.Cirrhosis is the most common cause of portal hypertension,and thrombosis of the portal system not associated with liver cirrhosis is the second most common cause of portal hypertension in the Western world.Primary myeloproliferative disorders are the main cause of portal venous thrombosis,and somatic mutations in the Janus kinase 2 gene(JAK2 V617F)can be found in approximately 90% of polycythemia vera,50% of essential thrombocyrosis and 50% of primary myelofibrosis.CASE SUMMARY We present a rare case of primary myelofibrosis with gastrointestinal bleeding as the primary manifestation that presented as portal-superior-splenic mesenteric vein thrombosis.Peripheral blood tests revealed the presence of the JAK2 V617F mutation.Bone marrow biopsy ultimately confirmed the diagnosis of myelofibrosis(MF-2 grade).CONCLUSION In patients with acute esophageal variceal bleeding due to portal hypertension and vein thrombosis without cirrhosis,the possibility of myeloproliferative neoplasms should be considered,and the JAK2 mutation test should be performed.展开更多
BACKGROUND Genetic factors of chronic intestinal ulcers are increasingly garnering attention.We present a case of chronic intestinal ulcers and bleeding associated with mu-tations of the activin A receptor type II-lik...BACKGROUND Genetic factors of chronic intestinal ulcers are increasingly garnering attention.We present a case of chronic intestinal ulcers and bleeding associated with mu-tations of the activin A receptor type II-like 1(ACVRL1)and phospholipase A2 group IVA(PLA2G4A)genes and review the available relevant literature.CASE SUMMARY A 20-year-old man was admitted to our center with a 6-year history of recurrent abdominal pain,diarrhea,and dark stools.At the onset 6 years ago,the patient had received treatment at a local hospital for abdominal pain persisting for 7 d,under the diagnosis of diffuse peritonitis,acute gangrenous appendicitis with perforation,adhesive intestinal obstruction,and pelvic abscess.The surgical treat-ment included exploratory laparotomy,appendectomy,intestinal adhesiolysis,and pelvic abscess removal.The patient’s condition improved and he was dis-charged.However,the recurrent episodes of abdominal pain and passage of black stools started again one year after discharge.On the basis of these features and results of subsequent colonoscopy,the clinical diagnosis was established as in-flammatory bowel disease(IBD).Accordingly,aminosalicylic acid,immunotherapy,and related symptomatic treatment were administered,but the symptoms of the patient did not improve significantly.Further investigations revealed mutations in the ACVRL1 and PLA2G4A genes.ACVRL1 and PLA2G4A are involved in angiogenesis and coagulation,respectively.This suggests that the chronic intestinal ulcers and bleeding in this case may be linked to mutations in the ACVRL1 and PLA2G4A genes.Oral Kangfuxin liquid was administered to promote healing of the intestinal mucosa and effectively manage clinical symptoms.CONCLUSION Mutations in the ACVRL1 and PLA2G4A genes may be one of the causes of chronic intestinal ulcers and bleeding in IBD.Orally administered Kangfuxin liquid may have therapeutic potential.展开更多
Software needs modifications and requires revisions regularly.Owing to these revisions,retesting software becomes essential to ensure that the enhancements made,have not affected its bug-free functioning.The time and ...Software needs modifications and requires revisions regularly.Owing to these revisions,retesting software becomes essential to ensure that the enhancements made,have not affected its bug-free functioning.The time and cost incurred in this process,need to be reduced by the method of test case selection and prioritization.It is observed that many nature-inspired techniques are applied in this area.African Buffalo Optimization is one such approach,applied to regression test selection and prioritization.In this paper,the proposed work explains and proves the applicability of the African Buffalo Optimization approach to test case selection and prioritization.The proposed algorithm converges in polynomial time(O(n^(2))).In this paper,the empirical evaluation of applying African Buffalo Optimization for test case prioritization is done on sample data set with multiple iterations.An astounding 62.5%drop in size and a 48.57%drop in the runtime of the original test suite were recorded.The obtained results are compared with Ant Colony Optimization.The comparative analysis indicates that African Buffalo Optimization and Ant Colony Optimization exhibit similar fault detection capabilities(80%),and a reduction in the overall execution time and size of the resultant test suite.The results and analysis,hence,advocate and encourages the use of African Buffalo Optimization in the area of test case selection and prioritization.展开更多
Test Case Prioritization(TCP)techniques perform better than other regression test optimization techniques including Test Suite Reduction(TSR)and Test Case Selection(TCS).Many TCP techniques are available,and their per...Test Case Prioritization(TCP)techniques perform better than other regression test optimization techniques including Test Suite Reduction(TSR)and Test Case Selection(TCS).Many TCP techniques are available,and their performance is usually measured through a metric Average Percentage of Fault Detection(APFD).This metric is value-neutral because it only works well when all test cases have the same cost,and all faults have the same severity.Using APFD for performance evaluation of test case orders where test cases cost or faults severity varies is prone to produce false results.Therefore,using the right metric for performance evaluation of TCP techniques is very important to get reliable and correct results.In this paper,two value-based TCP techniques have been introduced using Genetic Algorithm(GA)including Value-Cognizant Fault Detection-Based TCP(VCFDB-TCP)and Value-Cognizant Requirements Coverage-Based TCP(VCRCB-TCP).Two novel value-based performance evaluation metrics are also introduced for value-based TCP including Average Percentage of Fault Detection per value(APFDv)and Average Percentage of Requirements Coverage per value(APRCv).Two case studies are performed to validate proposed techniques and performance evaluation metrics.The proposed GA-based techniques outperformed the existing state-of-the-art TCP techniques including Original Order(OO),Reverse Order(REV-O),Random Order(RO),and Greedy algorithm.展开更多
Regression testing is a widely used approach to confirm the correct functionality of the software in incremental development.The use of test cases makes it easier to test the ripple effect of changed requirements.Rigo...Regression testing is a widely used approach to confirm the correct functionality of the software in incremental development.The use of test cases makes it easier to test the ripple effect of changed requirements.Rigorous testingmay help in meeting the quality criteria that is based on the conformance to the requirements as given by the intended stakeholders.However,a minimized and prioritized set of test cases may reduce the efforts and time required for testingwhile focusing on the timely delivery of the software application.In this research,a technique named Test Reduce has been presented to get a minimal set of test cases based on high priority to ensure that the web applicationmeets the required quality criteria.A new technique TestReduce is proposed with a blend of genetic algorithm to find an optimized and minimal set of test cases.The ultimate objective associated with this study is to provide a technique that may solve the minimization problem of regression test cases in the case of linked requirements.In this research,the 100-Dollar prioritization approach is used to define the priority of the new requirements.展开更多
Despite the advances in automated vulnerability detection approaches,security vulnerabilities caused by design flaws in software systems are continuously appearing in real-world systems.Such security design flaws can ...Despite the advances in automated vulnerability detection approaches,security vulnerabilities caused by design flaws in software systems are continuously appearing in real-world systems.Such security design flaws can bring unrestricted and misimplemented behaviors of a system and can lead to fatal vulnerabilities such as remote code execution or sensitive data leakage.Therefore,it is an essential task to discover unrestricted and misimplemented behaviors of a system.However,it is a daunting task for security experts to discover such vulnerabilities in advance because it is timeconsuming and error-prone to analyze the whole code in detail.Also,most of the existing vulnerability detection approaches still focus on detecting memory corruption bugs because these bugs are the dominant root cause of software vulnerabilities.This paper proposes SMINER,a novel approach that discovers vulnerabilities caused by unrestricted and misimplemented behaviors.SMINER first collects unit test cases for the target system from the official repository.Next,preprocess the collected code fragments.SMINER uses pre-processed data to show the security policies that can occur on the target system and creates a test case for security policy testing.To demonstrate the effectiveness of SMINER,this paper evaluates SMINER against Robot Operating System(ROS),a real-world system used for intelligent robots in Amazon and controlling satellites in National Aeronautics and Space Administration(NASA).From the evaluation,we discovered two real-world vulnerabilities in ROS.展开更多
Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subject...Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subjected to modifications,the drastic increase in the count of test cases forces the testers to opt for a test optimization strategy.One such strategy is test case prioritization(TCP).Existing works have propounded various methodologies that re-order the system-level test cases intending to boost either the fault detection capabilities or the coverage efficacy at the earliest.Nonetheless,singularity in objective functions and the lack of dissimilitude among the re-ordered test sequences have degraded the cogency of their approaches.Considering such gaps and scenarios when the meteoric and continuous updations in the software make the intensive unit and integration testing process more fragile,this study has introduced a memetics-inspired methodology for TCP.The proposed structure is first embedded with diverse parameters,and then traditional steps of the shuffled-frog-leaping approach(SFLA)are followed to prioritize the test cases at unit and integration levels.On 5 standard test functions,a comparative analysis is conducted between the established algorithms and the proposed approach,where the latter enhances the coverage rate and fault detection of re-ordered test sets.Investigation results related to the mean average percentage of fault detection(APFD)confirmed that the proposed approach exceeds the memetic,basic multi-walk,PSO,and optimized multi-walk by 21.7%,13.99%,12.24%,and 11.51%,respectively.展开更多
BACKGROUND Ectopic pancreas may be unfamiliar to many people because it is rare and difficult to diagnose.However,this disease is highly susceptible to misdiagnosis and missed diagnosis.In this article,we report two c...BACKGROUND Ectopic pancreas may be unfamiliar to many people because it is rare and difficult to diagnose.However,this disease is highly susceptible to misdiagnosis and missed diagnosis.In this article,we report two cases of pancreatic heterotopia in the gastric sinus and small intestine,respectively,both of which were confirmed by histopathological examination.CASE SUMMARY The first patient was a 43-year-old female which reported abdominal distension for 2 mo.The second was a 67-year-old female who experienced intermittent epigastric discomfort for 15 d.In both cases,there was no confirmed preoperative examination,and the postoperative pathology indicated the presence of ectopic pancreas.CONCLUSION The diagnosis of ectopic pancreas is difficult,and is often prone to misdiagnosis and the possibility of being overlooked.Various laboratory tests and imaging tests should be carefully evaluated before surgery to achieve early detection,early diagnosis and early treatment.展开更多
文摘Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.
文摘In software testing,the quality of test cases is crucial,but manual generation is time-consuming.Various automatic test case generation methods exist,requiring careful selection based on program features.Current evaluation methods compare a limited set of metrics,which does not support a larger number of metrics or consider the relative importance of each metric to the final assessment.To address this,we propose an evaluation tool,the Test Case Generation Evaluator(TCGE),based on the learning to rank(L2R)algorithm.Unlike previous approaches,our method comprehensively evaluates algorithms by considering multiple metrics,resulting in a more reasoned assessment.The main principle of the TCGE is the formation of feature vectors that are of concern by the tester.Through training,the feature vectors are sorted to generate a list,with the order of the methods on the list determined according to their effectiveness on the tested assembly.We implement TCGE using three L2R algorithms:Listnet,LambdaMART,and RFLambdaMART.Evaluation employs a dataset with features of classical test case generation algorithms and three metrics—Normalized Discounted Cumulative Gain(NDCG),Mean Average Precision(MAP),and Mean Reciprocal Rank(MRR).Results demonstrate the TCGE’s superior effectiveness in evaluating test case generation algorithms compared to other methods.Among the three L2R algorithms,RFLambdaMART proves the most effective,achieving an accuracy above 96.5%,surpassing LambdaMART by 2%and Listnet by 1.5%.Consequently,the TCGE framework exhibits significant application value in the evaluation of test case generation algorithms.
文摘Introduction: Intestinal obstruction is a common cause of abdominal surgery in the neonate. Diagnosis is straightforward using standard radiology, and surgical technique depends on the underlying anatomical lesion. Peritoneal dialysis (PD) is an effective, albeit invasive, therapy for neonatal renal failure. We report a case of neonatal obstruction with severe renal failure treated by PD to highlight our hospital practice and possible remedies in a context of limited resources. Case Presentation: This was a female neonate of moderate prematurity admitted on day 4 of life for management of a flat neonatal obstruction. Radiological diagnosis suggested small bowel atresia. Biological tests revealed severe renal failure with creatinine levels of 416 micromoles per liter and blood urea of 27.1 micromoles per liter. Management consisted of preoperative peritoneal dialysis for 48 hours followed by laparotomy. The intraoperative diagnosis was GROSFELD type IIIa digestive atresia. The postoperative course was favourable, transit was resumed on day 5 and the patient returned home on day 12. Progress at 3 months was satisfactory. Conclusion: Neonatal intestinal obstruction with renal failure in premature infants is associated with a poor prognosis, even more so if there is a delay in treatment. Peritoneal dialysis seems to be a suitable alternative for this management in our working conditions with limited resources.
文摘BACKGROUND Angioleiomyoma is a rare and benign stromal tumor typically found in subcutaneous tissue.It rarely occurs in the gastrointestinal tract.Among the reported cases,the most common complication was gastrointestinal bleeding.Perforation has only been reported as a complication in the last few decades.CASE SUMMARY This case report detailed the discovery of intestinal angioleiomyoma in a 47-yearold male presenting with abdominal pain that had persisted for 3 d.After suspecting hollow organ perforation,surgical intervention involving intestinal resection and anastomosis was performed.CONCLUSION The report underscores the significance of early surgical intervention in effectively treating angioleiomyoma while emphasizing the pivotal role of timely and appropriate measures for favorable outcomes.
文摘BACKGROUND Intestinal obstruction is a common occurrence in clinical practice.However,the occurrence of herpes zoster complicated by intestinal obstruction after abdominal surgery is exceedingly rare.In the diagnostic and treatment process,clinicians consider it crucial to identify the primary causes of its occurrence to ensure effective treatment and avoiding misdiagnosis.CASE SUMMARY Herein,we present the case of a 40-year-old female patient with intestinal obstruction who underwent laparoscopic appendectomy and developed herpes zoster after surgery.Combining the patient's clinical manifestations and relevant laboratory tests,it was suggested that the varicella zoster virus reactivated during the latent period after abdominal surgery,causing herpes zoster.Subsequently,the herpes virus invaded the visceral nerve fibers,causing gastrointestinal dysfunction and loss of intestinal peristalsis,which eventually led to intestinal obstruction.The patient was successfully treated through conservative treatment and antiviral therapy and subsequently discharged from the hospital.CONCLUSION Pseudo-intestinal obstruction secondary to herpes zoster infection is difficult to distinguish from mechanical intestinal obstruction owing to various causes.In cases of inexplicable intestinal obstructions,considering the possibility of a viral infection is essential to minimize misdiagnosis and missed diagnoses。
文摘BACKGROUND Gastric IgG4-related disease(IgG4-RD)is rarely encountered in clinical practice,and especially more so among pediatric patients.To our knowledge,this is the first report of IgG4-RD presenting as a calcifying gastric mass in a child.We describe how this entity was difficult to differentiate from a gastrointestinal stromal tumor(GIST)imaging-based approaches.Therefore,this case highlights the importance of considering IgG4-RD in the differential diagnosis of gastric tumor before performing surgical resection,especially to distinguish it from malignancy to avoid unnecessary surgery.CASE SUMMARY The patient suffered from epigastric pain for several days.Panendoscopy and computed tomography scan revealed a submucosal tumor.Differential diagnoses included GIST,leiomyoma,teratoma,and mucinous adenocarcinoma.However,laparoscopic proximal gastrectomy allowed for the definitive diagnosis of IgG4-related stomach disease.CONCLUSION We emphasize the importance of considering IgG4-RD in the differential diagnosis of gastric submucosal tumors before performing surgical resection.
文摘BACKGROUND Intestinal tuberculosis is a chronic disease caused by Mycobacterium tuberculosis that mainly affects the ileum and cecum.Small bowel tuberculosis,characterized by predominant involvement of the small intestine,is an extremely rare condition with highly atypical clinical presentations,making diagnosis even more challenging.CASE SUMMARY We report three cases of small intestinal tuberculosis,two of the patients pre-sented primarily with abdominal pain,and one presented with gastrointestinal bleeding.All patients underwent blood tests and imaging examinations.Small bowel endoscopy(SBE)revealed that the main lesions in these patients were in-testinal stenosis or gastrointestinal bleeding caused by small intestinal ulcers.One patient ultimately underwent surgical treatment.Following a complex diagnostic process and comprehensive analysis,all patients were confirmed to have small intestinal tuberculosis and received standard antituberculosis treatment,leading to an improvement in their condition.CONCLUSION Patients with SBTs present with nonspecific symptoms such as abdominal pain,weight loss,and occasional gastrointestinal bleeding.Accurate diagnosis requires a thorough evaluation of clinical symptoms and various tests to avoid misdiagno-sis and complications.
文摘BACKGROUND Computed tomography(CT)small bowel three-dimensional(3D)reconstruction is a powerful tool for the diagnosis of small bowel disease and can clearly show the intestinal lumen and wall as well as the outside structure of the wall.The horizontal axis position can show the best adjacent intestinal tube and the lesion between the intestinal tubes,while the coronal position can show the overall view of the small bowel.The ileal end of the localization of the display of excellent,and easy to quantitative measurement of the affected intestinal segments,the sagittal position for the rectum and the pre-sacral lesions show the best,for the discovery of fistulae is also helpful.Sagittal view can show rectal and presacral lesions and is useful for fistula detection.It is suitable for the assessment of inflammatory bowel disease,such as assessment of disease severity and diagnosis and differential diagnosis of the small bowel and mesenteric space-occupying lesions as well as the judgment of small bowel obstruction points.CASE SUMMARY Bleeding caused by small intestinal polyps is often difficult to diagnose in clinical practice.This study reports a 29-year-old male patient who was admitted to the hospital with black stool and abdominal pain for 3 months.Using the combination of CT-3D reconstruction and capsule endoscopy,the condition was diagnosed correctly,and the polyps were removed using single-balloon enteroscopyendoscopic retrograde cholangiopancreatography without postoperative complications.CONCLUSION The role of CT-3D in gastrointestinal diseases was confirmed.CT-3D can assist in the diagnosis and treatment of gastrointestinal diseases in combination with capsule endoscopy and small intestinal microscopy.
文摘BACKGROUND The gut microbiota is strongly associated with radiation-induced gut damage.This study aimed to assess the effectiveness and safety of intestinal microecological transplantation for treating patients with chronic radiation enteritis.CASE SUMMARY A 64-year-old female with cervical cancer developed abdominal pain,diarrhea,and blood in the stool 1 year after radiotherapy.An electronic colonoscopy was performed to diagnose chronic radiation enteritis.Two courses of intestinal microecological transplantation and full-length 16S rRNA microbiological analysis were performed.The patient experienced short-and long-term relief from symptoms without adverse effects.Whole 16S rRNA sequencing revealed significant differences in the intestinal flora’s composition between patient and healthy donors.Pathogenic bacteria,such as Escherichia fergusonii and Romboutsia timonensis,were more in the patient.Beneficial bacteria such as Faecalibacterium prausnitzii,Fusicatenibacter saccharivorans,Ruminococcus bromii,and Bifidobacterium longum were more in the healthy donors.Intestinal microbiota transplantation resulted in a significant change in the patient's intestinal flora composition.The composition converged with the donor's flora,with an increase in core beneficial intestinal bacteria,such as Eubacterium rectale,and a decrease in pathogenic bacteria.Changes in the intestinal flora corresponded with the patients'alleviating clinical symptoms.CONCLUSION Intestinal microecological transplantation is an effective treatment for relieving the clinical symptoms of chronic radiation enteritis by altering the composition of the intestinal flora.This study provides a new approach for treating patients with chronic radiation enteritis.
基金Supported by Zhejiang Province Traditional Chinese Medicine Science and Technology Project,No.2024ZL1296.
文摘BACKGROUND Monomorphic epithelial intestinal T-cell lymphoma(MEITL)is a rare type of peripheral T-cell lymphoma.The clinical manifestations are diarrhea,abdominal pain,perforation and an abdominal mass.CASE SUMMARY We present a 52-year-old female patient who was diagnosed with MEITL.Further disease progression was observed after multiline chemotherapy.Eventually,the patient died of a severe infection.CONCLUSION MEITL is a rare intestinal primary T-cell lymphoma with aggressive behavior,a high risk of severe life-threatening complications,and a poor prognosis.
文摘BACKGROUND Premature ovarian insufficiency(POI)is a condition that causes secondary amenorrhea owing to ovarian hypofunction at an early stage.Early follicular depletion results in intractable infertility,thereby considerably reducing the quality of life of females.Given the continuum in weakened ovarian function,progressing from incipient ovarian failure(IOF)to transitional ovarian failure and further to POI,it is necessary to develop biomarkers for predicting POI.The oxidative stress states in IOF and POI were comprehensively evaluated via oxidative stress[diacron-reactive oxygen metabolites(d-ROMs)]test and anti-oxidant capacity[biological antioxidant potential(BAP)].METHODS Females presenting with secondary amenorrhea over 4 mo and a follicle stimulating hormone level of>40 mIU/mL were categorized into the POI group.Females presenting with a normal menstrual cycle and a follicle stimulating hormone level of>10.2 mIU/mL were categorized into the IOF group.Healthy females without ovarian hypofunction were categorized into the control group.Among females aged<40 years who visited our hospital from January 2021 to June 2022,we recruited 11 patients into both POI and IOF groups.For the potential antioxidant capacity,the relative oxidative stress index(BAP/d-ROMs×100)was calculated,and the oxidative stress defense system was comprehensively evaluated.RESULTS d-ROMs were significantly higher in the POI and IOF groups than in the control group,(478.2±58.7 U.CARR,434.5±60.6 U.CARR,and 341.1±35.1 U.CARR,respectively)(U.CARR is equivalent to 0.08 mg/dL of hydrogen peroxide).However,no significant difference was found between the POI and IOF groups.Regarding BAP,no significant difference was found between the control,IOF,and POI groups(2078.5±157.4μmol/L,2116.2±240.2μmol/L,and 2029.0±186.4μmol/L,respectively).The oxidative stress index was significantly higher in the POI and IOF groups than in the control group(23.7±3.3,20.7±3.6,and 16.5±2.1,respectively).However,no significant difference was found between the POI and IOF groups.CONCLUSION High levels of oxidative stress suggest that evaluating the oxidative stress state may be a useful indicator for the early detection of POI.
基金Supported by the National Natural Science Foundation of China,No.82204994and Sanming Project of Medicine in Shenzhen,No.
文摘BACKGROUND Collision tumors involving the small intestine,specifically the combination of a hamartomatous tumor and a lipoma,are extremely rare.To our knowledge,no previous case report has described a collision tumor composed of two benign tumors of different origins in the small intestine.CASE SUMMARY Here,we present the case of an 82-year-old woman who presented with hemorrhagic shock and was found to have a mass measuring approximately 50 mm×32 mm×30 mm in the terminal ileum.Based on computed tomography scan findings,the mass was initially suspected to be a lipoma.A subsequent colonoscopy revealed a pedunculated submucosal elevation consisting of two distinct parts with a visible demarcation line.A biopsy of the upper portion suggested a juvenile polyp(JP).Owing to the patient’s advanced age,multiple comorbidities,and poor surgical tolerance,a modified endoscopic submucosal dissection was performed.Histopathological examination of the excised mucosal mass revealed a lipoma at the base and a JP at the top,demonstrating evidence of rupture and associated bleeding.The patient’s overall health remained satisfactory,with no recurrence of hematochezia during the six-month follow-up period.CONCLUSION This case report provides new evidence for the understanding of gastrointestinal collision tumors,emphasizing their diverse clinical presentations and histopathological characteristics.It also offers diagnostic and therapeutic insights as well as an approach for managing benign collision tumors.
文摘BACKGROUND Acute upper gastrointestinal bleeding is a common medical emergency that has a 10%hospital mortality rate.According to the etiology,this disease can be divided into acute varicose veins and nonvaricose veins.Bleeding from esophageal varices is a life-threatening complication of portal hypertension.Portal hypertension is a clinical syndrome defined as a portal venous pressure that exceeds 10 mmHg.Cirrhosis is the most common cause of portal hypertension,and thrombosis of the portal system not associated with liver cirrhosis is the second most common cause of portal hypertension in the Western world.Primary myeloproliferative disorders are the main cause of portal venous thrombosis,and somatic mutations in the Janus kinase 2 gene(JAK2 V617F)can be found in approximately 90% of polycythemia vera,50% of essential thrombocyrosis and 50% of primary myelofibrosis.CASE SUMMARY We present a rare case of primary myelofibrosis with gastrointestinal bleeding as the primary manifestation that presented as portal-superior-splenic mesenteric vein thrombosis.Peripheral blood tests revealed the presence of the JAK2 V617F mutation.Bone marrow biopsy ultimately confirmed the diagnosis of myelofibrosis(MF-2 grade).CONCLUSION In patients with acute esophageal variceal bleeding due to portal hypertension and vein thrombosis without cirrhosis,the possibility of myeloproliferative neoplasms should be considered,and the JAK2 mutation test should be performed.
基金Supported by the Science and Technology Research Foundation of Guizhou Province,No.QKHJC-ZK[2022]YB642Science and Technology Research Foundation of Hubei Province,No.2022BCE030+2 种基金Science and Technology Research Foundation of Zunyi City,No.ZSKH-HZ(2022)344Research Project on Traditional Chinese Medicine and Ethnic Medicine Science and Technology of Guizhou Provincial Administration of Traditional Chinese Medicine,No.QZYY-2023-021Science and Technology Research Foundation of Bijie City,No.BKH[2022]8.
文摘BACKGROUND Genetic factors of chronic intestinal ulcers are increasingly garnering attention.We present a case of chronic intestinal ulcers and bleeding associated with mu-tations of the activin A receptor type II-like 1(ACVRL1)and phospholipase A2 group IVA(PLA2G4A)genes and review the available relevant literature.CASE SUMMARY A 20-year-old man was admitted to our center with a 6-year history of recurrent abdominal pain,diarrhea,and dark stools.At the onset 6 years ago,the patient had received treatment at a local hospital for abdominal pain persisting for 7 d,under the diagnosis of diffuse peritonitis,acute gangrenous appendicitis with perforation,adhesive intestinal obstruction,and pelvic abscess.The surgical treat-ment included exploratory laparotomy,appendectomy,intestinal adhesiolysis,and pelvic abscess removal.The patient’s condition improved and he was dis-charged.However,the recurrent episodes of abdominal pain and passage of black stools started again one year after discharge.On the basis of these features and results of subsequent colonoscopy,the clinical diagnosis was established as in-flammatory bowel disease(IBD).Accordingly,aminosalicylic acid,immunotherapy,and related symptomatic treatment were administered,but the symptoms of the patient did not improve significantly.Further investigations revealed mutations in the ACVRL1 and PLA2G4A genes.ACVRL1 and PLA2G4A are involved in angiogenesis and coagulation,respectively.This suggests that the chronic intestinal ulcers and bleeding in this case may be linked to mutations in the ACVRL1 and PLA2G4A genes.Oral Kangfuxin liquid was administered to promote healing of the intestinal mucosa and effectively manage clinical symptoms.CONCLUSION Mutations in the ACVRL1 and PLA2G4A genes may be one of the causes of chronic intestinal ulcers and bleeding in IBD.Orally administered Kangfuxin liquid may have therapeutic potential.
基金This research is funded by the Deanship of Scientific Research at Umm Al-Qura University,Grant Code:22UQU4281755DSR02.
文摘Software needs modifications and requires revisions regularly.Owing to these revisions,retesting software becomes essential to ensure that the enhancements made,have not affected its bug-free functioning.The time and cost incurred in this process,need to be reduced by the method of test case selection and prioritization.It is observed that many nature-inspired techniques are applied in this area.African Buffalo Optimization is one such approach,applied to regression test selection and prioritization.In this paper,the proposed work explains and proves the applicability of the African Buffalo Optimization approach to test case selection and prioritization.The proposed algorithm converges in polynomial time(O(n^(2))).In this paper,the empirical evaluation of applying African Buffalo Optimization for test case prioritization is done on sample data set with multiple iterations.An astounding 62.5%drop in size and a 48.57%drop in the runtime of the original test suite were recorded.The obtained results are compared with Ant Colony Optimization.The comparative analysis indicates that African Buffalo Optimization and Ant Colony Optimization exhibit similar fault detection capabilities(80%),and a reduction in the overall execution time and size of the resultant test suite.The results and analysis,hence,advocate and encourages the use of African Buffalo Optimization in the area of test case selection and prioritization.
文摘Test Case Prioritization(TCP)techniques perform better than other regression test optimization techniques including Test Suite Reduction(TSR)and Test Case Selection(TCS).Many TCP techniques are available,and their performance is usually measured through a metric Average Percentage of Fault Detection(APFD).This metric is value-neutral because it only works well when all test cases have the same cost,and all faults have the same severity.Using APFD for performance evaluation of test case orders where test cases cost or faults severity varies is prone to produce false results.Therefore,using the right metric for performance evaluation of TCP techniques is very important to get reliable and correct results.In this paper,two value-based TCP techniques have been introduced using Genetic Algorithm(GA)including Value-Cognizant Fault Detection-Based TCP(VCFDB-TCP)and Value-Cognizant Requirements Coverage-Based TCP(VCRCB-TCP).Two novel value-based performance evaluation metrics are also introduced for value-based TCP including Average Percentage of Fault Detection per value(APFDv)and Average Percentage of Requirements Coverage per value(APRCv).Two case studies are performed to validate proposed techniques and performance evaluation metrics.The proposed GA-based techniques outperformed the existing state-of-the-art TCP techniques including Original Order(OO),Reverse Order(REV-O),Random Order(RO),and Greedy algorithm.
基金The authors extend their appreciation to the Deanship of Scientific Research at King Khalid University for funding this work through Large Groups,Project under grant number RGP.2/49/43.
文摘Regression testing is a widely used approach to confirm the correct functionality of the software in incremental development.The use of test cases makes it easier to test the ripple effect of changed requirements.Rigorous testingmay help in meeting the quality criteria that is based on the conformance to the requirements as given by the intended stakeholders.However,a minimized and prioritized set of test cases may reduce the efforts and time required for testingwhile focusing on the timely delivery of the software application.In this research,a technique named Test Reduce has been presented to get a minimal set of test cases based on high priority to ensure that the web applicationmeets the required quality criteria.A new technique TestReduce is proposed with a blend of genetic algorithm to find an optimized and minimal set of test cases.The ultimate objective associated with this study is to provide a technique that may solve the minimization problem of regression test cases in the case of linked requirements.In this research,the 100-Dollar prioritization approach is used to define the priority of the new requirements.
基金This work was supported in part by the National Research Foundation of Korea(NRF)funded by the Ministry of Science and ICT(MSIT)Future Planning under Grant NRF-2020R1A2C2014336 and Grant NRF-2021R1A4A1029650.
文摘Despite the advances in automated vulnerability detection approaches,security vulnerabilities caused by design flaws in software systems are continuously appearing in real-world systems.Such security design flaws can bring unrestricted and misimplemented behaviors of a system and can lead to fatal vulnerabilities such as remote code execution or sensitive data leakage.Therefore,it is an essential task to discover unrestricted and misimplemented behaviors of a system.However,it is a daunting task for security experts to discover such vulnerabilities in advance because it is timeconsuming and error-prone to analyze the whole code in detail.Also,most of the existing vulnerability detection approaches still focus on detecting memory corruption bugs because these bugs are the dominant root cause of software vulnerabilities.This paper proposes SMINER,a novel approach that discovers vulnerabilities caused by unrestricted and misimplemented behaviors.SMINER first collects unit test cases for the target system from the official repository.Next,preprocess the collected code fragments.SMINER uses pre-processed data to show the security policies that can occur on the target system and creates a test case for security policy testing.To demonstrate the effectiveness of SMINER,this paper evaluates SMINER against Robot Operating System(ROS),a real-world system used for intelligent robots in Amazon and controlling satellites in National Aeronautics and Space Administration(NASA).From the evaluation,we discovered two real-world vulnerabilities in ROS.
文摘Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subjected to modifications,the drastic increase in the count of test cases forces the testers to opt for a test optimization strategy.One such strategy is test case prioritization(TCP).Existing works have propounded various methodologies that re-order the system-level test cases intending to boost either the fault detection capabilities or the coverage efficacy at the earliest.Nonetheless,singularity in objective functions and the lack of dissimilitude among the re-ordered test sequences have degraded the cogency of their approaches.Considering such gaps and scenarios when the meteoric and continuous updations in the software make the intensive unit and integration testing process more fragile,this study has introduced a memetics-inspired methodology for TCP.The proposed structure is first embedded with diverse parameters,and then traditional steps of the shuffled-frog-leaping approach(SFLA)are followed to prioritize the test cases at unit and integration levels.On 5 standard test functions,a comparative analysis is conducted between the established algorithms and the proposed approach,where the latter enhances the coverage rate and fault detection of re-ordered test sets.Investigation results related to the mean average percentage of fault detection(APFD)confirmed that the proposed approach exceeds the memetic,basic multi-walk,PSO,and optimized multi-walk by 21.7%,13.99%,12.24%,and 11.51%,respectively.
文摘BACKGROUND Ectopic pancreas may be unfamiliar to many people because it is rare and difficult to diagnose.However,this disease is highly susceptible to misdiagnosis and missed diagnosis.In this article,we report two cases of pancreatic heterotopia in the gastric sinus and small intestine,respectively,both of which were confirmed by histopathological examination.CASE SUMMARY The first patient was a 43-year-old female which reported abdominal distension for 2 mo.The second was a 67-year-old female who experienced intermittent epigastric discomfort for 15 d.In both cases,there was no confirmed preoperative examination,and the postoperative pathology indicated the presence of ectopic pancreas.CONCLUSION The diagnosis of ectopic pancreas is difficult,and is often prone to misdiagnosis and the possibility of being overlooked.Various laboratory tests and imaging tests should be carefully evaluated before surgery to achieve early detection,early diagnosis and early treatment.