《数据结构（Java 语言描述）第一章》.ppt

1.3.6断言（assertion）语句 断言是布尔表达式，可以在程序运行是检查他们的正确性。 该语句使用了新的关键字assert assert _________ : “————————————”; 表达式为假的时间抛出一个AssertionError 这是一个布尔表达式，我们希望确保它在程序中的此处为真 这是一个但布尔表达式为假是的错误消息。 断言的2个例子 规格说明 maxof3 public static int maxOf3(int a, int b, int c) 返回3个整数中的最大值。 参数： a,b,c ------------------ 任何整数 返回： 返回值是3个参数中的最大值 实现 pubic static int maxOf3() { int answer; answer = a; if (b answer) answer = b; if (c answer) answer = c; assert (answer == a) || (answer == b) || (answer == c) :maxOf3 answer is not equal to one of the arguments; assert (answer = a) || (answer = b) || (answer = c) :maxOf3 answer is not equal to the largest arguments; return answer; } 1.3.7打开和关闭断言 1.带有断言的程序必须使用 –source 选项来编译。 1.3.8 程序设计技巧：对复杂的断言使用单独的方法 当检查变得复杂时，应该编写单独的私有方法（或多个方法）来执行该检查。该方法应该返回一个可以在断言中使用的布尔值。 1.3.9陷阱：避免使用断言来检查前置条件 静态检查指的是可在程序运行前执行的程序检查。 如果检查到一个无效的前置条件，最好抛出一个不能被关闭的异常。 本章小结 编制程序的第一步是写出程序将要做什么哦精确描述。 伪代码是Java和英语的混合体，伪代码用于表示算法。 * 第一章 软件开发周期 学习目标 1使用JavaDoc编写方法的完整规格说明，包括前置条件。 2.识别简单算法中的二次型，线性型和对数型运行是行为，并用大O表达式描述这种行为。 3.创建和确定适用于某个问题的测试数据。包括测试边界条件和完全的测试代码。 本章内容 1.1规格说明。设计和实现 1.2运行时间分析 1.3测试和调试。 有组织的数据集合称为数据结构。 软件开发阶段： 任务的规格说明。 解决的方案设计。 解决的方案实现 解决的方案分析。 测试和调试 系统维护和演变 系统废弃 Java的易移植目标是通过引入一种叫字节码（byte code）的中间形式来实现的 1.1规格说明，设计与实现 1规格说明是关于问题的准确描述。 2设计阶段明确描述解决问题的步骤。 算法：解决问题的过程或指令序列。 伪代码：英语和程式设计语言的混合体。 3实现是落实设计的具体的java代码 1.1.1设计技术：问题分析 大问题可以分解成多个子任务。而子任务可以实现为单独的程序片段。 代码重用。 代码应该易于修改。 1.1.2如和为Java方法编写规格说明 方法签名: 签名包括方法名称,方法的参数列表.他的返回值类型. 过程抽象: 规格说明 celsiusToFahrenheit Public static double celsiusToFahrenheit(double c) 参数: C – 摄氏度 前置条件: C = -273.16 返回: 转换为华氏度的温度c 抛出: IllegalArgumentException 规格说明的5部分 1.简要介绍 2.参数描述 3.前置条件 4.返回条件或后置条件 5.抛出列表. 1.1.3抛出异常以指示前置条件无效 针对严重的程序设计错误给出的这种消息称为异常. 中止你的程序并向调用程序传递一条消息,这种操作叫抛出异常. 抛出异常的Java语法: if(c -273.16) throw new IllegalArgumentException(“temperature too low”) 1.1.5程序设计技巧 使用final变量提高程序清晰性. 一种常用的编程风格使用大写字母来表示final变量的名称. Final变量意味着程序运行时永远不改变. 建议:使用final变量而不是常量.不过使用常量更清晰,更不容易出错的情况例外. 1.1.6打印数值的方法 规格说明是由JavaDoc工具自动生成的. 使用方法如下: Javadoc Hello.j