期刊论文

Research on test-driven development based on formal method

中文

计算机工程与设计

1000-7024

2008

29

15

3944-3946+3950

10.16208/j.issn1000-7024.2008.15.030

湖南省自然科学基金项目（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 applicati...