文献类型：期刊文章

作　　者：刘振宇[1] 王恒[2]

机构地区：[1]南华大学网络信息中心,湖南衡阳421001 [2]南华大学计算机科学与技术学院,湖南衡阳421001

出　　处：《计算机工程与设计》

基　　金：湖南省自然科学基金项目(60073003);湖南省教育厅基金项目(4-02-JY-02C371)

年　　份：2008

卷　　号：29

期　　号：15

起止页码：3944-3946

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

摘　　要：对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。

关 键 词：极限编程 形式化方法 测试驱动开发 软件过程  软件重构  

分 类 号：TP311.5]