您的位置： 专家智库 > >

湖南省自然科学基金(60073003)

作品数：1 被引量：6H指数：1
相关作者：王恒刘振宇更多>>
相关机构：南华大学更多>>
发文基金：湖南省教育厅科研基金湖南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇极限编程
  • 1篇编程
  • 1篇测试驱动开发

机构

  • 1篇南华大学

作者

  • 1篇刘振宇
  • 1篇王恒

传媒

  • 1篇计算机工程与...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于形式化方法的测试驱动开发研究被引量：6
2008年
对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。
刘振宇王恒
关键词：极限编程形式化方法测试驱动开发
全选 清除 导出
共1页<1>
聚类工具0