Simplifying Control Flow Graphs for Reducing Complexity in Control Flow Testing

Myint Myitzu Aung; Kay Thi Win

首页> 外文期刊>International Journal of Computer Trends and Technology >Simplifying Control Flow Graphs for Reducing Complexity in Control Flow Testing

【24h】

Simplifying Control Flow Graphs for Reducing Complexity in Control Flow Testing

机译：简化控制流程图以降低控制流程测试的复杂性

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Control Flow Graph (CFG) is the graphical representation that contains all possible paths in the program execution. It is very essential part of the control flow testing but there are some challenges in generating the effective CFGs. These are how to reduce the complexity and isomorphism of the CFGs and how to check the feasibility of these CFGs. In this paper, these challenges are addressed by introducing the simplifying of CFGs. In the control flow testing, the execution order is determined which is the instruction or statement order of the program through a control structure and the tester needs to select a specific part of a large program to set the testing path. The CFGs of large programs are sliced to simplify and to reduce the complexity by using a program slicing technique, Tree Slicing which is also called PathSensitively Sliced CFG (PSSCFG). It is a slicing and merging technique for different subtrees under certain conditions. By using this technique, the complexity of these CFGs is reduced due to the simplifying of these graphs. Moreover, this paper shows that the code coverage of the program of simplified CFGs is also improved according to the experimental results of the benchmark dataset that is different from other recent researches because this system is tested in Java by converting the C dataset.

机译：控制流图（CFG）是包含程序执行中所有可能路径的图形表示。这是控制流测试中非常重要的部分，但是在生成有效的CFG方面存在一些挑战。这些是如何降低CFG的复杂性和同构性，以及如何检查这些CFG的可行性。在本文中，通过引入CFG的简化解决了这些挑战。在控制流测试中，通过控制结构确定执行顺序，即程序的指令或语句顺序，测试人员需要选择大型程序的特定部分来设置测试路径。通过使用程序切片技术Tree Tree Slicing（也称为路径敏感切片CFG（PSSCFG）），可以对大型程序的CFG进行切片以简化并降低复杂性。它是在特定条件下针对不同子树的切片和合并技术。通过使用此技术，由于简化了这些图，因此降低了这些CFG的复杂性。而且，本文表明，根据与其他最新研究不同的基准数据集的实验结果，简化的CFG程序的代码覆盖率也得到了改善，因为该系统是通过转换C数据集在Java中进行测试的。

著录项

来源
《International Journal of Computer Trends and Technology》 |2019年第8期|共6页
作者
Myint Myitzu Aung; Kay Thi Win;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词
Control Flow Graph (CFG)Control Flow TestingPath-Sensitively Sliced CFG.;

机译：控制流图（CFG）控制流测试路径-敏感切片的CFG。;

相似文献

外文文献
中文文献
专利

1. Cerebral blood flow is reduced in ME/CFS during head-up tilt testing even in the absence of hypotension or tachycardia: A quantitative, controlled study using Doppler echography [J] . C. (Linda) M.C. van Campen, Freek W.A. Verheugt, Peter C. Rowe, Clinical Neurophysiology Practice . 2020,第4期

机译：即使在没有低血压或心动过速的情况下，在抬头倾斜测试期间，脑血流量也减少了ME / CFS：使用多普勒ECHOGE的定量，对照研究
2. Development and testing of a constructal microchannel flow system with dynamically controlled complexity [J] . Robert A. Hart, Mikko J.V. Ponkala, Alexandre K. da Silva International Journal of Heat and Mass Transfer . 2011,第25a26期

机译：动态控制复杂性的结构化微通道流系统的开发和测试
3. Differences in Optic Nerve Head Blood Flow Regulation in Normal Tension Glaucoma Patients and Healthy Controls as Assessed With Laser Speckle Flowgraphy During the Water Drinking Test [J] . Mursch-Edlmayr Anna S., Luft Nikolaus, Podkowinski Dominika, Journal of glaucoma . 2019,第7期

机译：饮水试验期间激光散热术患者正常张力患者视神经头血流血流调节差异及健康对照
4. Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System [C] . Federico Cruciani, Enrico Vicario Computer safety, reliability, and security . 2011

机译：在验证IEC-62304灵活工作流系统中降低数据流测试的复杂性
5. Active Flow Control for Reducing Drag on Trucks: From Concept to Full Scale Testing [D] . Minelli, Guglielmo. 2017

机译：用于减少卡车拖曳的主动流量控制：从概念到满量程测试
6. Cerebral blood flow is reduced in ME/CFS during head-up tilt testing even in the absence of hypotension or tachycardia: A quantitative controlled study using Doppler echography [O] . C. (Linda) M.C. van Campen, Freek W.A. Verheugt, Peter C. Rowe, 2020

