预览加载中，请您耐心等待几秒...

7-基于契约编程-实践.ppt

预览
1/10
2/10
3/10
4/10
5/10
6/10
7/10
8/10
9/10
10/10

亲，该文档总共22页，到这已经超出免费预览范围，如果喜欢就直接下载吧～

下载提示 文本预览

如果您无法下载资料，请参考说明：

1、部分资料下载需要金币，请确保您的账户上有足够的金币

2、已购买过的文档，再次下载不重复扣费

3、资料包下载后请先用软件解压，在使用对应软件打开

DesignbyContract—PracticeLanguageSupportinC/C++assert()用法例子ASSERT和VERIFYAssert方式的缺点LanguageSupportinJavaSemantics:Preconditions对于nonpublic(private)方法,使用assert表示前置条件比较合适.PostconditionsClassInvariants//Returnstrueifthistreeisproperlybalanced privatebooleanbalanced(){ ... }Invariants(onclassesandonloops)areindicatedwiththekeywordinvariant:Variouslevelsofcheckingcanberequestedbycompileroptions,e.g.checkall,orcheckpreconditionsonly.Eiffel的例子Effiel运行时检查提前崩溃原则错误和异常异常处理重新审视DbC重新审视DbC