程序测试与概率检查

本文在分析传统的程序结果检查方法的基础上，介绍了引进随机概率的自我检查／校正程序设计的及其特点。