【摘 要】
：
提出了一种新的基于路径测试数据自动生成的算法. 该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束,仅当谓词函数是输入变量的非线
【机 构】
：
西安交通大学,西安交通大学,长安大学
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
提出了一种新的基于路径测试数据自动生成的算法. 该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束,仅当谓词函数是输入变量的非线性函数时,才计算其线性算术表示. 因而不必计算所有谓词函数的线性算术表示,也不必计算谓词片和确定输入依赖集,以及构造谓词函数关于输入变量的增量的线性约束. 理论分析和实例证明,该算法具有简单、容易、有效且计算量小等特点.
其他文献
目的：观察翻修柄人工股骨头置换术治疗高龄不稳定型股骨粗隆间骨折的效果。方法：自2007年9月至2011年1月，采用翻修柄人工股骨头置换术治疗高龄不稳定型股骨粗隆间骨折患者32例，其
研究Delta算子不确定系统在误差方差约束和区域极点约束下的鲁棒H∞滤波问题.针对多目标H∞滤波问题,采用代数矩阵不等式方法,提出滤波器的存在条件和显式表达式.所得结果可
提出一种基于智能仪表的注汽锅炉热效率在线检测方法.将自寻优控制技术与模糊控制算法相结合,实现热效率最优控制;运用可变步长自寻优算法并引入修正因子可在线优化热效率设
目的探讨图文式临床护理路径在慢性化脓性中耳炎围手术期护理中的应用效果。方法选择2014年3月至2016年2月慢性化脓性中耳炎患者90例,随机分为对照组和观察组,各45例。予以对
目的：研究绿茶提取物表没食子儿茶素没食子酸酯（EGCG）对人口腔鳞癌Tca8113细胞生长抑制及促凋亡的作用。方法：应用MTT法检测不同浓度的EGCG对Tca8113细胞体外增值抑制作用;采用HE
目的：评价瑞芬太尼在手术麻醉中的应用及效果。方法将2014年2月至2015年2月收治的72例腹部手术患者纳入本次研究，以所选麻醉方式的不同分为两组；试验组36例实施瑞芬太尼，对照组36
目的探讨胸腔镜治疗自发性气胸术的护理方法和效果。方法选取2015年4月至2017年1月收治的胸腔镜治疗自发性气胸术患者40例,随机分为对照组和观察组,每组20例。两组均应用常规
分析了近年来高等数学教学中的面临的问题及产生原因，提出六个基本策略来提高高等数学的教学质量．
基于浙江省某独立学院2009学年学生学费和教师课时津贴的调查数据，运用成本分析、人力资本形成与收益理论、工资及福利核算理论及会计工具，就独立学院学生培养成本和教师课时津
在多Agent的二级电压控制系统基本原理的基础上,将多Agent系统的相关技术引入无功电压快速协调控制,探讨了在电力系统紧急情况下,基于多Agent的二级电压控制系统的协调和协作