中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
长春光学精密机械与物... [2]
软件研究所 [2]
采集方式
OAI收割 [4]
内容类型
期刊论文 [4]
发表日期
2016 [1]
2014 [1]
2007 [1]
2006 [1]
学科主题
筛选
浏览/检索结果:
共4条,第1-4条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于需求模型的航天软件测试用例生成方法
期刊论文
OAI收割
光学精密工程, 2016, 期号: 5, 页码: 1185-1196
作者:
哈清华
;
刘大有
;
沈湘衡
;
刘逻
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2017/09/17
软件测试
航天软件
测试用例生成
用例约简
测试需求
模型
面向需求覆盖的航天软件测试用例优化方法
期刊论文
OAI收割
光学精密工程, 2014, 期号: 1, 页码: 228-234
作者:
姬琪
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2015/04/17
软件测试
航天软件
需求覆盖
需求约简
用例设计
一种有效的边界测试点选取策略
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 2, 页码: 251-256
赵瑞莲
;
董红霞
收藏
  |  
浏览/下载:59/3
  |  
提交时间:2011/07/01
边界测试点
测试数据生成
RSDIMU
变异体
边界值分析
测试点
选取策略
测试用例
健壮性测试
固定型故障
边界值测试
诊断原理
软件需求
逻辑电路
覆盖程度
方法设计
测试成本
变异体
组合
实验
容错
开发
规范
程序
一致性测试中的时间约束及测试用例生成算法
期刊论文
OAI收割
西安交通大学学报, 2006, 卷号: 40, 期号: 4, 页码: 381-385
赵保华
;
柯尧
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/07/13
一致性测试
时间约束
边界网关协议
一致性测试
时间约束
用例生成算法
Conformance Testing
协议测试
测试用例
流测试
边界网关协议
约束问题
需求描述
网络拓扑
同步时间
事件约束
时间参数
环境设置
等待时间
测试序列
测试理论
测试方法
测试代价