论文部分内容阅读
针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题，运用约束满足搜索算法，通过减少约束方程组中参数变量的个数，逐步缩小参数变量的取值范围，提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实验，结果表明改进算法能有效生成测试用例。
基于约束满足搜索算法的测试用例生成策略
【摘 要】
：
针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题，运用约束满足搜索算法，通过减少约束方程组中参数变量的个数，逐步缩小参数变量的取值范围，提出基于符号法求解约
【机 构】
：
南通职业大学电子工程系,同济大学经济管理学院
【出 处】
：
计算机工程
【发表日期】
：
2008年18期
【基金项目】
：
江苏省高校自然科学研究指导性计划基金资助项目（05KJD520172）
其他文献
持久性有机污染物的污染是目前急需解决的环境问题。由于其特殊的结构,半衰期较长,在生物体内和自然环境中能够不断富集,因此开发一种高效灵敏的检测方法极具意义。随着技术
设计了一种多病床两级报警无线传输心电监护系统。说明了系统的硬件电路设计和软件设计思想，重点介绍了心电监护终端的硬件设计和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