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

针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实验,结果表明改进算法能有效生成测试用例。

计算机动画环境中基于认知的行为路径选择研究

鱼依靠固有能力,在资源限制下,能够巧妙的躲避障碍物,并且保持鱼群和谐的结构和秩序.研究鱼的行为选择机制,提出了一种从认知角度构造"人工鱼"这一计算机动画角色的方法.建立分布式行为模型,采用基于约束满足的随机搜索算法,对人工鱼的同步交互协作过程进行模拟,并通过计算机动画实现的真实效果验证上述模型方法的有效性.