中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
计算机科学国家重点实... [3]
软件所图书馆 [2]
互联网软件技术实验室... [2]
基础软件国家工程研究... [2]
中科院软件所 [2]
更多...
作者
Content Type
期刊论文 [9]
学位论文 [3]
Issued Date
Language
中文 [10]
Source
软件学报 [3]
计算机研究与发展 [2]
小型微型计算机系统 [1]
计算机工程与应用 [1]
计算机工程与设计 [1]
更多...
Project
Indexed
EI [3]
CSCD [2]
CNKI [1]
EI,CNKI,WA... [1]
WANFANG [1]
更多...
Spnsorship
national n... [1]
国家自然科学基金(6... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 12)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
组合测试用例生成方法
[学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-28
赵勇
  |  
一种基于事件处理函数的GUI测试方法
[期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 12, 页码: 2830-2842
陈军成
;
薛云志
;
赵琛
基于故障的布尔表达式测试技术综述
[期刊论文]
计算机科学, 2013-01-01, 卷号: 40, 期号: 3, 页码: 16-23,40
孙昌爱
;
程庆顺
基于pCTL的循环优化测试用例自动生成方法
[期刊论文]
小型微型计算机系统, 2010-01-01, 卷号: 31, 期号: 3, 页码: 436-440
余侠
;
薛云志
;
陶秋铭
一种基于过程图模型的编译优化测试程序自动生成方法
[期刊论文]
计算机研究与发展, 2009-01-01, 卷号: 46, 期号: 9, 页码: 1567-1577
陶秋铭
;
赵琛
;
王永吉
  |  
组合测试:原理与方法
[期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1393-1405
严俊
;
张健
  |  
基于安全策略模型的安全功能测试用例生成方法
[期刊论文]
计算机研究与发展, 2009-01-01, 卷号: 46, 期号: 10, 页码: 1055-1062
张敏
;
冯登国
;
陈驰
  |  
基于时间自动机的测试用例自动生成及执行方法
[期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 521-525+702
冯东伟
;
陈伟
;
赵琛
  |  
安全操作系统开发中的形式化技术应用研究
[学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-08
陈坤
  |  
基于时序逻辑的并发系统测试用例生成
[学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-01
刘大光
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace