您的位置： 专家智库 > >

马永刚

作品数：2 被引量：0H指数：0
供职机构：解放军电子工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 1篇形式化
  • 1篇形式化语言
  • 1篇用例分析技术
  • 1篇精化
  • 1篇分析技术
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例生成...
  • 1篇Z
  • 1篇PRECON...
  • 1篇用例分析

机构

  • 2篇解放军电子工...

作者

  • 2篇马永刚
  • 2篇陈立哲
  • 1篇李强

传媒

  • 1篇计算机应用与...
  • 1篇中国电子学会...

年份

  • 1篇2011
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种支持用例分析技术的需求元模型
2011年
为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型。其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型。同时,为表现不同层次需求模型之间的关系,建立了两层需求元模型之间的追踪和精化关系,提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理。
陈立哲马永刚
关键词：用例分析技术精化
基于改进z-precondition算法的功能测试用例生成技术
鉴于传统的生成功能测试用例技术存在非形式化、忽视问题领域约束等不足,本文提出了基于改进z-precondition算法的功能测试用例生成技术.该技术具有形式化、面向问题领域建模等特点,很好的弥补了传统技术的缺陷.
陈立哲李强马永刚钟晓峰
关键词：测试用例形式化语言
文献传递
全选 清除 导出
共1页<1>
聚类工具0