机译：即使没有低血压或心动过速在抬头倾斜测试期间ME / CFS中的脑血流量也会减少：使用多普勒超声检查的定量对照研究
7. P235Relation between myocardial deformation by three-dimensional speckle tracking analysis , control of the hypertension and functional capacity in patients with systemic hypertensionP236Obstructive sleep apnoea is often under-recognised in patients with acute myocardial infarction, but commonly contributes to left ventricular diastolic dysfunctionP237Intrinsic left ventricular dysfunction in Behcet disease in comparison with systemic disease activity: insights from speckle tracking echocardiographyP238Echocardiography changes during singleton and twin pregnancyP239Proposal of two new echocardiographic parameters for the differentiation of pre-capillary from post-capillary pulmonary hypertensionP240The coincidence of implanted device and number of electrodes with the presence of residual fibrotic tissue after transvenous leads extraction assessed in echocardiographic examP241Hemoglobin is an independent predictor of left ventricular hypertrophy in postmenopausal women but not in premenopausal womenP242Left ventricular longitudinal deformation impairment in patients with psoriasis is linked with immunologic activationP243Impaired diastolic functions and left atrial mechanical functions in patients with vitamin-D deficiencyP244Modification of cardiac and vascular function secondary to insulin resistanceP245Impaired right ventricular function is not related to serum galectin-3 concentration in patients with repaired tetralogy of fallotP246Age-adjusted indices of right ventricular (RV) longitudinal function do not adequately reflect the global RV contraction in children with repaired congenital heart defects and RV volume overloadP247Relationship between fractional flow reserve and dobutamine stress echocardiography in coronary artery diseaseP248A retrospective observational comparative study on the negative predictive value of nuclear testing vs. stress echo in pre-operative assessment for patients undergoing solid organ transplantionP249The detection of viable myocardium by dobutamine stress speckle tracking echocardiography in patients with coronary artery diseaseP250VO2 flattening during exercise in heart failure: evidence for a combined low cardiac output and inefficient O2 extractionP251 The dynamic assessment of alveolar-capillary barrier during exercise-echocardiography in heart failure patients with reduced ejection fractionP252The effect of exercise training on cardiac function during exercise stress echo in patients with type 2 diabetes and diastolic dysfunctionP253Age-related maximal exercise O2 extraction differences in a population of apparently healthy subjects at cardiovascular riskP254Difference in the changes of functional mitral regurgitation between semisupine ergometer and handgrip exerciseP255Correlation of annulus size assessed by echo 2d, 3d and multidetector computed tomography in patients undergoing transcatheter aortic valve implantationP256Mitral annulus dynamics: from normal to extensive mixomatous disease-a three-dimensional transoesophageal studyP257Left atrial appendage closure: an echo point of view of 55 casesP258Effect of catheter-based renal denervation on left ventricular function, mass and (un)twist with two-dimensional speckle tracking echocardiographyP259Associations of microRNAs gene expression in peripheral blood mononuclear cells and left ventricular global longitudinal peak strain in patients with essential hypertension [O] . I. Craciunescu, N. Ngiam, BJ. Sun, 2016

机译：心肌变形之间P235Relation通过三维斑点追踪分析，在患者全身hypertensionP236Obstructive睡眠呼吸暂停的高血压和功能的能力控制是经常根据公认在急性心肌梗死，但通常有助于左室舒张dysfunctionP237Intrinsic左心室功能紊乱中白塞氏病与全身性疾病的活性的比较：用于预毛细管的从植入装置和电极数目的毛细血管后肺hypertensionP240The巧合的分化与存在的两个新的超声心动图参数单和双pregnancyP239Proposal期间从斑点追踪echocardiographyP238Echocardiography变化的见解静脉引线后残留的纤维组织提取评估了超声心动图examP241Hemoglobin是绝经后妇女的左心室肥厚的独立预测因素，但不是在premen opausal womenP242Left心室纵向变形损害牛皮癣患者与免疫联activationP243Impaired舒张功能和左心房机械功能患者的心脏和血管功能继发于胰岛素的维生素-d deficiencyP244Modification resistanceP245Impaired右心室功能是不相关的血清半乳凝素3浓度患者右心室（RV）的纵向功能fallotP246Age调整指标的修复四部曲没有充分反映在冠状动脉diseaseP248A追溯血流储备分数和多巴酚丁胺超声心动图之间修复先天性心脏缺陷和RV容积overloadP247Relationship全球儿童RV收缩在术前评估核试验对应力回声的阴性预测值进行可行myocard的实体器官transplantionP249The检测患者的观察对比研究鎓通过多巴酚丁胺斑点跟踪超声心动图在患者的心脏衰竭锻炼期间冠状动脉diseaseP250VO2压扁：证据为一个组合的低心输出量和低效率的O2 extractionP251在心脏衰竭患者运动超声心动图中肺泡 - 毛细血管屏障的动态评估具有降低的喷射对心脏功能的运动锻炼的运动负荷超声过程中患者fractionP252The影响2型糖尿病患者和表面健康受试者的群体在心血管riskP254Difference在功能性二尖瓣返流的semisupine测力计和手柄之间的变化舒张dysfunctionP253Age相关的最大运动O2提取差异环大小的exerciseP255Correlation由回波2D评估，3d和多排的患者正在接受经导管主动脉瓣implantationP256Mitral环动力学计算机断层：从正常到广泛mixomatous疾病三dimensi Onal地区食道studyP257Left心耳闭合：视在左心室功能，质量和（UN）捻基于导管的肾去神经支配的55 casesP258Effect的在外周血单核细胞和左侧的微小RNA基因表达的二维散斑跟踪echocardiographyP259Associations回波点心室全球纵向应变峰值在原发性高血压患者
8. Polymers for Sewer Flow Control. The Development and Demonstration of the Use of Polymers to Reduce or Eliminate Sewer Overflows by Flow Energy Reduction [R] . 1969

机译：用于下水道流量控制的聚合物。利用聚合物减少或消除流动能量减少下水道溢流的发展和示范

Simplifying Control Flow Graphs for Reducing Complexity in Control Flow Testing

摘要

著录项

相似文献

相关主题

期刊订阅