This is a wonderful world

去自己想去的地方,呼吸那里的空气,贴近那里的土地,认识那里的人们......

导航

2006年4月16日 #

怎样保证代码正确性(总结)

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

DELL项目工作整理

摘要： 大家好，今天来这里做一个DELL公司内部的软件开发流程简介。DELL不是一家专业的软件开发公司，它的软件开发流程还远不完善，但在一些流程控制上也有它的优势，今天来这里和大家做一个分享，也希望能得到大家的一些建议。今天这里有一些CMM3和CMM4公司的开发人员，希望你们也能给点建议。 DELL的软件开发项目，遵循的是Microsoft的另一套MSF (Microsoft Solution... 阅读全文

posted @ 2006-04-16 20:21 shyuan 阅读(694) 评论(3) 推荐(0) 编辑