基于约束满足搜索算法的测试用例生成策略

来源 :计算机工程 | 被引量 : 0次 | 上传用户:wang_fly
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实验,结果表明改进算法能有效生成测试用例。
其他文献
持久性有机污染物的污染是目前急需解决的环境问题。由于其特殊的结构,半衰期较长,在生物体内和自然环境中能够不断富集,因此开发一种高效灵敏的检测方法极具意义。随着技术
设计了一种多病床两级报警无线传输心电监护系统。说明了系统的硬件电路设计和软件设计思想,重点介绍了心电监护终端的硬件设计和PC机集中监控中心的功能。系统的探测部分完成
根据城市智能交通系统的实际需要,构建能够实时估计城市快速路上交通状态的估计器。其基本思想是将扩展卡尔曼滤波理论引入宏观流体力学模型,结合快速路上的固定检测设备,实时估
《费加罗的婚礼》是莫扎特知名度最高的一部喜歌剧,其中的歌曲选段《美妙时刻即将来临》也是女高音常唱曲目之一。如何做到保留作曲家创造意图的同时还富有个人演唱特点,是一
19世纪,英国民众掀起了一场旷日持久的反鸦片活动,这场反对活动主要涉及英国国内鸦片滥用和海外鸦片贸易两个方面。19世纪初,在英国自由贸易主义思想的影响下,英国国内鸦片自
对林木根际微域环境的根系分泌物和根际微生物的研究动态进行了综述,重点介绍了根系分泌物与根际微生物的相互作用、根系分泌物与根际效应、根际微生物与林地土壤质量等方面
针对散热器多T型管相贯线的连续焊接问题,提出了一种基于PC机和6K运动控制器的双焊枪自动焊接机数控系统。采用“PC+多轴控制器”的上下位机控制结构,上位机采用VisualBasic编制
通过跟随老师,临床、观察学习,整理其经验。总结田惠民老师治疗小儿外感发热的经验为辛温辛凉并用,风寒风热两解。
研究目的1-溴丙烷(1-bromopropane,1-BP)作为一种有机溶剂,自20世纪90年代1-BP逐渐成为消耗臭氧层物质(ozone depleting substance,ODS)如氟利昂类的替代剂。目前中国是1-BP生产及使用大国,使用量和生产量的增加使得1-BP暴露人群逐渐扩大。大量流行病学数据和实验室研究均能显示1-BP暴露能够损伤中枢神经系统(central nervous sys
据河北省农业机械管理局介绍,2004年全省对农民购置农机进行补贴,促进了农业机械发展,农用机械总动力达8135.6万kW,比2003年增长4.8%。目前河北省大中型拖拉机达9万台,小型拖拉机达13