契约式设计是一种发现和修复代码中逻辑错误的工具。

相关句子

序号 句子
101 从赫托收集的很多哺乳动物骨骼上都有石制工具留下的切痕，但我们不知道这些动物是被赫托人猎杀的还是被其他食肉动物杀死后留给赫托人的残羹冷炙。
102 从事任何职业都是一个工具，不是一首歌、不是一个节目，而是态度。
103 从橡皮擦到内衣都成了作弊工具。
104 粗糙集理论是一种处理含糊和不精确性问题的一种新型数学工具，得到了广泛应用。
105 锉子、螺丝刀等尖利的工具一定不要装在口袋里携带，应把它装入工具箱、工具皮带或工具包袋里。
106 达盖尔银版法不只是一件用来描绘自然的工具……它把力量赋予自然，让自然去再创造自己。
107 打人是重体力活儿，它使人肩酸腕痛，好像徒手将一千块蜂窝煤搬上五楼。于是人们便发明了打人的工具：戒尺、鞋底、鸡毛掸子……毕淑敏。
108 大家一看有这样十拿九稳的“好买卖”，便准备好一字锄、羊角锄、手电和簸箕等工具，打算大干一票。
109 大著作有时全不需要好屁股。听郑须溪说，德国人就把“坐臀”作为知识分子的必具条件。譬如，只要有坐性，《水浒传》或《红楼梦》的人名引得总可以不费心编成的。这是西洋科学法，更是二十世纪学问工具。
110 代表性的金属制品，如带有把手和连接着刀刃的青铜武器和工具：用以砍伐木材的锛子，用以狩猎和剥取兽皮的小刀，用以制作皮革的锥子。
111 带上口罩和白手套，操起各种解剖工具，就开始动手了，庖丁解牛，干净利落，凯恩的每一刀都切到要处。
112 单站气象要素剖面图是日常预报业务中经常使用的工具之一。
113 但本文会助您一臂之力，文中将介绍一些最有用的、可免费获得的工具，并提供了如何使用它们的技巧。
114 但很突出的一点是，几乎没有任何对新奇债务工具的风险敞口。
115 但如果我想更全面地了解新建的类、方法和属性，那么我就需要一个代码文档化的工具了。
116 但升阳说，外国语言并不一定是专业的通信工具，而是一个日常生活的必需品。
117 但是，传统民本思想内含等级性、体制空缺、工具设喻性的缺陷，与现代民主观尚存较大差距。
118 但是，当您读到本文时，可能已经有更健壮的工具支持部署。
119 但是，即使是机械也有着要守护的理想，也就接受了别人把自己当作是方便的工具。
120 但是，就像这种类型的其他工具一样，它的用途取决于使用者。
121 但是，像所有工具一样，必须知道如何使用它。
122 但是，由于在图像压缩、微处理器和无线数据带宽等技术上的进步，智能手机对于忙碌的医生来说很有可能成为像呼机一样必不可少的工具。
123 但是不要烦躁，通过《生活黑客》的努力和帮助，我们已经能够应对这种网瘾，能让这些工具发挥它们应有的作用。
124 但是当时行业所采用的工具太粗糙了：植入大脑某一区域的电极将会同时刺激邻近区域的许多细胞。
125 但是就算哲学没有给出任何答案，它也确实提供了我们需要的工具以使我们得到所需的解答。
126 但是你，因为你是一只特殊的身手不凡的乌鸦，你有一种非常不寻常的遗传特征：您可以使用工具来获取甜美食物。
127 但是如果你没有使用这些化妆品的合适工具，你就不能得到他们的好处。
128 但是新的研究表明雷帕霉素仍然是一个有效的研究衰老的工具。
129 但是这些仁人志士一旦进入这架逆淘汰机器，最终要改造成为奴性十足的驯服工具。
130 但他把政府看作为一个手段，一个工具，既不是一个赐惠和送礼的人，也不是盲目崇拜和为之服役的主人或神灵。
131 但他们又是一股强大的力量，包括中国站长站、站长网等一些大型网站，都是由提供工具开始，慢慢成长起来的。
132 但我们可以携手向着我一开始概述的梦幻新闻小工具努力。
133 但我认为，这也和它的工具本质有很大的关系。
134 但象使用大多数工具一样，您必须知道何时及如何使用它以获得最大利益。
135 但由于井下营救人员是在里面侧身掏洞，工具施展不开，因此，救援的速度仍然非常缓慢。
136 但由于受平面几何知识负迁移的影响以及教学工具表达功能的限制，立体几何也是学生反映比较困难的课程之一。
137 但由于自身的繁杂性，直接构造三维虚拟空间较为困难，若能设计生成工具，这就大大提高工作效率。
138 但这种通用性掩盖了它的一种最强大的工具。
139 当飞机已经成为大众出行工具，越来越多的人对航空意外保险，已不再陌生。
140 当你打开电脑后，登录、等即时通信工具是否已成为一个习惯？
141 当你感触伤心痛楚时，最好是去学些什么工具。学习会使你永久立于不败之地。
142 当年修筑湘黔铁路，没有大型机械化工具。来自长沙的民兵，就在石头山上出大力，流大汗。
143 当然，对于您需要什么工具，并没有唯一的答案，因此让我们讨论一下不同类型的工具和每个工具解决的首要问题。
144 当然，构建管理工具需要能够聚集并组织从任何您拥有的开发工具那里来的审计数据，即使这些工具是来自不同的厂商。
145 当人类与障碍进行较量时，人类便发现了自己。但是，为了达到这一目的，必须一个工具。安东尼·德·圣-埃克苏佩里 
146 当时中国的体格健全的人都奉召去服劳役，几乎没有一个人能幸免，一些从来手里没有拿过工具的人被送到采石场。
147 当它们真的发生时，工具能帮我们弄清和它们相联系的错误类型，这样我们能快速诊断它们。
148 当天，就在赵贵堂写生时，一场大雨瓢泼而至，猝不及防的他用伞把画纸等工具遮盖好，自己则被大雨浇了个精湿。
149 当一个开发能手仍要知道何时因为何种原因要使用某种工具。
150 当以混杂方式运行这种工具时，它可以“嗅探出”该网段上发生的每件事，如登录和数据传输。