通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法
文献类型：期刊论文
| 作者 | 卢鼎; 傅亮; 孙愿; 张志敏 |
| 刊名 | 计算机辅助设计与图形学学报
 |
| 出版日期 | 2009 |
| 卷号 | 21期号:4 |
| 关键词 | 功能覆盖率 代码覆盖率 遗传算法 自动生成 功能验证 |
| 英文摘要 | 覆盖率驱动的验证是功能验证的重要方法。但功能覆盖定义的主观性和手工调整验证输入的冗长过程都 极大地影响了覆盖率驱动验证的效率．文中分析了代码行覆盖次数与功能覆盖率的内在联系，建立了基于代码行覆 盖次数的概率模型，提出一种新的通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法——F(ⅪIⅪAG．通 过代码行覆盖次数计算验证输入序列的适应度，选取对提高功能覆盖率贡献较高的输入序列，使用遗传算法自动生 成新的输入序列组．实验结果表明，采用FOCDGAG时不需要功能覆盖信息，可以将全随机输入生成的功能覆盖率 收敛速度提高10倍以上，将约束随机输人生成的功能覆盖率收敛速度提高20倍以上． |
| 语种 | 中文 |
| 公开日期 | 2010-11-09 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/856]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2009年中文 |
| 推荐引用方式 GB/T 7714 | 卢鼎,傅亮,孙愿,等. 通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法[J]. 计算机辅助设计与图形学学报,2009,21(4). |
| APA | 卢鼎,傅亮,孙愿,&张志敏.(2009).通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法.计算机辅助设计与图形学学报,21(4). |
| MLA | 卢鼎,et al."通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法".计算机辅助设计与图形学学报 21.4(2009). |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。