怎样保证代码正确性(总结)
摘要:
通过两种手段结合来保证代码的正确性,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 阅读(883) 评论(1) 推荐(0) 编辑