您的位置： 专家智库 > >

陈立哲

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

合作作者

文献类型

  • 2篇会议论文
  • 1篇期刊文章
  • 1篇科技成果

领域

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

主题

  • 2篇软件测试
  • 2篇测试用例
  • 1篇形式化
  • 1篇形式化语言
  • 1篇用例分析技术
  • 1篇软件测试用例
  • 1篇软件功能
  • 1篇软件功能测试
  • 1篇数据库
  • 1篇数据库技术
  • 1篇自动生成
  • 1篇文档
  • 1篇精化
  • 1篇分析技术
  • 1篇复用
  • 1篇测试用例生成
  • 1篇测试用例生成...
  • 1篇测试用例自动...
  • 1篇Z
  • 1篇PRECON...

机构

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

作者

  • 4篇陈立哲
  • 3篇李强
  • 2篇马永刚
  • 1篇蒋云霄
  • 1篇安占峰
  • 1篇许庆光
  • 1篇余祥
  • 1篇王超

传媒

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

年份

  • 1篇2016
  • 1篇2011
  • 2篇2008
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种支持用例分析技术的需求元模型
2011年
为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型。其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型。同时,为表现不同层次需求模型之间的关系,建立了两层需求元模型之间的追踪和精化关系,提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理。
陈立哲马永刚
关键词：用例分析技术精化
软件测试中文档自动审查系统的研究与设计
讨论了文档自动审查的相关问题,设计了文档自动审查系统的功能模型,指出了文档审查自动化系统应实现的功能。
陆明李强钟晓峰陈立哲
关键词：数据库技术软件测试
文献传递
基于复用的软件测试用例自动生成关键技术及测试执行系统
李强余祥黄海军何维陈立哲张健安占峰王超许庆光蒋云霄
针对软件需求规格说明和测试需求，研究基于复用的软件功能测试用例自动生成关键技术，形成软件功能测试用例自动生成方法，解决软件测试用例生成效率，提高软件测试用例设计的正确问题，为设计并实现软件测试用例自动生成系统奠定技术基础...
关键词：
关键词：软件功能测试
基于改进z-precondition算法的功能测试用例生成技术
鉴于传统的生成功能测试用例技术存在非形式化、忽视问题领域约束等不足,本文提出了基于改进z-precondition算法的功能测试用例生成技术.该技术具有形式化、面向问题领域建模等特点,很好的弥补了传统技术的缺陷.
陈立哲李强马永刚钟晓峰
关键词：测试用例形式化语言
文献传递
全选 清除 导出
共1页<1>
聚类工具0