您的位置： 专家智库 > >

刘大光

作品数：2 被引量：2H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇时序逻辑
  • 2篇并发系统
  • 2篇测试用例
  • 2篇测试用例生成

机构

  • 2篇中国科学院软...

作者

  • 2篇刘大光
  • 1篇林惠民

传媒

  • 1篇计算机工程与...

年份

  • 2篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于时序逻辑的并发系统测试用例生成
测试是当前工业界应用最为广泛的软硬件确认技术，近年来正在向系统化、规范化、自动化的方向发展。基于模型的测试成为研究关注的焦点之一。　　 作为引导测试用例选择的标准，测试目的在测试用例生成过程中起到重要的作用。然而，目前...
刘大光
关键词：时序逻辑
一种基于模型的并发系统测试目的描述被引量：2
2007年
提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集。这说明了TLCE作为测试目的描述的有效性。
刘大光林惠民吴鹏
关键词：时序逻辑
全选 清除 导出
共1页<1>
聚类工具0