10.3969/j.issn.1002-137X.2004.11.046
形式化的软件测试模型研究
传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证.本文提出一种基于形式化方法的软件测试模型.该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论.
软件测试模型、形式化方法、断言测试、UML、RSL
31
TU3;TU2
重庆市科研项目
2005-01-04(万方平台首次上网日期,不代表论文的发表时间)
共5页
169-173