机构

• 软件研究所 [5]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [3]
• 学位论文 [2]

发表日期

• 2008 [1]
• 2007 [2]
• 2006 [1]
• 2004 [1]

学科主题

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于ECA规则的工作流时间约束分析 期刊论文  OAI收割 中国管理科学, 2008, 卷号: 16, 期号: 5, 页码: 110-117 李德芳; 刘鲁; 张朝俊; 乔颖; 王宏安   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/07/29 工作流  时间约束  ECA规则  活动  事件   基于时序逻辑的并发系统测试用例生成 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 刘大光 收藏  |  浏览/下载：21/0  |  提交时间：2011/03/17 基于模型的测试  时序逻辑  约束事件  测试用例生成  测试目的   一种基于模型的并发系统测试目的描述 期刊论文  OAI收割 计算机工程与应用, 2007, 卷号: 43, 期号: 25, 页码: 105-110 刘大光; 林惠民; 吴鹏   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/08/24 基于模型的测试  时序逻辑  约束事件  测试用例生成  测试目的 model-based testing  temporal logic  constrained events  test case generation  test purpose   一致性测试中的时间约束及测试用例生成算法 期刊论文  OAI收割 西安交通大学学报, 2006, 卷号: 40, 期号: 4, 页码: 381-385 赵保华; 柯尧   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/13 一致性测试  时间约束  边界网关协议  一致性测试  时间约束  用例生成算法  Conformance Testing  协议测试  测试用例  流测试  边界网关协议  约束问题  需求描述  网络拓扑  同步时间  事件约束  时间参数  环境设置  等待时间  测试序列  测试理论  测试方法  测试代价   基于动态规则的事件检测方法研究和应用 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 王绍恒 收藏  |  浏览/下载：13/0  |  提交时间：2011/03/17 事件检测  生流控  文件系统  时间约束