机构

• 软件研究所 [4]
• 长春光学精密机械与物... [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [4]
• 学位论文 [1]

发表日期

• 2013 [4]
• 2006 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 组合测试用例生成方法 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 赵勇   |  收藏  |  浏览/下载：15/0  |  提交时间：2013/07/01 软件测试+组合测试+测试用例生成+兼容性测试   板级EMC诊断测量与仿真分析方法 期刊论文  OAI收割 电子测量技术, 2013, 期号: 04, 页码: 101-105 作者:  李佩玥;  崔洋;  闫丰;  彭吉 收藏  |  浏览/下载：26/0  |  提交时间：2014/03/07 电磁兼容性  电磁兼容仿真  诊断测量  预测试  优化策略   软件兼容性测试的故障定位分析 期刊论文  OAI收割 计算机科学与探索, 2013, 卷号: 7, 期号: 5, 页码: 405-411 赵勇; 张智强; 严俊; 张健   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/09/17 兼容性测试  组合测试  错误定位   软件兼容性测试的故障定位分析* 期刊论文  OAI收割 计算机科学与探索, 2013, 卷号: 7, 期号: 5, 页码: 405-411 赵勇; 张智强; 严俊; 张健   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 兼容性测试  组合测试  错误定位  compatibility testing  combinatorial testing  fault location   基于模型检查实现J2EE规范的实例研究 期刊论文  OAI收割 计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/13 J2EE规范  模型检查  SPIN  基于模型  检查工具  规范要求  Model Checking  应用服务器  描述方式  设计方案  兼容性测试  形式化模型  分析与验证  自然语言  证明  使用模型  技术设计  规范描述  规范方法  多层应用  中科院  分布式  二义性