中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [8]
长春光学精密机械与物... [2]
文献情报中心 [1]
采集方式
OAI收割 [11]
内容类型
期刊论文 [9]
学位论文 [2]
发表日期
2016 [1]
2014 [1]
2013 [1]
2011 [1]
2008 [1]
2007 [3]
更多
学科主题
筛选
浏览/检索结果:
共11条,第1-10条
帮助
条数/页:
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
作者:
姬琪
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2015/04/17
软件测试
航天软件
需求覆盖
需求约简
用例设计
Web系统可用性自动化评估系统的设计与实现
期刊论文
OAI收割
计算机工程与设计, 2013, 卷号: 34, 期号: 10, 页码: 3649-3653
白志斌
;
杨达
;
李娟
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
可用性评估
自动化评估系统
用例
日志挖掘
用户行为
usability evaluation
automated evaluation system
use case
log mining
real user behavior
数字仓储库的发展
期刊论文
OAI收割
图书情报工作, 2011, 期号: 9
作者:
张建勇
;
张建勇
;
张建勇
;
张建勇
;
张建勇
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/12/01
数字仓储库
仓储
用例分析
基于时间自动机的测试用例自动生成及执行方法
期刊论文
OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 521-525+702
冯东伟
;
陈伟
;
赵琛
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/08/25
时间自动机
符号状态拆分算法
测试用例生成
用例自动执行
测试与测控标记
基于FSM和TA的测试用例自动生成与执行
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
冯东伟
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/03/17
软件测试
有穷状态机
时间自动机
用例自动生成
测试与测控标记
一种基于用例的功能点计算方法
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
余方
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/03/17
软件规模估算
功能点分析方法
用例
自动化计算工具
空间碎片搜索数字化仿真系统的设计与实现
期刊论文
OAI收割
系统仿真学报, 2007, 卷号: 19, 期号: 24, 页码: 5680-5683,5687
王抒雁
;
王宇心
;
陈宏
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2011/07/01
UML
建模
碎片
搜索
仿真
空间碎片
数字化
仿真系统
用例模型
质量和效率
可视化建模
行为模型
设计方法
软件开发
耦合关系
面向对象
可扩展性
开发过程
辅助作用
适用性
航天器
证明
识别
平台
一致性测试中的时间约束及测试用例生成算法
期刊论文
OAI收割
西安交通大学学报, 2006, 卷号: 40, 期号: 4, 页码: 381-385
赵保华
;
柯尧
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/13
一致性测试
时间约束
边界网关协议
一致性测试
时间约束
用例生成算法
Conformance Testing
协议测试
测试用例
流测试
边界网关协议
约束问题
需求描述
网络拓扑
同步时间
事件约束
时间参数
环境设置
等待时间
测试序列
测试理论
测试方法
测试代价
关于蜕变测试和特殊用例测试的实例研究
期刊论文
OAI收割
软件学报, 2005, 卷号: 16, 期号: 7, 页码: 1210-1220
吴鹏
;
施小纯
;
唐江峻
;
林惠民
;
陈宗岳
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2010/08/24
软件测试
蜕变测试
特殊用例测试
随机测试
变异分析
softwaretesting
metamorphictesting
specialcasetesting
randomtesting
mutationanalysis software testing
metamorphic testing
special case testing
random testing
mutation analysis