| 不变量的程序潜在错误预测 |
| |
| 引用本文： | 杨振兴,刘久富,孙琳.不变量的程序潜在错误预测[J].智能系统学报,2010,5(4). |
| |
| 作者姓名： | 杨振兴 刘久富 孙琳 |
| |
| 作者单位： | 南京航空航天大学,自动化学院,江苏,南京210016 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的隐含错误也在逐渐增多.提出一种基于不变量的程序潜在错误预测方法,首先采用支持向量机对程序属性所产生的非函数依赖程序不变量进行学习并产生机器学习模式,然后运用该机器学习模式对需预测的程序进行属性分类,并揭示出代码可能存在的潜在错误,最后通过实验验证该方法是有效的.
|
| 关 键 词： | 不变量 软件测试 支持向量机 错误预测 |
Using invariants to predict the potential for errors in programs |
| |
| YANG Zhen-xing,LIU Jiu-fu,SUN Lin.Using invariants to predict the potential for errors in programs[J].CAAL Transactions on Intelligent Systems,2010,5(4). |
| |
| Authors: | YANG Zhen-xing LIU Jiu-fu SUN Lin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
