您的位置： 专家智库 > >

湖南省教育厅科研基金(4-02-JY-02C371)

作品数：2 被引量：8H指数：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