%0 Journal Article
%T Software Testing Model Based on Formal Method<br>形式化的软件测试模型研究
%A 赖祥伟
%A 张为群
%A 邱玉辉
%A 周彦晖
%J 计算机科学
%D 2004
%I 
%X 传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述，并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。
%K 软件测试模型
%K 测试用例
%K 形式化方法
%K 描述语言
%K RSL
%K 自动生成
%K 软件设计
%K 实验结论
%K 阶段
%K 传统方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=24E0CA2458FC8938&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=708DD6B15D2464E8&sid=954CE65414DD94CA&eid=DABEF202280E7EF1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=12