电子技术资料下载
热搜关键词： 数字信号处理RTOSC语言Linux射频电路
已收藏到：个人中心—我的下载—收藏
基于约束满足搜索算法的测试用例生成策略
针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题，运用约束满足搜索算法，通过减少约束方程组中参数变量的个数，逐步缩小参数变量的取值范围，提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实验，结果表明改进算法能有效生成测试用例。关键词：测试用例生成；约束满足搜索；软件测试；路径覆盖测试
猜您喜欢
上传资源
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
热门标签
TI 技术论坛
TI 在线培训
Qorvo 射频技术研习社
请先登录EEWorld账户再进行下载哦
您已成功下载！
精彩活动推荐，好礼等你拿~换一换
京公网安备 11010802033920号
Copyright © 2005-2026 EEWORLD.com.cn, Inc. All rights reserved
评论