怎样保证代码正确性(总结)
摘要：
通过两种手段结合来保证代码的正确性，Program Proofs和Testing。1.Program Proofs 说白了就是代码注释。C#中函数的注释分为三部分。好的注释需要指明调用函数的pre-condition，post-condition并且assert函数输出是正确的。例如判断素数的函数IsPrime(int n)。它的注释应该这样写：Determine whether the ... 阅读全文
posted @ 2006-04-16 21:21 shyuan 阅读(889) 评论(1) 推荐(0) 编辑