2024年8月21日
星期三
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
陈立哲
作品数:
4
被引量:0
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张