Java语言基于函数摘要的全局分析静态测试方法

胡成杰; 宫云战; 金大海

首页> 中文期刊> 《计算机研究与发展》 >Java语言基于函数摘要的全局分析静态测试方法

Java语言基于函数摘要的全局分析静态测试方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法.函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关.包括前置信息、后置信息和特征信息.前置信息主要是对调用该函数的条件的一种约束,如参数不能为空.后置信息主要是对类成员和实例成员变量的影响.特征信息是对当前函数一些特征的描述,如资源分配或释放信息.

著录项

来源
《计算机研究与发展》 |2010年第s1期|64-68|共5页
作者
胡成杰; 宫云战; 金大海;
展开▼
作者单位

北京邮电大学网络技术研究院;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
函数摘要; 静态测试; 缺陷模式; 全局分析;

相似文献

中文文献
外文文献
专利

1. 基于静态分析的Java语言程序漏洞检测方法研究 [J] . 董玉霞 ,苏荣聪 . 成都电子机械高等专科学校学报 . 2021,第004期
2. 基于静态分析的Java语言程序漏洞检测方法研究 [J] . 董玉霞 ,苏荣聪 . 成都工业学院学报 . 2021,第004期
3. 基于扩展仿射模型的不确定性静态电压稳定性全局灵敏度分析 [J] . 乐健 ,廖小兵 ,李奔 . 电工技术学报 . 2021,第013期
4. 基于Polyspace的静态分析及测试方法研究 [J] . 王泉 ,丁锐 ,周敏刚 . 航空计算技术 . 2020,第004期
5. 基于约束优化问题乘子罚函数方法的全局收敛性分析 [J] . 吴聪伟 ,曹继平 ,朱亚红 . 萍乡高等专科学校学报 . 2013,第003期
6. Java语言基于函数摘要的全局分析静态测试方法 [C] . 胡成杰 ,官云战 ,金大海 . 第六届中国测试学术会议 . 2010
7. 基于函数摘要的C++程序全局静态分析研究 [A] . 祁鹏 . 2010

Java语言基于函数摘要的全局分析静态测试方法

摘要

著录项

相似文献

相关主题

期刊订阅