%0 Journal Article
%T Testing case generator based on formal specifications<br>基于形式化描述测试用例生成的研究与实现
%A WANG Wei-guang
%A DING Hong-da
%A ZENG Qing-kai
%A <br>王伟光
%A 丁洪达
%A 曾庆凯
%J 计算机应用
%D 2008
%I 
%X 根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题.与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率.
%K 安全评估
%K 测试用例生成
%K 形式化描述
%K 更改条件判定覆盖
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=684D317E8DBF81911A2D2E00381E0648&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=E158A972A605785F&sid=5839F1C61E1C000D&eid=92CE31955C2FC520&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=11