期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
软件可靠性测试充分性问题的理论研究
被引量：
12
1
作者
李秋英
陆民燕
阮镰
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2003年第4期312-316,共5页
在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测...
在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测试充分性方面的理论 ,对软件可靠性测试充分性问题进行的初步探索 .
展开更多
关键词
软件
可靠性
运行
软件
可靠性
测试
软件可靠性测试充分性准则
运行剖面
在线阅读
下载PDF
职称材料
面向组件的接口变异测试方法
被引量：
8
2
作者
杨建军
陈卫东
+1 位作者
叶澄清
潘云鹤
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2003年第2期129-133,共5页
组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,...
组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,通过引入作用于接口描述语言的变异算子,提出了面向组件的接口变异测试方法以及基于这种方法的测试充分性度量准则MC和IM.该方法很好地解决了在组件测试中,源代码不可知的问题.然后以MC和IM为依据,给出了一种使用MC和IM进行测试的测试方法论.
展开更多
关键词
组件
软件
测试
程序变异
接口变异
测试
充分性
准则
变异算子
测试
方法论
在线阅读
下载PDF
职称材料
题名
软件可靠性测试充分性问题的理论研究
被引量：
12
1
作者
李秋英
陆民燕
阮镰
机构
北京航空航天大学工程系统工程系
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2003年第4期312-316,共5页
文摘
在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测试充分性方面的理论 ,对软件可靠性测试充分性问题进行的初步探索 .
关键词
软件
可靠性
运行
软件
可靠性
测试
软件可靠性测试充分性准则
运行剖面
Keywords
Reliability
Testing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
面向组件的接口变异测试方法
被引量：
8
2
作者
杨建军
陈卫东
叶澄清
潘云鹤
机构
浙江移动通信有限责任公司
浙江大学计算机科学系
出处
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2003年第2期129-133,共5页
基金
国家自然科学基金资助项目(60073027).
文摘
组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,通过引入作用于接口描述语言的变异算子,提出了面向组件的接口变异测试方法以及基于这种方法的测试充分性度量准则MC和IM.该方法很好地解决了在组件测试中,源代码不可知的问题.然后以MC和IM为依据,给出了一种使用MC和IM进行测试的测试方法论.
关键词
组件
软件
测试
程序变异
接口变异
测试
充分性
准则
变异算子
测试
方法论
Keywords
component
software testing
program mutation
interface mutation
te st adequacy criterion
mutation operator
testing methodology
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
软件可靠性测试充分性问题的理论研究
李秋英
陆民燕
阮镰
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2003
12
在线阅读
下载PDF
职称材料
2
面向组件的接口变异测试方法
杨建军
陈卫东
叶澄清
潘云鹤
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2003
8
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
