"类规格及测试考虑:数据抽象与操作规范"
第十讲-类规格及其测试考虑-v51;第十讲:类规格及其测试考虑OO2019课程组北航计算机学院内容提要• 数据抽象规格• 方法规格的设计讨论• 数据规格• 如何使用数据抽象• 数据抽象的实现• 基;第十讲:类规格及其测试考虑OO2019课程组北航计算机学院1内容提要• 数据抽象规格• 方法规格的设计讨论• 数据规格• 如何使用数据抽象• 数据抽象的实现• 基于规格的测试• 作业2数据抽象规格• 数据抽象是关于类型的一种抽象• 数据抽象 = <数据内容,操作>• 数据内容定义了对象状态空间,即数据抽象的状态空间• 操作作用于对象状态空间,定义对象外部可见的规范化行为• 类型• 从规格角度:由对象化的组成成分及其约定的操作方式组成• 从运行时角度:是对一块内存区域的模板化访问3数据抽象规格• 用户看到的数据抽象规格整体包括三个部分• 数据抽象的内容描述• 例:JDK关于java类所管理数据内容的一段描述• The String class represents character strings. All string literals in Java programs, such as "abc", are implemented as instances of this class.• 规格的构造函数• 定义了新对象如何初始化和初始状态• 数据抽象操作的描述• 例:JDK关于类操; 数据抽象是面向对象编程中非常重要的概念,它通过抽象数据内容和操作,将对象的内部状态和行为进行规范化和封装,从而实现更好的代码组织和更高的可重用性。在类规格及其测试考虑的课程中,我们深入探讨了数据抽象规格的设计原则、实现方法以及相关的测试考虑。 首先,我们学习了数据抽象的基本理论,包括数据抽象的定义和组成部分。数据抽象包括数据内容和操作,数据内容定义了对象的状态空间,而操作作用于对象的状态空间,定义对象的行为。类型则是数据抽象和运行时的结合,它由对象化的组成成分和约定的操作方式组成,同时也是对一块内存区域的模板化访问。在这一部分,我们了解了数据抽象的重要性和基本概念,为后续的内容打下了坚实的基础。 接下来,我们学习了数据抽象规格的具体构成和用户所看到的整体结构。数据抽象规格包括数据抽象的内容描述、规格的构造函数和数据抽象操作的描述。其中,数据抽象的内容描述是对对象管理数据内容的描述,规格的构造函数定义了新对象如何初始化和初始状态,而数据抽象操作描述则定义了对象的行为。我们还以JDK中关于String类的数据抽象规格为例进行了具体的讲解,帮助学生更好地理解数据抽象规格的实际应用。 在课程的后半部分,我们讨论了数据抽象的实现和基于规格的测试。在实现数据抽象时,我们需要考虑如何使用数据抽象、数据抽象的实现方式以及可能遇到的问题和挑战。同时,基于规格的测试也是非常重要的,它可以帮助我们验证数据抽象的正确性和可靠性,确保我们的程序能够如预期地工作。 总的来说,类规格及其测试考虑是一门非常重要的课程,它深入探讨了数据抽象规格的设计原则和实现方法,帮助学生掌握了面向对象编程中非常关键的概念和技能。通过学习这门课程,学生不仅能够更好地理解数据抽象的概念和原理,还能够掌握实际的设计和测试技能,为他们在未来的软件开发工作中奠定坚实的基础。
![](https://csdnimg.cn/release/download_crawler_static/86300944/bg8.jpg)
![](https://csdnimg.cn/release/download_crawler_static/86300944/bg9.jpg)
剩余42页未读,继续阅读
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/f1daa5562937434b8038fd78e85f896b_weixin_35824806.jpg!1)
- 粉丝: 24
- 资源: 297
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- 多模态联合稀疏表示在视频目标跟踪中的应用
- Kubernetes资源管控与Gardener开源软件实践解析
- MPI集群监控与负载平衡策略
- 自动化PHP安全漏洞检测:静态代码分析与数据流方法
- 青苔数据CEO程永:技术生态与阿里云开放创新
- 制造业转型: HyperX引领企业上云策略
- 赵维五分享:航空工业电子采购上云实战与运维策略
- 单片机控制的LED点阵显示屏设计及其实现
- 驻云科技李俊涛:AI驱动的云上服务新趋势与挑战
- 6LoWPAN物联网边界路由器:设计与实现
- 猩便利工程师仲小玉:Terraform云资源管理最佳实践与团队协作
- 类差分度改进的互信息特征选择提升文本分类性能
- VERITAS与阿里云合作的混合云转型与数据保护方案
- 云制造中的生产线仿真模型设计与虚拟化研究
- 汪洋在PostgresChina2018分享:高可用 PostgreSQL 工具与架构设计
- 2018 PostgresChina大会:阿里云时空引擎Ganos在PostgreSQL中的创新应用与多模型存储
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)