×

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

消耗积分:5 | 格式:rar | 大小:230 | 2009-04-15

kmno4

分享资料个

针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题，运用约束满足搜索算法，通过减少约束方程组中参数变量的个数，逐步缩小参数变量的取值范围，提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实验，结果表明改进算法能有效生成测试用例。
关键词：测试用例生成；约束满足搜索；软件测试；路径覆盖测试
下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !