期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于软件缺陷模型的测试系统
被引量：
22
1
作者
杨朝红
宫云战
+1 位作者
肖庆
王雅文
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2008年第5期1-4,共4页
设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有...
设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.
展开更多
关键词
软件测试
静态分析
区间运算
缺陷模型
状态机
下载PDF
职称材料
基于缺陷模式的软件测试中的区间运算应用
被引量：
14
2
作者
杨朝红
宫云战
+1 位作者
肖庆
王雅文
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008年第12期1630-1635,共6页
基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修...
基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.
展开更多
关键词
软件测试
静态分析
区间运算
缺陷模式
状态机
下载PDF
职称材料
非法计算检测的通用模型
3
作者
江标
宫云战
杨朝红
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2009年第4期487-492,共6页
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此...
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.
展开更多
关键词
非法计算
区间运算
静态测试
故障模型
下载PDF
职称材料
题名
基于软件缺陷模型的测试系统
被引量：
22
1
作者
杨朝红
宫云战
肖庆
王雅文
机构
装甲兵工程学院信息工程系
北京邮电大学网络与交换技术国家重点实验室
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2008年第5期1-4,共4页
基金
国家“863计划”项目(2006AA012184)
国家“863计划”重点项目(2007AA010302)
文摘
设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.
关键词
软件测试
静态分析
区间运算
缺陷模型
状态机
Keywords
software testing
static analysis
interval computation
defect model
state machine
分类号
TP103.8 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于缺陷模式的软件测试中的区间运算应用
被引量：
14
2
作者
杨朝红
宫云战
肖庆
王雅文
机构
装甲兵工程学院信息工程系
北京邮电大学网络与交换技术国家重点实验室
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008年第12期1630-1635,共6页
基金
国家“八六三”高技术研究发展计划(2006AA01Z184,2007AA010302)
文摘
基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.
关键词
软件测试
静态分析
区间运算
缺陷模式
状态机
Keywords
software testing static analysis interval computation defect patterns state machine
分类号
TP103.8 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
非法计算检测的通用模型
3
作者
江标
宫云战
杨朝红
机构
北京邮电大学网络与交换技术国家重点实验室
装甲兵工程学院信息工程系
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2009年第4期487-492,共6页
基金
国家“八六三”高技术研究发展计划(2006AA01Z184,2007AA010302)
文摘
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.
关键词
非法计算
区间运算
静态测试
故障模型
Keywords
invalid arithmetic operation
interval computation
static detection
fault mode
分类号
TP103.8 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于软件缺陷模型的测试系统
杨朝红
宫云战
肖庆
王雅文
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2008
22
下载PDF
职称材料
2
基于缺陷模式的软件测试中的区间运算应用
杨朝红
宫云战
肖庆
王雅文
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008
14
下载PDF
职称材料
3
非法计算检测的通用模型
江标
宫云战
杨朝红
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2009
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
