虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 基于约束满足搜索算法的测试用例生成策略

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

  • 资源大小:230 K
  • 上传时间: 2023-12-02
  • 上传用户:lijumiao
  • 资源积分:2 下载积分
  • 标      签: 满足 搜索

资 源 简 介

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

相 关 资 源

您 可 能 感 兴 趣 的