%0 Journal Article
%T 程序测试与概率检查
%A 卢先捷
%J 计算机科学
%D 1997
%I 
%X 本文在分析传统的程序结果检查方法的基础上，介绍了引进随机概率的自我检查／校正程序设计的及其特点。
%K 程序测试
%K 程序正确性
%K 程序检查
%K 容错
%K 软件工程
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=DAB63A0F7B5CC7B39A74384CA3F234B5&yid=5370399DC954B911&vid=B91E8C6D6FE990DB&iid=38B194292C032A66&sid=4F2F18DD6F870C2C&eid=AA76E167F386B6B3&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0