- 1、本文档共7页,其中可免费阅读3页,需付费100金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第卷第期武汉大学学报理学版年月文章编号约束条件下基于区间组合的测试用例生成杨健张焕国武汉大学计算机学院湖北武汉中南民族大学管理学院湖北武汉武汉大学软件工程国家重点实验室湖北武汉空天信息安全与可信计算教育部重点实验室湖北武汉摘要本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法算法用符号执行方法收集程序路径的约束条件寻找相互关联的输入参数借鉴组合覆盖测试的方法构建解区间组合树并选用深度优先策略或其他组合覆盖策略获得输入参数的区间组合的集合运用区间运算的方法把每一个
DOI:10.14188/j.1671-8836.2013.05.005
( )
第 卷 第 期 武汉大学学报 理学版
59 5 Vol.59 No.5
您可能关注的文档
- 资讯安全政策-大叶大学电算中心.doc
- 面向文本分类的基于最小冗余原则的特征选取-中文信息学报.pdf
- 线性流形上行反对称矩阵反问题的最小二乘解及最佳逼近.pdf
- 基于matlab的网络控制系统仿真-与非网.pdf
- 用功率谱相减的圆谐联合小波变换相关器作多目标检测-core.pdf
- 说明议论和叙述.ppt
- 小型offner光谱成像系统的设计.pdf
- 一类矩阵方程组ax=bxd=e的对称解与反对称解-吉林大学学报.pdf
- 现行级行政区划改革的系统思考.pdf
- wod样本密度函数和失效率函数递归核估计的逐点强-吉林大学学报.pdf
- 新解读《JB_T 14462.2-2023数控卧式搓齿机 第2部分:技术规范》必威体育精装版解读.docx
- 新解读《JB_T 14469.1 - 2023数控环面蜗杆磨床 第1部分:精度检验》必威体育精装版解读.docx
- 新解读《JB_T 14159.4-2022空气分离设备能效限额 第4部分:液体设备》必威体育精装版解读.docx
- 新解读《JB_T 14194 - 2022 YLKK、YLKK-W、YLXKK、YLXKK-W系列10kV立式三相异步电动机技术规范及能效分级(机座号400~630)》必威体育精装版解读.docx
- 新解读《JB_T 14213 - 2023汽车保险杠塑料注射模 技术规范》必威体育精装版解读.docx
- 新解读《JB_T 14287 - 2022水田秧苗转运机》必威体育精装版解读.docx
- 新解读《JB_T 14322 - 2022强制密封球阀》必威体育精装版解读.docx
- 新解读《JB_T 14642 - 2022露点间接蒸发冷却高温冷水机组》必威体育精装版解读.docx
- 新解读《JB_T 13993 - 2022透明电表箱箱体 技术规范》必威体育精装版解读.docx
- 新解读《DL_T 2663 - 2023高压直流保护试验装置通用技术条件》必威体育精装版解读.docx
文档评论(0)