【摘 要】
：
面向路径的测试数据生成问题是软件测试中的一个基本问题.Gupta等提出一种线性化谓词函数的迭代松弛方法[1]求解该问题.文献 [2] 改进了该方法,证明改进后的方法与原方法生成
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)，教育部霍英东教育基金会高等院校青年教师基金
论文部分内容阅读
面向路径的测试数据生成问题是软件测试中的一个基本问题.Gupta等提出一种线性化谓词函数的迭代松弛方法[1]求解该问题.文献 [2] 改进了该方法,证明改进后的方法与原方法生成的约束系统相同.文章以改进后的方法为核心算法,根据软件工程的思想,采用面向对象的方法,使用UML进行设计,并且在Linux Red Hat 7.0操作系统下用C+ +语言实现一个为指定程序路径自动生成测试数据的原型工具,然后将它移植到Windows操作系统.
其他文献
目的:探讨温针联合颈椎旁神经阻滞治疗颈源性头痛患者临床疗效,及对患者疼痛及颈部血流动力学的影响。方法:选择68例颈源性头痛患者作为研究对象,对照组采取颈椎旁神经阻滞治
目的:关于不同放射线检验方法对于冠状动脉粥样硬化性心脏病(简称,冠心病)进行诊断的临床价值分析.方法:将本院在2018年3月~2019年3月收治的100例冠心病患者作为观察对象进行
肿瘤严重危害人类的生命以及生活质量,许多肿瘤患者长期受失眠等症状困扰。国医大师周仲瑛教授首倡“癌毒”学说。经不断丰富完善,逐渐形成癌毒病机理论体系。在癌毒病机理论
战争电影一直以来都是美国重要的电影类型之一。本文以新世纪以来的美国战争电影为研究对象,在详细梳理美国战争电影在新世纪以来创作流变的基础上,对其主题表达、英雄形象塑
本文首先对＂营改增＂政策进行了阐述,然后对营业税和增值税进行了分析与对比,最后就税务筹划的具体实施进行了详细说明,旨在帮助企业了解＂营改增＂政策,以做好税务筹划工作,降低税
目的:探究乳腺癌患者的乳腺肿块及腋窝淋巴结的超声声像图特征和腋窝淋巴结转移的关系.方法:选择2018年6月~2019年3月来本院进行治疗的乳腺癌患者84例作为调查对象,术前对所
微交互作为引导电子商务网站设计发展的新的理论原则,受到国外交互设计师的广泛推崇,但在国内却并未被熟知。本文通过分析国内电子商务发展现状,详细阐释了微交互的理论方法