测试充分性准则

作品数：14被引量：49H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王峰缪淮扣李虎施寅生朱彬更多>>
相关机构：北京系统工程研究所上海大学北京航空航天大学南京大学更多>>
相关期刊：《计算机工程与应用》《计算机工程与设计》《北京航空航天大学学报》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划黑龙江省教育厅科学技术研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向代数规约测试谓词/变迁网
《小型微型计算机系统》2011年第9期1804-1809,共6页余波 
国家"九七三"重点基础研究发展计划项目(2005CB321802)资助;湖南省教育厅高校教学改革项目(2010-495)资助
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序...
关键词：代数规约 可行路径 谓词/变迁网 变迁触发序列 测试充分性准则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部