下载 > 资源分类 >  开发技术 >  C > 零缺陷程序设计.pdf

零缺陷程序设计.pdf

2008-01-15 上传大小:5.35MB
本书描述了编写无(或几乎无)bug代码的最新方法。这些方法同时还提高了生产力,缩短了开发时间。<br>  本书主要在三个领域内加以描述,分别是:规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证,写出结构完好的程序。 本书适于高等院校学生和软件开发人员阅读。 <br>  本书描述了编写无错代码的最新方法、这些方法来源于IBM等机构净室软件工程方面的实际经验、在过
去的十五年间, 这些方法在商业开发项目上应用得非常成功。出错概率要比行业平均水平低一个数量级。要特别指出的是,错误率的降低并非缘于成本的增长,相反。与它相伴而生的是生产力的提高和开发时间的全面缩减。 Stavely在本书中简明扼要地说明了上述方法如何在软件开发的三个关键领域得以应用。这三个领域是: <br>  1.规定 2.验证 3,测试 软件工程师必须将程序编制得更加简单明了,才能达到形式化规定的要求.才能通过数学方式证明代码与规定相匹配.才能消除逻辑上的bug:组内验证可以发现新的缺陷,可以激励小组成员对程序进行更加细致的检查: 而测试则是为了巩固以前的工作。 (基本上)查出所有剩余的错误。 <br>  本书主要特色有: 阐述了如何使用净室方法开发高质量的软件 鼓励以小组为单位进行程序验证 阐释了增量开发的重要性 <br>  本书并未囊括IBM净室方法的所有内容。作者的目的是使读者容易理解规定和验证,写出结构完好的程序来;在阐述不同的观点时.本书的例子中用到了好几种语言,用的最多的是C,所以预先掌握C是必要的。
...展开收缩
综合评分:4.3(46位用户评分)
直接下载 开通VIP会员 免积分下载

评论共有13条

name
p83032017-06-28 15:09:45
非常感谢,很早就想学习这方面详细的资料了
name
zhy_care2015-12-02 15:54:52
好书,适合安全和质量苛求的软件开发
name
carpenter792015-08-10 11:06:45
程序设计要做到零缺陷还是很有挑战性的。书不错。不过多角度的阐述更容易懂。
name
jamesli09192015-01-04 15:45:05
形式化的东西,刚开始使用时需要强迫自己适应一些规则。 不过,坚持下来,是有好处的
name
b02071912014-12-21 00:06:29
算法较复杂,实际项目难应用
name
wangwei198205172014-11-17 15:20:42
下载了,还可以正常阅读,理论性比较强。
name
oodragon2013-05-23 16:33:55
做到零缺陷还是很有挑战性的。书不错。不过多角度的阐述更容易懂。
name
oneblack2012-03-22 16:29:27
不错,就是书好像是扫描版的,特别不清楚,凑合看吧
name
michaelxchen2012-03-07 14:51:29
还不错,就是有点模糊
name
pingzilao2012-02-26 13:23:43
书有点糊,其它的都挺好的

评论资源

您不能发表评论,可能是以下原因:

登录后才能评论

待评论资源
 

热门专辑

关闭
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

CSDN VIP年卡 4000万程序员的必选现在开通,立省522元
下载
img

零缺陷程序设计.pdf

会员到期时间: 剩余下载个数: 剩余C币:0 剩余积分:
VIP下载

积分不足!

资源所需积分 当前拥有积分
您可以选择
开通VIP年卡
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img
资源所需积分 当前拥有积分 当前拥有C币
5 4 45
(仅够下载10个资源)
VIP年卡
全站1200个资源免积分下载
下载
img
资源所需积分 当前拥有积分 当前拥有C币
5 0 0
VIP年卡
全站1200个资源免积分下载
C币充值开通VIP年卡
img
资源所需积分 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
VIP年卡
全站1200个资源免积分下载
下载
下载

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可奖励20下载分

  • 举报人:
  • 被举报人:
  • 举报的资源分:
  • *类型:
  • *详细原因: