首页 | 本学科首页   官方微博 | 高级检索  
     

基于形式化方法的测试驱动开发研究
引用本文:LIU Zhen-yu,王恒. 基于形式化方法的测试驱动开发研究[J]. 计算机工程与设计, 2008, 29(15)
作者姓名:LIU Zhen-yu  王恒
作者单位:南华大学,网络信息中心,湖南,衡阳,421001;南华大学计算机科学与技术学院,湖南,衡阳,421001
基金项目:湖南省自然科学基金,湖南省社会科学基金
摘    要:对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并时现有方法进行了分析和比较.给出了一种基于形式化方法的测试用例生成和管理方案.该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率.最后给出了该方案在极限编程各个开发阶段的应用.

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

Research on test-driven development based on formal method
LIU Zhen-yu,WANG Heng. Research on test-driven development based on formal method[J]. Computer Engineering and Design, 2008, 29(15)
Authors:LIU Zhen-yu  WANG Heng
Affiliation:LIU Zhen-yu1,WANG Heng2(1.Networking , Information Center,University of South China,Hengyang 421001,China,2.School of Computer Science , Technology,China)
Abstract: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.
Keywords:extreme programming  formal method  test-driven development  software process  software refactoring  
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号