2024年8月19日
星期一
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
湖南省教育厅科研基金(4-02-JY-02C371)
作品数:
2
被引量:8
H指数:2
相关作者:
王恒
刘振宇
熊策
谭汉松
陈志刚
更多>>
相关机构:
南华大学
中南大学
更多>>
发文基金:
湖南省教育厅科研基金
湖南省自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
中文期刊文章
领域
2篇
自动化与计算...
主题
1篇
形式化
1篇
形式化方法
1篇
软件开发
1篇
软件开发过程
1篇
软件质量
1篇
开发过程
1篇
极限编程
1篇
编程
1篇
测试驱动开发
机构
1篇
南华大学
1篇
中南大学
作者
1篇
刘振宇
1篇
刘振宇
1篇
陈志刚
1篇
谭汉松
1篇
熊策
1篇
王恒
传媒
1篇
微机发展
1篇
计算机工程与...
年份
1篇
2008
1篇
2005
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
软件开发过程与测试过程的协同工作模式
被引量:2
2005年
软件开发过程与测试过程是完成软件开发紧密相关的两个过程,它们协同工作的好坏关系到软件开发成本的高低、软件缺陷的发现度。文中提出了一种在V模型基础上根据已有的文档信息,延迟测试或提早测试的软件开发过程与测试过程的协同工作模式,对提高软件质量、降低软件成本能起到一定的作用。
刘振宇
谭汉松
陈志刚
熊策
关键词:
软件质量
基于形式化方法的测试驱动开发研究
被引量:6
2008年
对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。
刘振宇
王恒
关键词:
极限编程
形式化方法
测试驱动开发
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张