%0 Journal Article
%T 形式化的软件测试模型研究
%A 赖祥伟 张为群 邱玉辉 周彦晖？
%J 计算机科学
%D 2004
%X 传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言rsl对软件设计进行描述，并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。
%K 软件测试模型测试用例形式化方法描述语言rsl自动生成软件设计实验结论阶段传统方法
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=11679196&flag=1