基于形式化方法的测试驱动开发研究  

Research on test-driven development based on formal method

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

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

出　　处：《计算机工程与设计》2008年第15期3944-3946,3950,共4页Computer Engineering and Design

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

摘　　要：对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。Test case automatic generation and management in Test-Driven development are studied, and the existing solutions to which are compared. A solution based on formal method to generate and manage test cases is put forward. Through formal language describing software contract and corresponding tools generating and managing test cases, this solution can improve the efficiency of Test-Driven development. Finally, this solution＇s application in some steps of Extreme Programming is given.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]