期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
形式化的软件测试模型研究 被引量:3
1
作者 赖祥伟 张为群 +1 位作者 邱玉辉 周彦晖 《计算机科学》 CSCD 北大核心 2004年第11期169-173,共5页
传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需... 传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。 展开更多
关键词 软件测试模型 测试用例 形式化方法 描述语言 rsl 自动生成 软件设计 实验结论 阶段 传统方法
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部